Design Techniques and Applications of Cyberphysical Systems: A Survey

Khaitan, Siddhartha Kumar; McCalley, James D.

doi:10.1109/jsyst.2014.2322503

Cited by 653 publications

(320 citation statements)

References 225 publications

Supporting

Mentioning

285

Contrasting

Unclassified

Order By: Relevance

“…Run-time dependability management aims at the challenges of RQ1 and RQ5. The survey on reliability aspect in section IV.B of the paper [35] can show us a preliminary view of the current researches on dependability of CPS. Most of these approaches focus on the adaptability of self-healing solutions or self-reconfiguration strategies.…”

Section: The Run-time Dependability Management For Self-healing Cpsmentioning

confidence: 99%

See 1 more Smart Citation

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: The Run-time Dependability Management For Self-healing Cpsmentioning

confidence: 99%

“…smart manufacture [17,[27][28][29], smart transportation [30], smart city [31], precision agriculture [32], energy and power system [33], entertainment [34], etc. The further surveys on application areas refer to papers [4,5,[35][36]. The architectures/frameworks for self-managing CPS will be discussed in detail in section 5.2.1.…”

Section: Introductionmentioning

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

“…Some application areas of CPSs include automated factories, smart and energy efficient buildings, the smart grid, and self-driving cars; (Kim and Kumar, 2012;Khaitan and McCalley, 2014) provide additional application areas. As the domain of applicability of CPSs expands into security-sensitive areas, such as automated highways, water and electricity distribution systems, and military command and control, it is critical to develop novel design and control paradigms that go beyond the traditional notions of robustness, reliability, and stability (Rieger et al, 2009).…”

Section: Context and Motivationmentioning

confidence: 99%

“…also been conducted within social and political sciences, focusing on counter-terrorism tactics (Jordan, 2009). The question of why not ensuring resilience after decapitation in applications mentioned (Kim and Kumar, 2012;Khaitan and McCalley, 2014) by merely maintaining a copy of the coordinating element's function in each of the subordinate agents becomes clearer if one starts considering the risks and costs related to cyber-security and privacy, in private, public, and military networks, the vulnerabilities of which to deliberate cyber-attacks are highlighted in the news (Bruni, 2014). In light of these developments, a counter-question to the one raised just above is why would anyone create multiple security liabilities by distributing copies of sensitive information and procedures.…”

Section: Context and Motivationmentioning

confidence: 99%

Resilience through Learning in Multi-Agent Cyber-Physical Systems

et al. 2016

View full text Add to dashboard Cite

The paper contributes to the design of secure and resilient supervisory Cyber-Physical Systems (CPS) through learning. The reported approach involves the inclusion of learning modules in each of the supervised agents, and considers a scenario where the system's coordinator privately transmits to individual agents their action plans in the form of symbolic strings. Each agent's plans belong in some particular class of (sub-regular) languages, which is identifiable in the limit from positive data. With knowledge of the class of languages their plans belong to, agents can observe their coordinator's instructions and utilize appropriate Grammatical Inference modules to identify the behavior specified for them. From that, they can then work collectively to infer the executive function of their supervisor. The paper proves that in cases where the coordinator fails, or communication to subordinates is disrupted, agents are able not only to maintain functional capacity but also to recover normalcy of operation by reconstructing their coordinator. Guaranteeing normalcy recovery in supervisory CPSs is critical in cases of a catastrophic failure or malicious attack, and is important for the design of next-generation Cyber-Physical Systems.

show abstract

“…Internet of Things now integrate various objects in large Cyber Physical Systems for which some kind of distributed control is needed, e.g. see (Lee (2008)), (Rajkumar, Lee, Sha, and Stankovic (2010)) and (Khaitan and McCalley (2015)) for founding references and further surveys. For a control scientist point of view, the problem to be solved is the achievement of a control objective mixing stability, performance and reliability requirements.…”

Section: Introductionmentioning

confidence: 99%

Real-time control systems: feedback, scheduling and robustness

Simon

Seuret

Sename

2017

International Journal of Systems Science

View full text Add to dashboard Cite

The efficient control of real-time distributed systems, where continuous components are governed through digital devices and communication networks, needs a careful examination of the constraints arising from the different involved domains inside co-design approaches. Thanks to the robustness of feedback control, both new control methodologies and slackened real-time scheduling schemes are proposed beyond the frontiers between these traditionally separated fields. A methodology to design robust aperiodic controllers is provided, where the sampling interval is considered as a control variable of the system. Promising experimental results are provided to show the feasibility and robustness of the approach.

show abstract

Design Techniques and Applications of Cyberphysical Systems: A Survey

Cited by 653 publications

References 225 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

Resilience through Learning in Multi-Agent Cyber-Physical Systems

Real-time control systems: feedback, scheduling and robustness

Contact Info

Product

Resources

About