Stability of digital control systems implemented in error-recoverable computers

International Journal of Control

Volumn 81, Issue 11, 2008, Pages 1665-1681

  Tejada, A ^a   Gonzalez O R ^a   Gray, W S ^a  

^a OLD DOMINION UNIVERSITY   (United States)

Author keywords

Fault tolerant; Markov jump linear systems; Stochastic stability

Indexed keywords

CLOSED LOOP CONTROL SYSTEMS; CONCURRENCY CONTROL; DIGITAL ARITHMETIC; DIGITAL CONTROL SYSTEMS; ERROR ANALYSIS; ERROR CORRECTION; ERRORS; FLIGHT CONTROL SYSTEMS; IDENTIFICATION (CONTROL SYSTEMS); MAPS; MARKOV PROCESSES; MATHEMATICAL MODELS; MECHANISMS; MONTE CARLO METHODS; PNEUMATIC CONTROL EQUIPMENT; REAL TIME SYSTEMS; STANDARDS; SYSTEM STABILITY;

CLOSED-LOOP CONTROLS; CLOSED-LOOP STABILITY; COMMON MODES; CONTROL LAWS; DIGITAL CONTROLS; ERROR RECOVERY MECHANISMS; FAULT-TOLERANT; FAULT-TOLERANT CONTROLLERS; LINEAR MODELING; LONGITUDINAL DYNAMICS; MARKOV JUMP; MARKOV JUMP LINEAR SYSTEMS; MONTE-CARLO SIMULATIONS; PERFORMANCE GOALS; REAL-TIME APPLICATIONS; SAFETY-CRITICAL; STOCHASTIC STABILITY; SYSTEM BEHAVIOUR;

CONTROL SYSTEMS;

EID: 52149098565     PISSN: 00207179     EISSN: 13665820     Source Type: Journal    
DOI: 10.1080/00207170701771893     Document Type: Article

References (27)

1. Belcastro, C.M. (2001), 'Overview of the Systems and Airframe Failure Emulation Testing & Integration (SAFETI) Laboratory at NASA Langley Research Center', in Proceedings of the 2001 International Conference on Lightning and Static Electricity, Seattle, WA, paper no. 2001-01-2936.
2. Benjelloun, K., Boukas E.K., and Shi, P. (1997), 'Robust stochastic stability of discrete-time linear systems with Markovian jumping parameters', in Proceedings of 36th IEEE Conference on Decision and Control, San Diego, CA, pp. 559-564.
3. Caldwell, D.W., and Rennels, D.A. (1999), 'Minimalist recovery techniques for single event effects in spaceborne microcontrollers', in Seventh IFIP International Working Conference on Dependable Computing for Critical Applications, San Jose, CA, pp. 47-65.
4. Costa, O.L.V., Fragoso, M.D., and Marques, R.P. (2005), Discrete-Time Markov Jump Linear Systems, London: Springer.
5. Elnozahy, M., Alvisi, L., Wang, Y., and Johnson, D.B. (1999), 'A survey of rollback-recovery protocols in message-passing systems', ACM Computation Surveys, 34, 375-408.
6. Fang, Y., Loparo, K.A., and Feng, X. (1995), 'Stability of discrete-time jump linear systems', Journal of Mathematical Systems, Estimation and Control, 5, 275-321.
7. Friedland, B. (1986), Control System Design, An Introduction to State-Space Methods, New York: McGraw-Hill.
8. Gelenbe, E., and Hernández, M. (1990), 'Optimum checkpoints with time dependent failures', Acta Informatica, 27, 519-531.
9. González, O.R., Gray, W.S., and Tejada, A. (2002a), 'Analytical tools for the design and verification of safety critical control systems', in 2001 SAE Transactions Journal of Aerospace, 110, 481-490.
10. González, O.R., Tejada, A., and Gray, W.S. (2002b), 'Analysis of design trade-offs in the rollback recovery method for fault tolerant digital control systems', in Proceedings of the 2002 American Control Conference, Anchorage, AK, pp. 4801-4806.
11. Gray, W.S., González, O.R., and Dogan, M. (2000), 'Stability analysis of digital linear flight controllers subject to electromagnetic disturbances', IEEE Transactions on Aerospace and Electronic Systems, 36, 1204-1218.
12. Hess, R. (1997), 'Computing platform architectures for robust operation in the presence of lightning and other electromagnetic threats', in Proceedings of 16th Digital Avionics Systems Conference, Philadelphia, PA, pp. 4.3-9-4.3-16.
13. Hess, R., and Belcastro, C.M. (2001), 'Design and verification of robust architectures for electronic systems', in Proceedings of the 2001 International Conference on Lightning and Static Electricity, Seattle, WA, paper no. 2001-01-2935.
14. Hess, R., and Malekpour, M. (2002), 'Rapid soft fault recovery', in 2001 SAE Transactions - Journal of Aerospace, 110, pp. 474-480.
15. Johnson, B. (1989), Design and Analysis of Fault-Tolerant Digital Systems, Reading, MA: Addison Wesley Publishing Co.
16. Kim, H., and Shin, K.G. (1994), 'Modeling of externally-induced/common- cause faults in fault-tolerant systems', in Proceedings of the 13th Digital Avionics Systems Conference, New York, NY, pp. 402-407.
17. Kim, H., and Shin, K.G. (1996), 'Design and analysis of an optimal instruction-retry policy for TMR controller computers', IEEE Transactions on Computers, 45, 1217-1225.
18. Lala, J.H., and Harper, R.E. (1993), 'Reducing the probability of common-mode failure in the fault tolerant parallel processor', in Proceedings 12th Digital Avionics Systems Conference, Fort Worth, TX, pp. 221-230.
19. Lala, J.H., and Harper, R.E. (1994a), 'Fault tolerance in embedded real-time systems: Importance and treatment of common mode failures', in Hardware and Software Architectures for Fault Tolerance: Experiences and Perspectives, M. Banâtre and P.A. Lee, editors, Lecture Notes in Computer Science No. 774, London: Springer-Verlag, pp. 263-282.
20. Lala, J.H., and Harper, R.E. (1994b), 'Architectural principles for safety-critical real-time applications', in Proceedings of the IEEE, 82, 25-40.
21. Mahmoud, M., Jiang, J., and Zhang, Y. (2003), Active Fault Tolerant Control Systems: Stochastic Analysis and Synthesis. Lecture Notes in Control and Information Sciences No. 287, Berlin, Gemany: Springer-Verlag.
22. Malekpour, M., and Torres, W. (2000), 'Characterization of a flight control computer with rollback recovery', in Proceedings 19th Digital Avionics Systems Conference, Philadelphia, PA, pp. 3.C.4-1-3.C.4-8.
23. Mitra, S., Saxena, N.R., and McCluskey, E.J. (2000), 'Common-mode failures in redundant VLSI systems: A survey', IEEE Transactions on Reliability, 49, 285-295.
24. Patilkulkarni, S., Herencia-Zapana, H., Gray, W.S., and González, O.R. (2004), 'On the stability of jump-linear systems driven by finite state machines with Markovian inputs', in Proceedings of the 2004 American Control Conference, Boston, MA, pp. 2534-2539.
25. Pflanz, M., and Vierhaus, H.T. (2001), 'Online check and recovery techniques for dependable embedded processors', IEEE Micro, 21, 24-40.
26. Pradham, D.K. (1996), Fault-tolerant Computer System Design, Upper Saddle River, NJ: Prentice Hall.
27. Zhang, H., Gray, W.S., and González, O.R. (2005), 'Performance analysis of recoverable flight control systems using hybrid dynamical models', in Proceedings 2005 American Control Conference, Portland, OR, pp. 2787-2792.