Toward a Science of Cyber–Physical System Integration

Sztipanovits, János; Koutsoukos, Xenofon; Karsai, Gábor; Kottenstette, Nicholas; Antsaklis, Panos J.; Gupta, Vijay; Baras, John S.; Wang, Shige

doi:10.1109/jproc.2011.2161529

Cited by 280 publications

(148 citation statements)

References 39 publications

Supporting

Mentioning

145

Contrasting

Unclassified

Order By: Relevance

“…A system with a good capability of C&C can be reorganized and reconstructed more easily and the new system contains higher correctness. Sztipanovits et al aimed at the challenges of crossdomain heterogeneous interactions among physical and computational/networking domains, and presented a theory of composition to improve stability [51]. Nuzzo P. et al adopt contracts based components specification and abstraction and provided a formal supporting for CPS design [52].…”

Section: Dependabilitymentioning

confidence: 99%

A Comprehensive Technological Survey on Dependable Self-Managing CPS: The Decade of Researches on Correctness and Dependability

Zhou¹,

Hou²,

Zhang³

et al. 2017

Preprint

View full text Add to dashboard Cite

Though Cyber Physical Systems (CPS) become very popular in last the decade, dependability of CPS is still a critical issue and related survey is rare. We try to spell out the jigsaw of technologies and figure out the technical trends of dependable self-managing CPS. This survey first recalls the motivation and the similar concepts. By analyzing four generic architectures, we summarize the common characteristics and related assurance technologies, and propose a more generic environment-in-loop processing flow of CPS and a formal interaction flow between physical space and cyber space. Further, the similarity between correctness and dependability is formally analyzed and the new five research questions of dependable self-managing CPS are presented. Then we review the critical technologies and related correctness verification & validation (V&V) methods, the architectures for dependable self-managing CPS. Further, the detail dependability management and V&V technologies are surveyed, which covers the areas of running-time fault management methods and whole life cycle V&V technologies, maintenance and available tool sets. For holistic CPS development, Modeling techniques and MDE (model driven engineering) based V&V methods are analyzed in detail. Then we complete the jigsaw of technologies and figure out the missing part. Further, we propose the technical challenges and the further direction. To our best knowledge, this is the first comprehensive survey on dependable self-managing CPS development and evaluation.

show abstract

Section: Dependabilitymentioning

confidence: 99%

A Comprehensive Technological Survey on Dependable Self-Managing CPS: The Decade of Researches on Correctness and Dependability

Zhou¹,

Hou²,

Zhang³

et al. 2017

Preprint

View full text Add to dashboard Cite

show abstract

“…It has been demonstrated that variability in the nature of the environment and quantities of device types that will need to be deployed drives the need for modeling and analyzing interactions among physical and computational and networking domains [17]. Work on the development of an analytics system for assisting with the long-term care of adults with special needs has demonstrated that powerful activity analysis algorithms are needed to infer useful activities from a limited set of sensor data.…”

Section: Architectural Qualities For Healthcare Cpsmentioning

confidence: 99%

A Security Analysis of Cyber-Physical Systems Architecture for Healthcare

Seifert

Reza

2016

Computers

View full text Add to dashboard Cite

This paper surveys the available system architectures for cyber-physical systems. Several candidate architectures are examined using a series of essential qualities for cyber-physical systems for healthcare. Next, diagrams detailing the expected functionality of infusion pumps in two of the architectures are analyzed. The STRIDE Threat Model is then used to decompose each to determine possible security issues and how they can be addressed. Finally, a comparison of the major security issues in each architecture is presented to help determine which is most adaptable to meet the security needs of cyber-physical systems in healthcare.

show abstract

“…Recent research efforts have been directed toward the analysis of composability and compositionality of control systems [17,2]. These concepts are not equivalent, but each do relate to the nature in which system components affect overall system properties.…”

Section: Introductionmentioning

confidence: 99%

Multi-agent compositional stability exploiting system symmetries

Goodwine

Antsaklis

2013

Automatica

View full text Add to dashboard Cite

This paper considers nonlinear symmetric control systems. By exploiting the symmetric structure of the system stability results are derived that are independent of the number of components in the system. This work contributes to the fields of research directed toward compositionality and composability of large-scale system in that a system can be "built-up" by adding components while maintaining system stability. The modeling framework developed in this paper is a generalization of many existing results which focus on interconnected systems with specific dynamics. The main utility of the stability result is one of scalability or compositionality. If the system is stable for a given number of components, under appropriate conditions stability is then guaranteed for a larger system composed of the same type of components which are interconnected in a manner consistent with the smaller system. The results are general and applicable to a wide class of problems. The examples in this paper focus on the formation control problems for multi-agent robotic systems.

show abstract

Toward a Science of Cyber–Physical System Integration

Cited by 280 publications

References 39 publications

A Comprehensive Technological Survey on Dependable Self-Managing CPS: The Decade of Researches on Correctness and Dependability

A Comprehensive Technological Survey on Dependable Self-Managing CPS: The Decade of Researches on Correctness and Dependability

A Security Analysis of Cyber-Physical Systems Architecture for Healthcare

Multi-agent compositional stability exploiting system symmetries

Contact Info

Product

Resources

About