research-article

L1Simplex: fault-tolerant control of cyber-physical systems

Authors:

Xiaofhteng Wang,

Naira Hovakimyan,

Lui ShaAuthors Info & Claims

ICCPS '13: Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems

Pages 41 - 50

https://doi.org/10.1145/2502524.2502531

Published: 08 April 2013 Publication History

Abstract

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 software failure in such systems. However, when physical failures also appear, Simplex does not work any more because the physical dynamics change due to physical failures. The Simplex architecture designed for the original physical model may not be suitable for the new dynamics. To address both software and physical failures, this paper presents the L1Simplex architecture, which contains the safety monitor, the high-performance controller (HPC), the L₁-based high-assurance controller (HAC), and the decision logic for controller switching. The safety monitor is used to monitor the system behavior. It leads to another controller switching rule besides the stability-envelope-based rule in the decision logic. The HAC is designed based on the L₁ adaptive controller, with which the stability envelope is computed. We show that the L1Simplex architecture can efficiently handle a class of software and physical failures.

References

[1]

E. Clarke, O. Grumberg, and D. Peled, Model checking. MIT press, 2000.

[2]

A. Avizienis, "The methodology of n-version programming," Software Fault Tolerance, vol. 3, pp. 23--46, 1995.

[3]

L. Sha, "Dependable system upgrade," in Real-Time Systems Symposium, 1998, pp. 440--448.

Digital Library

[4]

L. Sha, "Using simplicity to control complexity," IEEE Software, vol. 18, no. 4, pp. 20--28, 2001.

Digital Library

[5]

X. Liu, H. Ding, K. Lee, Q. Wang, and L. Sha, "ORTEGA: An efficient and flexible software fault tolerance architecture for real-time control systems," in Euromicro Conference on Real-Time Systems, 2008, pp. 125--134.

Digital Library

[6]

T. Crenshaw, E. Gunter, C. Robinson, L. Sha, and P. Kumar, "The Simplex reference model: Limiting fault-propagation due to unreliable components in cyber-physical system architectures," in Real-Time Systems Symposium, 2007, pp. 400--412.

Digital Library

[7]

D. Seto, E. Ferreira, and T. Marz, "Case study: Development of a baseline controller for automatic landing of an F-16 aircraft using linear matrix inequalities (LMIs)," No. CMU/SEI-99-TR-020, Tech. Rep., 2000.

[8]

E. Sontag and Y. Wang, "On characterizations of the input-to-state stability property," Systems & Control Letters, vol. 24, no. 5, pp. 351--359, 1995.

Digital Library

[9]

N. Hovakimyan and C. Cao, L₁ Adaptive Control Theory. Philadelphia, PA: SIAM, 2010.

[10]

N. Hovakimyan, C. Cao, E. Kharisov, E. Xargay, and I. M. Gregory, "L₁ adaptive control for safety-critical systems," IEEE Control Systems Magazine, vol. 31, no. 5, pp. 54--104, October 2011.

[11]

H. Shim and N. H. Jo, "An almost necessary and sufficient condition for robust stability of closed--loop systems with disturbance observer," Automatica, vol. 45, no. 1, pp. 296--299, 2009.

Digital Library

[12]

L. Harnefors and H. Nee, "Model-based current control of AC machines using the Internal Model Control method," IEEE Transactions on Industry Applications, vol. 34, no. 1, pp. 133--141, 1998.

[13]

J. Pomet and L. Praly, "Adaptive nonlinear regulation: estimation from the Lyapunovequation," IEEE Transactions on Automatic Control, vol. 37, no. 6, pp. 729--740, 1992.

[14]

J. Che and C. Cao, "L₁ adaptive control of system with unmatched disturbance by using eigenvalue assignment method," in Proceedings of IEEE Conference on Decision and Control, 2012.

[15]

C. Cao and N. Hovakimyan, "Stability margins of L₁ adaptive control architecture," IEEE Transactions on Automatic Control, vol. 55, no. 2, pp. 480--487, 2010.

[16]

D. Seto and L. Sha, "An engineering method for safety region development," CMU SEI, Tech. Rep., 1999.

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
Hasan MKashinath AChen CMohan S(2024)SoK: Security in Real-Time SystemsACM Computing Surveys10.1145/364949956:9(1-31)Online publication date: 25-Apr-2024
https://dl.acm.org/doi/10.1145/3649499
Jeong YEun Y(2022)A Robust and Resilient State Estimation for Linear SystemsIEEE Transactions on Automatic Control10.1109/TAC.2021.308878067:5(2626-2632)Online publication date: May-2022
https://doi.org/10.1109/TAC.2021.3088780
Show More Cited By

Recommendations

Software Fault Tolerance for Cyber-Physical Systems via Full System Restart
Special Issue on Self-Awareness in Resource Constrained CPS and Regular Papers

The article addresses the issue of reliability of complex embedded control systems in the safety-critical environment. In this article, we propose a novel approach to design controller that (i) guarantees the safety of nonlinear physical systems, (ii) ...
A low-overhead recovery technique using quasi-synchronous checkpointing
ICDCS '96: Proceedings of the 16th International Conference on Distributed Computing Systems (ICDCS '96)

In this paper, we propose a quasi-synchronous checkpointing algorithm and a low-overhead recovery algorithm based on it. The checkpointing algorithm preserves process autonomy by allowing them to take checkpoints asynchronously and uses communication-...
Asynchronous recovery without using vector timestamps

A checkpoint of a process involved in a distributed computation is said to be useful if it is part of a consistent global checkpoint. In this paper, we present a quasi-synchronous checkpointing algorithm that makes every checkpoint useful. We also ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

ICCPS '13: Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems

April 2013

278 pages

ISBN:9781450319966

DOI:10.1145/2502524

General Chair:
Chenyang Lu
Washington University
,
Program Chairs:
P. R. Kumar
Texas A&M University
,
R. Stoleru
Texas A&M University

Copyright © 2013 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]

Sponsors

IEEE-CS\TCRT: TC on Real-Time Systems
SIGBED: ACM Special Interest Group on Embedded Systems

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 08 April 2013

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Conference

ICCPS '13

Sponsor:

IEEE-CS\TCRT
SIGBED

ICCPS '13: ACM/IEEE 4th International Conference on Cyber-Physical Systems

April 8 - 11, 2013

Pennsylvania, Philadelphia

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

34
Total Citations
View Citations
418
Total Downloads

Downloads (Last 12 months)11
Downloads (Last 6 weeks)0

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
Hasan MKashinath AChen CMohan S(2024)SoK: Security in Real-Time SystemsACM Computing Surveys10.1145/364949956:9(1-31)Online publication date: 25-Apr-2024
https://dl.acm.org/doi/10.1145/3649499
Jeong YEun Y(2022)A Robust and Resilient State Estimation for Linear SystemsIEEE Transactions on Automatic Control10.1109/TAC.2021.308878067:5(2626-2632)Online publication date: May-2022
https://doi.org/10.1109/TAC.2021.3088780
Zhang LLu PKong FChen XSokolsky OLee I(2021)Real-time Attack-recovery for Cyber-physical Systems Using Linear-quadratic RegulatorACM Transactions on Embedded Computing Systems10.1145/347701020:5s(1-24)Online publication date: 17-Sep-2021
https://dl.acm.org/doi/10.1145/3477010
Cherskikh ESaveliev A(2021)Survey on Behavioral Strategies of Cyber-Physical Systems in Case of Loss of IntegrityElectromechanics and Robotics10.1007/978-981-16-2814-6_40(463-474)Online publication date: 29-Aug-2021
https://doi.org/10.1007/978-981-16-2814-6_40
Phan DGrosu RJansen NPaoletti NSmolka SStoller S(2020)Neural Simplex ArchitectureNASA Formal Methods10.1007/978-3-030-55754-6_6(97-114)Online publication date: 10-Aug-2020
https://doi.org/10.1007/978-3-030-55754-6_6
Hasan MMohan SLiu PZhang Y(2019)Protecting Actuators in Safety-Critical IoT Systems from Control Spoofing AttacksProceedings of the 2nd International ACM Workshop on Security and Privacy for the Internet-of-Things10.1145/3338507.3358615(8-14)Online publication date: 15-Nov-2019
https://dl.acm.org/doi/10.1145/3338507.3358615
Potteiger BZhang ZKoutsoukos XKoutsoukos XCardenas AAl-Shaer E(2019)Integrated data space randomization and control reconfiguration for securing cyber-physical systemsProceedings of the 6th Annual Symposium on Hot Topics in the Science of Security10.1145/3314058.3314064(1-10)Online publication date: 1-Apr-2019
https://dl.acm.org/doi/10.1145/3314058.3314064
Nguyen KDankowicz H(2019)Input‐delay compensation in a robust adaptive control frameworkIET Control Theory & Applications10.1049/iet-cta.2018.595313:11(1718-1727)Online publication date: 22-May-2019
https://doi.org/10.1049/iet-cta.2018.5953
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: 13-Aug-2019
https://doi.org/10.1007/978-3-030-29662-9_15
Show More Cited By

View Options

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 Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten