Modeling Cyber–Physical Systems
作者： P. Derler , E. A. Lee , A. S. Vincentelli
DOI: 10.1109/JPROC.2011.2160929
关键词:
摘要: This paper focuses on the challenges of modeling cyber–physical systems (CPSs) that arise from the intrinsic heterogeneity, concurrency, and sensitivity to timing of such systems. It …
sci-hub.se 参考文章(57)
Edward A. Lee, Model-Driven Development - From Object-Oriented Design to Actor-Oriented Design ,(2003)
Wladimir Schamai, Uwe Pohlmann, Peter Fritzson, Christiaan J. J. Paredis, Carsten Strobel, Philipp Helle, Execution of UML State Machines Using Modelica equation based object oriented modeling languages and tools. pp. 1- 10 ,(2010)
Joseph Buck, Soonhoi Ha, Edward A. Lee, David G. Messerschmitt, Ptolemy: a framework for simulating and prototyping heterogeneous systems International Journal in Computer Simulation. ,vol. 4, pp. 527- 543 ,(2001) , 10.1016/B978-155860702-6/50048-X
Michael Beeck, A Comparison of Statecharts Variants international symposium organized jointly with working group provably correct systems on formal techniques in real time and fault tolerant systems. pp. 128- 148 ,(1994) , 10.1007/3-540-58468-4_163
R. Passerone, L. de Alfaro, T.A. Henzinger, A.L. Sangiovanni-Vincentelli, Convertibility verification and converter synthesis: two faces of the same coin [IP block interfaces] international conference on computer aided design. pp. 132- 139 ,(2002) , 10.1109/ICCAD.2002.1167525
I. Sander, A. Jantsch, System modeling and transformational design refinement in ForSyDe [formal system design] IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. ,vol. 23, pp. 17- 32 ,(2004) , 10.1109/TCAD.2003.819898
Gregor Gössler, Alberto Sangiovanni-Vincentelli, Compositional Modeling in Metropolis embedded software. pp. 93- 107 ,(2002) , 10.1007/3-540-45828-X_8
Oded Maler, Zohar Manna, Amir Pnueli, From Timed to Hybrid Systems real time theory in practice rex workshop. pp. 447- 484 ,(1991) , 10.1007/BFB0032003
Man-Kit Leung, Thomas Mandl, Edward A. Lee, Elizabeth Latronico, Charles Shelton, Stavros Tripakis, Ben Lickly, Scalable Semantic Annotation Using Lattice-Based Ontologies model driven engineering languages and systems. pp. 393- 407 ,(2009) , 10.1007/978-3-642-04425-0_31
T.M. Parks, D. Roberts, Distributed process networks in Java international parallel and distributed processing symposium. pp. 138- ,(2003) , 10.1109/IPDPS.2003.1213266