On the stability of jump-linear systems driven by finite-state machines with Markovian inputs

Proceedings of the American Control Conference

Volumn 3, Issue , 2004, Pages 2534-2539

  Patilkulkarni, Sudarshan ^a   Herencia Zapana, Heber ^a   Gray, W Steven ^a   Gonzalez, Oscar R ^a  

^a Old Dominion University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CONTROL SYSTEMS; COMPUTER SYSTEM RECOVERY; ERROR ANALYSIS; FINITE AUTOMATA; LINEAR CONTROL SYSTEMS; MARKOV PROCESSES; SYSTEM STABILITY;

FINITE STATE MACHINES; JUMP LINEAR SYSTEMS;

LINEAR SYSTEMS;

EID: 8744268209     PISSN: 07431619     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.23919/acc.2004.1383846     Document Type: Conference Paper

References (16)

1. K. Benjelloun, E. K. Boukas and P. Shi, 'Robust Stochastic Stability of Discrete-Time Linear Systems with Markovian Jumping Parameters,' Proc. 36th IEEE Conference on Decision and Control, San Diego, California, 1997, pp. 559-564.
2. T. L. Booth, Sequential Machines and Automata Theory, New York: John Wiley and Sons, Inc., 1967.
3. O. L. V. Costa and M. D. Fragoso, 'Stability Results for Discrete-Time Linear Systems with Markovian Jumping Parameters,' J. Mathematical Analysis and Applications, vol. 179, 1993, pp. 154-178.
4. O. R. Gonzalez, W. S. Gray, and A. Tejada, 'Analytical Tools for the Design and Verification of Safety Critical Control Systems,' SAE Transactions, Journal of Aerospace, section 1, vol. 110, 2002, pp. 481-490.
5. O. R. Gonzalez, W. S. Gray, A. Tejada and S. Patilkulkarni, 'Stability Analysis of Electromagnetic Interference Upset Recovery Methods,' Proc. 40th IEEE Conference on Decision and Control, Orlando, Florida, 2001, pp. 4134-4139.
6. O. R. González, A. Tejada and W. S. Gray, 'Analysis of Design Trade-Offs in Rollback Recovery Methods for Fault Tolerant Digital Control Systems,' Proc. 2002 American Control Conference, Anchorage, Alaska, 2002, pp. 4801-4806.
7. W. S. Gray, S. Patilkulkarni and O. R. Gonzalez, 'Stochastic Stability of a Recoverable Computer Control System Modeled as a Finite-State Machine,' Proc. 2003 American Control Conference, Denver, Colorado, 2003, pp. 2240-2245.
8. W. S. Gray, H. Zhang and O. R. Gonzalez 'Closed-Loop Performance Measures for Flight Controllers Subject to Neutron-Induced Upsets,' Proc. 42nd IEEE Conference on Decision and Control, Maui, Hawaii, 2003, pp. 2465-2470.
9. R. Hess, 'Computing Platform Architectures for Robust Operation in the Presence of Lightning and Other Electromagnetic Threats,' Proc. 16th Digital Avionics Systems Conference, Philadelphia, Pennsylvania, 1997, pp. 4.3-9-16.
10. R. Hess, 'Options for Aircraft Function Preservation in the Presence of Lightning,' Proc. 1999 International Conference on Lightning and Static Electricity, Toulouse, France, 1999, Paper No. 106.
11. W. H. Jermann, Measurement of Linear Dependent Processes, Ph.D. Thesis, Department of Engineering, Electrical, University of Connecticut, 1967.
12. M. Malekpour and W. Torres, 'Characterization of a Recoverable Flight Control Computer System,' Proc. 1999 IEEE International Conference on Control Applications, Kohala Coast, Hawaii, 1999, pp. 1519-1524.
13. M. Malekpour and W. Torres, 'Characterization of a Flight Control Computer with Rollback Recovery,' Proc. 19th Digital Avionics Systems Conference, Philadelphia, Pennsylvania, 2000, pp. 3.C.4-1-8.
14. D. Marculescu, R. Marculescu and M. Pedram, 'Steady-State Probability Estimation in FSM's Considering High-Order Temporal Effects,' Technical Report CENG97-19, University of Southern California, 1997.
15. D. Marculescu and R. Marculescu, 'Information-Theoretic Bounds for Switching Activity Analysis in Finite-State Machines under Temporally Correlated Inputs', Proc. 33rd Asilomar Conference on Signals, Systems, and Computers, Pacific Grove, California, 1999.
16. A. Tejada, Analysis of Error Recovery Effects on Digital Flight Control Systems, M.S. Thesis, Department of Electrical and Computer Engineering, Old Dominion University, 2002.