Compositional Cyber-Physical Systems Modeling

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.333.9 ◽

2021 ◽

Vol 333 ◽

pp. 125-138

Author(s):

Georgios Bakirtzis ◽

Christina Vasilakopoulou ◽

Cody H. Fleming

Keyword(s):

Cyber Physical Systems ◽

Systems Modeling ◽

Physical Systems

Challenges in Enterprise and Information Systems Modeling in the Contexts of Socio Cyber Physical Systems

Lecture Notes in Business Information Processing - Enterprise and Organizational Modeling and Simulation ◽

10.1007/978-3-030-35646-0_5 ◽

2019 ◽

pp. 60-69

Author(s):

Marite Kirikova

Keyword(s):

Information Systems ◽

Cyber Physical Systems ◽

Systems Modeling ◽

Physical Systems

Declarative cyber physical systems modeling to facilitate autonomous vehicles design

2015 International Conference on Connected Vehicles and Expo (ICCVE) ◽

10.1109/iccve.2015.78 ◽

2015 ◽

Cited By ~ 1

Author(s):

Wei Ding ◽

Feng-Jen Yang ◽

Sesha Srinivasan

Keyword(s):

Autonomous Vehicles ◽

Cyber Physical Systems ◽

Systems Modeling ◽

Physical Systems

Fundamental Limits of Cyber-Physical Systems Modeling

ACM Transactions on Cyber-Physical Systems ◽

10.1145/2912149 ◽

2017 ◽

Vol 1 (1) ◽

pp. 1-26 ◽

Cited By ~ 23

Author(s):

Edward A. Lee

Keyword(s):

Cyber Physical Systems ◽

Systems Modeling ◽

Fundamental Limits ◽

Physical Systems

Cyber-physical systems: Modeling, simulation, design and validation

2013 2nd Mediterranean Conference on Embedded Computing (MECO) ◽

10.1109/meco.2013.6601389 ◽

2013 ◽

Cited By ~ 4

Author(s):

Davide Quaglia

Keyword(s):

Cyber Physical Systems ◽

Systems Modeling ◽

Simulation Design ◽

Physical Systems ◽

Modeling Simulation

Cyber-Physical Systems Modeling Based on Extended Hybrid Automata

2013 International Conference on Computational and Information Sciences ◽

10.1109/iccis.2013.489 ◽

2013 ◽

Cited By ~ 3

Author(s):

Yalei Yang ◽

Xingshe Zhou

Keyword(s):

Cyber Physical Systems ◽

Systems Modeling ◽

Hybrid Automata ◽

Physical Systems

Information and thermodynamic fundamentals of cyber physical systems modeling

Journal of Physics Conference Series ◽

10.1088/1742-6596/1515/2/022065 ◽

2020 ◽

Vol 1515 ◽

pp. 022065

Author(s):

G I Korshunov ◽

S L Polyakov

Keyword(s):

Cyber Physical Systems ◽

Systems Modeling ◽

Physical Systems

Cyber-Physical Systems Modeling for Security Using SysML

Systems Engineering in Context ◽

10.1007/978-3-030-00114-8_53 ◽

2019 ◽

pp. 665-675

Author(s):

Bryan T. Carter ◽

Cody H. Fleming ◽

Carl R. Elks ◽

Georgios Bakirtzis

Keyword(s):

Cyber Physical Systems ◽

Systems Modeling ◽

Physical Systems

Cyber-Physical Systems Modeling and Simulation with Modelica

Proceedings from the 8th International Modelica Conference, Technical Univeristy, Dresden, Germany ◽

10.3384/ecp11063502 ◽

2011 ◽

Cited By ~ 22

Author(s):

Dan Henriksson ◽

Hilding Elmqvist

Keyword(s):

Modeling And Simulation ◽

Cyber Physical Systems ◽

Systems Modeling ◽

Physical Systems

A first Cyber-Physical Systems of Systems modeling

2018 13th Annual Conference on System of Systems Engineering (SoSE) ◽

10.1109/sysose.2018.8428719 ◽

2018 ◽

Author(s):

Olivier Maurice

Keyword(s):

Cyber Physical Systems ◽

Systems Modeling ◽

Systems Of Systems ◽

Physical Systems

Cyber-physical systems modeling method based on Modelica

2012 IEEE Sixth International Conference on Software Security and Reliability Companion ◽

10.1109/sere-c.2012.49 ◽

2012 ◽

Cited By ~ 6

Author(s):

Tang Junjie ◽

Zhao Jianjun ◽

Ding Jianwan ◽

Chen Liping ◽

Xie Gang ◽

...

Keyword(s):

Cyber Physical Systems ◽

Modeling Method ◽

Systems Modeling ◽

Physical Systems