L1Simplex: Fault-tolerant control of cyber-physical systems

Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems, ICCPS 2013

Volumn , Issue , 2013, Pages 41-50

  Wang, Xiaofeng ^a   Hovakimyan, Naira ^b   Sha, Lui ^c  

^a The Department of Mechanical Engineering   (United States)

^b UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

^c University of Illinois at Urbana Champaign   (United States)

Author keywords

Fault tolerance; L1 adaptive control; Simplex

Indexed keywords

ADAPTIVE CONTROL; ADAPTIVE CONTROLLERS; CONTROLLER SWITCHING; CYBER PHYSICAL SYSTEMS (CPSS); CYBER-PHYSICAL SYSTEMS (CPS); FAULT TOLERANT CONTROL; HIGH-PERFORMANCE CONTROLLERS; SIMPLEX;

ADAPTIVE CONTROL SYSTEMS; EMBEDDED SYSTEMS; FAULT TOLERANCE; SYSTEMS ENGINEERING;

PHYSICAL ADDRESSES;

EID: 84883069564     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2502524.2502531     Document Type: Conference Paper

References (16)

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.
4. -, "Using simplicity to control complexity," IEEE Software, Vol. 18, no. 4, pp. 20-28, 2001.
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.
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.
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.
9. 1 Adaptive Control Theory. Philadelphia, PA: SIAM, 2010.
10. 1 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.
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. 1 adaptive control of system with unmatched disturbance by using eigenvalue assignment method," in Proceedings of IEEE Conference on Decision and Control, 2012.
15. 1 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.