research-article

Public Access

RSimplex: A Robust Control Architecture for Cyber And Physical Failures

Authors:

Naira Hovakimyan,

Lui ShaAuthors Info & Claims

ACM Transactions on Cyber-Physical Systems, Volume 2, Issue 4

Article No.: 27, Pages 1 - 26

https://doi.org/10.1145/3121428

Published: 05 July 2018 Publication History

Abstract

As the complexity of Cyber-Physical Systems (CPS) increases, it becomes increasingly challenging to ensure CPS reliability, especially in the presence of software and/or physical failures. The Simplex architecture is shown to be an efficient tool to address software failures in such systems. When physical failures exist, however, Simplex may not function correctly because physical failures could change system dynamics and the original Simplex design may not work for the new faulty system. To address concurrent software and physical failures, this article presents the RSimplex architecture, which integrates Robust Fault-Tolerant Control (RFTC) techniques into the Simplex architecture. It includes the uncertainty monitor, the High-Performance Controller (HPC), the Robust High-Assurance Controller (RHAC), and the decision logic that triggers the switch of the controllers. Based on the output of the uncertainty monitor, we introduce a monitor-based switching rule in the decision logic in addition to the traditional envelope-based rule. The RHAC is designed based on RFTCs. We show that RSimplex can efficiently handle a class of software and physical failures.

References

[1]

Karl J. Åström and Björn Wittenmark. 2013. Adaptive Control. Courier Corporation.

[2]

Algirdas Avizienis. 1995. The methodology of n-version programming. Software Fault Tolerance 3 (1995), 23--46.

[3]

Christel Baier, Joost-Pieter Katoen, and Kim Guldstrand Larsen. 2008. Principles of Model Checking. MIT Press, Cambridge.

Digital Library

[4]

Stanley Bak, Deepti K. Chivukula, Olugbemiga Adekunle, Mu Sun, Marco Caccamo, and Lui Sha. 2009. The system-level simplex architecture for improved real-time embedded system safety. In Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). IEEE, 99--107.

Digital Library

[5]

Stanley Bak, Taylor T. Johnson, Marco Caccamo, and Lui Sha. 2014. Real-time reachability for verified simplex design. In Proceedings of the 35th IEEE International Real-Time Systems Symposium (RTSS). IEEE, 138--148.

[6]

Chengyu Cao and Naira Hovakimyan. 2010. Stability margins of L<sub>1</sub> adaptive control architecture. IEEE Transactions in Automatic Control 55, 2 (2010), 480--487.

[7]

Jiaxing Che and Chengyu Cao. 2012. L<sub>1</sub> adaptive control of system with unmatched disturbance by using eigenvalue assignment method. In Proceedings of IEEE Conference on Decision and Control. IEEE, 4823--4828.

[8]

Liming Chen and Algirdas Avizienis. 1978. N-version programming: A fault-tolerance approach to reliability of software operation. In Proceedings of the 8th IEEE International Symposium on Fault-Tolerant Computing (FTCS). IEEE, 3--9.

[9]

Edmund M. Clarke, Orna Grumberg, and Doron Peled. 1999. Model Checking. MIT Press.

Digital Library

[10]

Tanya L. Crenshaw, Elsa Gunter, Craig L. Robinson, Lui Sha, and P. R. Kumar. 2007. The simplex reference model: Limiting fault-propagation due to unreliable components in cyber-physical system architectures. In Proceedings of the 28th IEEE International Real-Time Systems Symposium (RTSS). IEEE, 400--412.

Digital Library

[11]

Lennart Harnefors and Hans-Peter Nee. 1998. Model-based current control of AC machines using the internal model control method. IEEE Transactions on Industry Applications 34, 1 (1998), 133--141.

[12]

Naira Hovakimyan and Chengyu Cao. 2010. L<sub>1</sub> Adaptive Control Theory. SIAM, Philadelphia, PA.

[13]

Naira Hovakimyan, Chengyu Cao, Evgeny Kharisov, Enric Xargay, and Irene M. Gregory. 2011. L<sub>1</sub> adaptive control for safety-critical systems. IEEE Control Systems Magazine 31, 5 (October 2011), 54--104.

[14]

Vladislav Klein and Keith D. Noderer. 1994. Modeling of Aircraft Unsteady Aerodynamic Characteristics. Technical Memorandum 109120. NASA LaRC, Hampton, VA.

Digital Library

[15]

Xue Liu, Hui Ding, Kihwal Lee, Qixin Wang, and Lui Sha. 2008. ORTEGA: An efficient and flexible software fault tolerance architecture for real-time control systems. In Proceedings of the Euromicro Conference on Real-Time Systems. IEEE, 125--134.

Digital Library

[16]

Sibin Mohan, Stanley Bak, Emiliano Betti, Heechul Yun, Lui Sha, and Marco Caccamo. 2013. S3A: Secure system simplex architecture for enhanced security and robustness of cyber-physical systems. In Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems. ACM, 65--74.

Digital Library

[17]

Eugene A. Morelli. 1998. Global nonlinear parametric modeling with application to F-16 aerodynamics. In Proceedings of American Control Conference, Vol. 2. IEEE, Philadelphia, PA, 997--1001.

[18]

Jean-Baptiste Pomet and Laurent Praly. 1992. Adaptive nonlinear regulation: Estimation from the Lyapunov equation. IEEE Trans. Automat. Control 37, 6 (1992), 729--740.

[19]

Danbing Seto and Lui Sha. 1999. An Engineering Method for Safety Region Development. Technical Report. CMU SEI.

[20]

Enrique Ferreira Seto, Danbing and Theodore F. Marz. 2000. Case Study: Development of a Baseline Controller for Automatic Landing of an F-16 Aircraft Using Linear Matrix Inequalities (LMIs). Technical Report. No. CMU/SEI-99-TR-020.

[21]

Lui Sha. 1998. Dependable system upgrade. In Proceedings of the Real-Time Systems Symposium. IEEE, 440--448.

Digital Library

[22]

Lui Sha. 2001. Using simplicity to control complexity. IEEE Software 18, 4 (2001), 20--28.

Digital Library

[23]

Hyungbo Shim and Nam H. Jo. 2009. An almost necessary and sufficient condition for robust stability of closed--loop systems with disturbance observer. Automatica 45, 1 (2009), 296--299.

Digital Library

[24]

Eduardo D. Sontag and Yuan Wang. 1995. On characterizations of the input-to-state stability property. Systems 8 Control Letters 24, 5 (1995), 351--359.

Digital Library

[25]

Xiaofeng Wang, Naira Hovakimyan, and Lui Sha. 2013. L1Simplex: Fault-tolerant control of cyber-physical systems. In Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems. ACM, 41--50.

Digital Library

[26]

Jianguo Yao, Xue Liu, Guchuan Zhu, and Lui Sha. 2013. NetSimplex: Controller fault tolerance architecture in networked control systems. IEEE Transactions on Industrial Informatics 9, 1 (2013), 346--356.

Cited By

WANG QCHEN QCAO WHE W(2024)Runtime safety assurance methods for cyber physical systems based on simplex architectureJournal of Shenzhen University Science and Engineering10.3724/SP.J.1249.2024.0325341:3(253-263)Online publication date: 30-May-2024
https://doi.org/10.3724/SP.J.1249.2024.03253
Bansal AKim HYu SLi BHovakimyan NCaccamo MSha L(2024)Perception simplex: Verifiable collision avoidance in autonomous vehicles amidst obstacle detection faultsSoftware Testing, Verification and Reliability10.1002/stvr.1879Online publication date: 28-May-2024
https://doi.org/10.1002/stvr.1879
Mao YGu YHovakimyan NSha LVoulgaris P(2022)Sℒ1-Simplex: Safe Velocity Regulation of Self-Driving Vehicles in Dynamic and Unforeseen EnvironmentsACM Transactions on Cyber-Physical Systems10.1145/35642737:1(1-24)Online publication date: 19-Sep-2022
https://dl.acm.org/doi/10.1145/3564273
Show More Cited By

Recommendations

L1Simplex: fault-tolerant control of cyber-physical systems
ICCPS '13: Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems

As the complexity of Cyber-Physical Systems (CPS) increases, it becomes more and more challenging to ensure the reliability of CPS, especially in the presence of system failures. Simplex architecture is shown to be an efficient tool to address the ...
Sℒ₁-Simplex: Safe Velocity Regulation of Self-Driving Vehicles in Dynamic and Unforeseen Environments
This article proposes a novel extension of the Simplex architecture with model switching and model learning to achieve safe velocity regulation of self-driving vehicles in dynamic and unforeseen environments. To guarantee the reliability of autonomous ...
Real-Time Reachability for Verified Simplex Design
Special Issue on Innovative Design, Special Issue on MEMOCODE 2014 and Special Issue on M2M/IOT

The Simplex architecture ensures the safe use of an unverifiable complex/smart controller by using it in conjunction with a verified safety controller and verified supervisory controller (switching logic). This architecture enables the safe use of smart,...

Comments

Information & Contributors

Information

Published In

cover image ACM Transactions on Cyber-Physical Systems

ACM Transactions on Cyber-Physical Systems Volume 2, Issue 4

Special Issue on Medical CPS Papers

October 2018

313 pages

ISSN:2378-962X

EISSN:2378-9638

DOI:10.1145/3236466

Editor:
Tei-Wei Kuo
National Taiwan University, and Academia Sinica, Taiwan

Issue’s Table of Contents

Copyright © 2018 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Journal Family

ACM Journals for the Design of Smart and Connected Systems

Publication History

Published: 05 July 2018

Accepted: 01 June 2017

Revised: 01 May 2017

Received: 01 November 2015

Published in TCPS Volume 2, Issue 4

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed

Funding Sources

National Science Foundation

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

8
Total Citations
View Citations
518
Total Downloads

Downloads (Last 12 months)98
Downloads (Last 6 weeks)9

Reflects downloads up to 03 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

WANG QCHEN QCAO WHE W(2024)Runtime safety assurance methods for cyber physical systems based on simplex architectureJournal of Shenzhen University Science and Engineering10.3724/SP.J.1249.2024.0325341:3(253-263)Online publication date: 30-May-2024
https://doi.org/10.3724/SP.J.1249.2024.03253
Bansal AKim HYu SLi BHovakimyan NCaccamo MSha L(2024)Perception simplex: Verifiable collision avoidance in autonomous vehicles amidst obstacle detection faultsSoftware Testing, Verification and Reliability10.1002/stvr.1879Online publication date: 28-May-2024
https://doi.org/10.1002/stvr.1879
Mao YGu YHovakimyan NSha LVoulgaris P(2022)Sℒ1-Simplex: Safe Velocity Regulation of Self-Driving Vehicles in Dynamic and Unforeseen EnvironmentsACM Transactions on Cyber-Physical Systems10.1145/35642737:1(1-24)Online publication date: 19-Sep-2022
https://dl.acm.org/doi/10.1145/3564273
Stafford MBhattacharyya SClark MNeogi NEskridge T(2021)Assurance for Integrating Advanced Algorithms in Autonomous Safety-Critical SystemsIEEE Systems Journal10.1109/JSYST.2020.302328615:4(4852-4863)Online publication date: Dec-2021
https://doi.org/10.1109/JSYST.2020.3023286
Zhong BLavaei ACao HZamani MCaccamo M(2021)Safe-visor architecture for sandboxing (AI-based) unverified controllers in stochastic cyber–physical systemsNonlinear Analysis: Hybrid Systems10.1016/j.nahs.2021.10111043(101110)Online publication date: Dec-2021
https://doi.org/10.1016/j.nahs.2021.101110
Stafford MBhattacharyya SClark MNeogi N(2020)Formal Compositional Reasoning of Autonomous Aerial Systems with Complex Algorithms2020 IEEE International Systems Conference (SysCon)10.1109/SysCon47679.2020.9275657(1-7)Online publication date: 24-Aug-2020
https://doi.org/10.1109/SysCon47679.2020.9275657
Wan WKim HHovakimyan NSha LVoulgaris P(2020)A Safety Constrained Control Framework for UAVs in GPS Denied Environment2020 59th IEEE Conference on Decision and Control (CDC)10.1109/CDC42340.2020.9304304(214-219)Online publication date: 14-Dec-2020
https://doi.org/10.1109/CDC42340.2020.9304304
Zhong BZamani MCaccamo M(2019)Sandboxing Controllers for Stochastic Cyber-Physical SystemsFormal Modeling and Analysis of Timed Systems10.1007/978-3-030-29662-9_15(247-264)Online publication date: 27-Aug-2019
https://dl.acm.org/doi/10.1007/978-3-030-29662-9_15

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Article

Figures

Tables

Media

View Issue’s Table of Contents