Generation of LFRs for a Nonlinear Controller and Closed-Loop Aircraft Models
Iterative Learning Identification with Bias Compensation for Stochastic Linear Time-Varying Systems
Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre