Assessment of Aircraft Flight Controllers Using Nonlinear Robustness Analysis Techniques
RECOVER: A Benchmark for Integrated Fault Tolerant Flight Control Evaluation
Validation and Verification (V&V) of Safety-Critical Systems Operating under Off-Nominal Conditions
Worst-Case Parameter Search Based Clearance Using Parallel Nonlinear Programming Methods
Detection and Isolation of Actuator/Surface Faults for a Large Transport Aircraft
From Design to Implementation: An Automated, Credible Autocoding Chain for Control Systems