Stochastic Stability of a Recoverable Computer Control System Modeled as a Finite-State Machine

Proceedings of the American Control Conference

Volumn 3, Issue , 2003, Pages 2240-2245

  Gray, W Steven ^a   Patilkulkarni, Sudarshan ^a   González, Oscar R ^a  

^a Old Dominion University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; FINITE ELEMENT METHOD; LINEAR SYSTEMS; MARKOV PROCESSES; SYSTEM STABILITY;

STOCHASTIC STABILITY;

COMPUTER CONTROL SYSTEMS;

EID: 0142215325     PISSN: 07431619     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. Bastani, F. B., 1999, 'Relational Programs: An Architecture for Robust Real-Time Safety-Critical Process-Control Systems,' Annals of Software Engineering, Vol. 7, pp. 5-24.
2. Benjelloun, K., E. K. Boukas and P. Shi, 1997, 'Robust Stochastic Stability of Discrete Time Linear System with Markovian Jumping Parameters,' Proc. 36th Conf. on Decision and Control, San Diego, CA, pp. 559-564.
3. Costa, O. L. V. and M. D. Fragoso, 1993, 'Stability Results for Discrete-Time Linear Systems with Markovian Jumping Parameters,' J. Mathematical Analysis and Applications, Vol. 179, pp. 154-178.
4. Davis, A. S., 1961, 'Markov Chains as Random Input Automata,' American Mathematical Monthly, Vol. 68, No. 3, pp. 264-267.
5. González, O. R., W. S. Gray and A. Tejada, 2002, 'Analytical Tools for the Design and Verification of Safety Critical Control Systems,' 2001 SAE Trans. - Journal of Aerospace, Vol. 110, Section 1, pp. 481-490.
6. th Conf. on Decision and Control, Orlando, Florida, pp. 4134-4139.
7. González, O. R., A. Tejada and W. S. Gray, 2002, 'Analysis of Design Tradeoffs in Rollback Recovery Methods for Fault Tolerant Digital Control Systems,' Proc. 2002 American Control Conf., Anchorage, Alaska, pp. 4801-4806.
8. Gray, W. S., O. R. González and M. Doǧan, 2000, 'Stability Analysis of Digital Linear Flight Controllers Subject to Electromagnetic Disturbances,' IEEE Trans. on Aerospace and Electronic Systems, Vol. AES-36, No. 4, pp. 1204-1218.
9. Hagbae, K. and K. G. Shin, 1994, 'Modeling of Externally-Induced/Common-Cause Faults in Fault-Tolerant Systems,' Proc. 13th Digital Avionics Systems Conf., Phoenix, Arizona, pp. 402-407.
10. Hess, R., 1997, 'Computing Platform Architectures for Robust Operation in the Presence of Lightning and Other Electromagnetic Threats,' Proc. 16th Digital Avionics Systems Conf., Philadelphia, Pennsylvania, pp. 4.3-9-16.
11. Hess, R., 1999, 'Options for Aircraft Function Preservation in the Presence of Lightning,' Proc. 1999 Inter. Conf. on Lightning and Static Electricity, Toulouse, France, Paper No. 106.
12. Lala, J. and R. Harper, 1994, 'Architectural Principles for Safety-Critical Real-Time Applications,' Proceedings of the IEEE, Vol. 82, No. 1, pp. 25-40.
13. Malekpour, M. and W. Torres, 1999, 'Characterization of a Recoverable Flight Control Computer System,' Proc. IEEE Inter. Conf. on Control Applications, Kohala Coast, Hawaii, pp. 1519-1524.
14. Malekpour, M. and W. Torres, 2000, 'Characterization of a Flight Control Computer with Rollback Recovery,' Proc. 19th Digital Avionics Systems Conf., Philadelphia, Pennsylvania, pp. 3.C.4-1-8.
15. Marculescu, D., R. Marculescu and M. Pedram, 1997, 'Steady-State Probability Estimation in FSM's Considering High-Order Temporal Effects,' Technical Report CENG97-19, University of Southern California.
16. Miner, P. S., V. A. Carreño, M. Malekpour and W. Torres, 2000, 'A Case-study Application of RTCA DO-254: Design Assurance Guidance for Airborne Electronic Hardware,' Proc. 19th Digital Avionics Systems Conf., Philadelphia, Pennsylvania, pp. 1.A.1-1-8.
17. Narasimhan, R., D. J. Rosenkrantz and S. S. Ravi, 1997, 'Early Comparison and Decision Strategies for Datapaths that Recover from Transient Faults,' IEEE Trans. on Circuits & Systems I-Fundamental Theory & Applications, Vol. 44, No. 5, pp. 435-438.
18. nd Conf. on Decision and Control, Maui, Hawaii, submitted.
19. Ranganathan, A. and S. Upadhyaya, 1993, 'Performance Evaluation of Rollback-Recovery Techniques in Computer Programs,' IEEE Trans. on Reliability, Vol. 42, pp. 220-226.
20. Tejada, A., 2002, Analysis of Error Recovery Effects on Digital Flight Control Systems, M.S. Thesis, Old Dominion University.