Performance analysis of digital flight control systems with rollback error recovery subject to simulated neutron-induced upsets

IEEE Transactions on Control Systems Technology

Volumn 16, Issue 1, 2008, Pages 46-59

  Zhang, Hong ^a   Gray, W Steven ^a   González, Oscar R ^a  

^a Old Dominion University   (United States)

Author keywords

Aerospace control; Markov jump linear systems; Single event upsets (SEUs); Stochastic automata; Stochastic hybrid systems

Indexed keywords

CLOSED LOOP CONTROL SYSTEMS; COMPUTER SIMULATION; COMPUTER SYSTEM RECOVERY; CONTROL SYSTEM ANALYSIS; DIGITAL CONTROL SYSTEMS; FINITE AUTOMATA; STOCHASTIC CONTROL SYSTEMS;

MARKOV JUMP-LINEAR SYSTEM; RECOVERABLE COMPUTER SYSTEM; STOCHASTIC HYBRID SYSTEM; SWITCHED LINEAR DISCRETE-TIME DYNAMICAL SYSTEM;

FLIGHT CONTROL SYSTEMS;

EID: 37749050632     PISSN: 10636536     EISSN: None     Source Type: Journal    
DOI: 10.1109/TCST.2007.903079     Document Type: Article

References (37)

1. R. B. Mendell and S. A. Korff, "Fast-neutron flux in the atmosphere," J. Geophys. Res., vol. 68, no. 19, pp. 5487-5495, 1963.
2. J. F. Ziegler, "Terrestrial cosmic rays," IBM J. Res. Develop., vol. 40, no. 1, pp. 19-39, 1996.
3. E. Normand and T. J. Baker, "Altitude and latitude variations in avionics SEU and atmospheric neutron flux," IEEE Trans. Nucl. Sci. vol. 40, no. 6, pp. 1484-1490, Jun. 1993.
4. G. C. Messenger and M. S. Ash, The Effects of Radiation on Electronic Systems, 2nd ed. New York: Van Nostrand Reinhold, 1992.
5. A. C. Tribble, The Space Environment: Implications for SpacecraftDesign. Princeton, NJ: Princeton Univ., 1995.
6. G. C. Messenger and M.S. Ash, Single Event Phenomena. NewYork: Chapman & Hall, 1997.
7. E. Normand, "Single-event effects in avionics," IEEE Trans. Nucl. Sci., vol. 43, no. 2, pp. 461-474, Feb. 1996.
8. T. J. O'Gorman, J. M. Ross, A. H. Taber, J. F. Ziegler, H. P. Muhlfeld, C. J. Montrose, H. W. Curtis, and J. L. Walsh, "Field testing for cosmic ray soft errors in semiconductor memories," IBM J. Res. Develop., vol. 40, no. 1, pp. 41-50, 1996.
9. J. F. Ziegler, H. P. Muhlfeld, C. J. Montrose, H. W. Curtis, T. J. O'Gorman, and J. M. Ross, "Accelerated testing for cosmic soft-error rate," IBM J. Res. Develop., vol. 40, no. 1, pp. 51-72, 1996.
10. W. S. Gray, O. R. González, and M. Doǎn, "Stability analysis of digital linear flight controllers subject to electromagnetic disturbances," IEEE Trans. Aerosp. Electron. Syst., vol. 36, no. 4, pp. 1204-1218, Apr. 2000.
11. O. R. González, W. S. Gray, and A. Tejada, "Analytical tools for the design and verification of safety critical control systems," SAE Trans. - J. Aerosp., vol. 110, no. 1, pp. 481-490, 2002.
12. R. Hess, "Computing platform architectures for robust operation in the presence of lightning and other electromagnetic threats," in Proc. l6th Digit. Avion. Syst. Conf., 1997, pp. 4.3-9-4.3-16.
13. R. Hess, "Options for aircraft function preservation in the presence of lightning," presented at the Int. Conf. Lightning Static Electricity, Toulouse, France, 1999, paper no. 106.
14. M. Malekpour and W. Torres, "Characterization of a recoverable flight control computer system," in Proc. IEEE Int. Conf. Contr. Appl., 1999, pp.1519-1524.
15. M. Malekpour and W. Torres, "Characterization of a flight control computer with rollback recovery," in Proc. l9th Digit. Avion. Syst. Conf., 2000, pp. 3.C.4-1-8.
16. R. Narasimhan, D. J. Rosenkrantz, and S. S. Ravi, "Early comparison and decision strategies for datapaths that recover from transient faults," IEEE Trans. Circuits Syst. I, Fundam. Theory Appl., vol. 44, no. 5, pp. 435-438, May 1997.
17. A. Ranganathan and S. J. Upadhyaya, "Performance evaluation of rollback-recovery techniques in computer programs," IEEE Trans. Reliab., vol. 42, no. 2, pp. 220-226, Jun. 1993.
18. A. V. Lakdawala, H. Zhang, O. R. González, and W. S. Gray, "Markovian statistical data analysis of single-event upsets triggered by high intensity neutrons," in Proc. 38th IEEE Southeastern Symp. Syst. Theory, 2006, pp. 349-353.
19. A. V. Lakdawala, "A Markovian statistical analysis of single-event upsets on closed-loop flight control systems," M.S. thesis, Dept. Elect. Comput. Eng., Old Dominion Univ., Norfolk, VA, 2006.
20. O. L. V. Costa and M. D. Fragoso, "Stability results for discrete-time linear systems with Markovian jumping parameters," J. Math. Anal. Appl., vol. 179, pp. 154-178, 1993.
21. Q. Ling and M. D. Lemmon, "Soft real-time scheduling of networked control systems with dropouts governed by a Markov chain," in Proc. Amer. Control Conf., 2003, pp. 4845-4850.
22. ∞-control of discrete-time Markovian jump linear systems," IEEE Trans. Autom. Control, vol. 43, no. 1, pp. 95-100, Jan. 1998.
23. J. B. R. do Val and E. F. Costa, "Numerical solution for linear-quadratic control problems of Markov jump linear systems and weak detectability concept," J. Optim. Theory Appl., vol. 114, no. 1, pp. 69-96,2002.
24. C. Ünsal, "Intelligent navigation of autonomous vehicles in an automated highway system: Learning methods and interacting vehicles approach," Ph.D. dissertation, The Bradley Dept. Elect. Comput. Eng., Virginia Polytech. Inst. State Univ., Blacksburg, 1997.
25. A.A. Lorenz, Stochastic Automata: Constructive Theory. NewYork: Wiley, 1974, translated from Russian by D. Louvish.
26. J. T. Tou, "Stochastic automata and discrete systems theory," in Applied Automata Theory, J. T. Tou, Ed. New York: Academic, 1968, pp. 55-80.
27. J. Lunze and B. Nixdorf, "Representation of hybrid systems by means of stochastic automata," Math. Comput. Model. Dyn. Syst., vol. 7, no. 4,pp.383-422,2001.
28. S. Patilkulkarni, H. Herencia-Zapana, W. S. Gray, and O. R. González, "On the stability of jump-linear systems driven by finite-state machines with Markovian inputs," in Proc. Amer. Control Conf., 2004, pp.2534-2539.
29. S. Patilkulkarni, "Stability analysis of jump-linear systems driven by finite-state machines with Markovian inputs," Ph.D. dissertation, Dept. Elect. Comput. Eng., Old Dominion Univ., Norfolk, VA, 2004.
30. K. Horbacz, "Random dynamical systems with jumps," J. Appl. Prob. vol. 41, no. 3, pp. 890-910, 2004.
31. A. Tejada, O. R. González, and W. S. Gray, "On the Markov property for nonlinear discrete-time systems with Markovian inputs," in Proc. Amer. Control Conf., 2006, pp. 899-904.
32. 2-control for discrete-time Markovian jump linear systems," Int. J. Control, vol. 73, no. 1, pp. 11-21, 2000.
33. E. F. Hogge, "B-737 linear autoland Simulink model," NASA, Langley Research Center, Hampton, VA, Tech. Rep. CR-2004-213021, 2004.
34. H. Zhang, "Performance analysis of recoverable flight control systems subject to neutron-induced upsets using hybrid dynamical models," Ph.D. dissertation, Dept. Elect. Comput. Eng., Old Dominion Univ., Norfolk, VA, 2006.
35. T. Kailath, Linear Systems. Englewood Cliffs, NJ: Prentice-Hall, 1980.
36. A. Tejada, "Analysis of error recovery effects on digital flight control systems," M.S. thesis, Dept. Elect. Comput. Eng., Old Dominion Univ., Norfolk, VA, 2002.
37. D. M. Hawkins, Identification of Outliers. London, UK.: Chapman & Hall, 1980.