[引用][C] Principles of Cyber-Physical Systems
R Alur - 2015 - books.google.com
A foundational text that offers a rigorous introduction to the principles of design,
specification, modeling, and analysis of cyber-physical systems. A cyber-physical system …
specification, modeling, and analysis of cyber-physical systems. A cyber-physical system …
Cyber–physical systems: A perspective at the centennial
KD Kim, PR Kumar - Proceedings of the IEEE, 2012 - ieeexplore.ieee.org
Cyber-physical systems (CPSs) are the next generation of engineered systems in which
computing, communication, and control technologies are tightly integrated. Research on …
computing, communication, and control technologies are tightly integrated. Research on …
[图书][B] Introduction to discrete event systems
CG Cassandras, S Lafortune - 2008 - Springer
After going through all the previous chapters, it would be natural for readers to conclude that
DES are inherently complex and hard to analyze, regardless of the modeling framework …
DES are inherently complex and hard to analyze, regardless of the modeling framework …
Cyber–physical systems: Extending pervasive sensing from control theory to the Internet of Things
Essentially, the emerging term “Cyber–Physical Systems (CPS)” is an architectural paradigm
in which the pervasive sensing technologies represent a fundamental part. Originally …
in which the pervasive sensing technologies represent a fundamental part. Originally …
C2E2: A verification tool for stateflow models
Mathworks' Stateflow is a predominant environment for modeling embedded and cyber-
physical systems where control software interacts with physical processes. We present …
physical systems where control software interacts with physical processes. We present …
Runtime assurance for safety-critical systems: An introduction to safety filtering approaches for complex control systems
More than three miles above the Arizona desert, an F-16 student pilot experienced a gravity-
induced loss of consciousness, passing out while turning at nearly 9Gs (nine times the force …
induced loss of consciousness, passing out while turning at nearly 9Gs (nine times the force …
A research overview of tool-supported model-based testing of requirements-based designs
R Marinescu, C Seceleanu, H Le Guen… - Advances in …, 2015 - Elsevier
Software testing aims at gaining confidence in software products through fault detection, by
observing the differences between the behavior of the implementation and the expected …
observing the differences between the behavior of the implementation and the expected …
Modeling security in cyber–physical systems
M Burmester, E Magkos, V Chrissikopoulos - International journal of critical …, 2012 - Elsevier
This paper describes a framework for modeling the security of a cyber–physical system in
which the behavior of the adversary is controlled by a threat model that captures–in a unified …
which the behavior of the adversary is controlled by a threat model that captures–in a unified …
Web service composition approaches: From industrial standards to formal methods
M Ter Beek, A Bucchiarone… - … Conference on Internet …, 2007 - ieeexplore.ieee.org
Composition of Web services is much studied to support business-to-business and
enterprise application integration in e-commerce. Current Web service composition …
enterprise application integration in e-commerce. Current Web service composition …
Team Automata: Overview and Roadmap
MH ter Beek, R Hennicker, J Proença - International Conference on …, 2024 - Springer
Team Automata is a formalism for interacting component-based systems proposed in 1997,
whereby multiple sending and receiving actions from concurrent automata can synchronise …
whereby multiple sending and receiving actions from concurrent automata can synchronise …