Research on Modeling and Analysis of CPS-Reference-Cited by-同舟云学术

Research on Modeling and Analysis of CPS

Published:2011 Issue: Volume: Page:92-105
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Yu Zhang,Yunwei Dong,Fan Zhang,Yunfeng Zhang

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-23496-5_7

Reference17 articles.

1. Lee, E.A.: Computing Foundations and Practice for Cyber-Physical Systems: A Preliminary Report, http://www.eecs.berkeley.edu/Pubs/TechRpts/2007/EECS-2007-72.html

2. Lee, E.A.: CPS Foundations. In: DAC 2010, Anaheim, California, USA, June 13-18 (2010)

3. Lecture Notes in Computer Science;G. Karsai,2008

4. Jensen, J.C.: Elements of Model-Based Design, http://www.eecs.berkeley.edu/Pubs/TechRpts/2010/EECS-2010-19.html

5. Van Eijk, P., Diaz, M. (eds.): Formal Description Technique Lotos: Results of the Esprit Sedos Project. Elsevier, Amsterdam (1989)

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Towards a Multidimensional Ontology Model for DIH-Based Organisations;International Journal of Knowledge and Systems Science;2023-07-21

2. Unified IT&OT Modeling for Cybersecurity Analysis of Cyber-Physical Systems;IEEE Open Journal of the Industrial Electronics Society;2022

3. Unified Graphical Co-modelling of Cyber-Physical Systems Using AADL and Simulink/Stateflow;Unifying Theories of Programming;2019

4. AADL+: a simulation-based methodology for cyber-physical systems;Frontiers of Computer Science;2018-12-28

5. Safety-Based Software Reconfiguration Method for Integrated Modular Avionics Systems in AADL Model;2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C);2018-07