Performance Analysis of Digital Flight Control Systems With Rollback Error Recovery Subject to Simulated Neutron-Induced Upsets

2008/01/01 by Hong Zhang, W. Steven Gray, Oscar R. Gonzalez +1
Engineering · #Fault Detection and Control Systems #Radiation Effects in Electronics #Reliability and Maintenance Optimization

paper · doi:10.1109/tcst.2007.903079

openalex publication_date 2008/01/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/29

Abstract

This paper introduces a class of stochastic hybrid models for the analysis of closed-loop control systems implemented with NASA's Recoverable Computer System (RCS). Such systems have been proposed to ensure reliable control performance in harsh environments. The stochastic hybrid model consists of a stochastic finite-state automaton driven by a Markov input process, which in turn drives a switched linear discrete-time dynamical system. Stability and output tracking performance are analyzed using an extension of the existing theory for Markov jump-linear systems. The theory is then applied to predict the tracking error performance of a Boeing 737 at cruising altitude and in closed-loop with an RCS subject to neutron-induced single-event upsets. The results are validated using experimental data obtained from a simulated neutron environment in NASA's SAFETI Laboratory.

Related

• A Stochastic Compound Failure Model for Testing Resilience of Autonomous Fixed-Wing Aircraft I: Formulation and Simulation
• Reduction Methods on Probabilistic Control-flow Programs for Reliability\n Analysis
• Learning Disturbances Online for Risk-Aware Control: Risk-Aware Flight with Less Than One Minute of Data
• Stochastic Formal Methods: An application to accuracy of numeric software
• Stochastic High Fidelity Autonomous Fixed Wing Aircraft Flight Simulator