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

Download Full-text

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

Download Full-text

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

Download Full-text

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

Download Full-text

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

Download Full-text

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

Download Full-text

Goal modeling method for autonomie control of Cyber-Physical Systems (CPS)

16th International Conference on Advanced Communication Technology ◽

10.1109/icact.2014.6778968 ◽

2014 ◽

Cited By ~ 1

Author(s):

Jeongmin Park ◽

Sungjoo Kang ◽

Ingeol Chun ◽

Wontae Kim

Keyword(s):

Cyber Physical Systems ◽

Modeling Method ◽

Goal Modeling ◽

Physical Systems

Download Full-text

A Modeling Method of Cloud-based Cyber-Physical Systems

Proceedings of the 2018 International Conference on Network, Communication, Computer Engineering (NCCE 2018) ◽

10.2991/ncce-18.2018.154 ◽

2018 ◽

Author(s):

Qiuxia Yang ◽

Lichen Zhang

Keyword(s):

Cyber Physical Systems ◽

Modeling Method ◽

Physical Systems

Download Full-text

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

Download Full-text

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

Download Full-text

AADL-Based Reliability Modeling Method of Cyber-Physical Systems

Proceedings of the 2019 The World Symposium on Software Engineering - WSSE 2019 ◽

10.1145/3362125.3362153 ◽

2019 ◽

Author(s):

He Renya ◽

Wu Lijin ◽

Zhang Weihua ◽

Jian Yang

Keyword(s):

Cyber Physical Systems ◽

Modeling Method ◽

Reliability Modeling ◽

Physical Systems

Download Full-text