Probabilistic occupancy counts and flight criticality measures for ATMFrançois GonzeAndrea Simonettoet al.2017ATM 2017
On complexity of Lyapunov functions for switched linear systemsAmir Ali AhmadiRaphaël M. Jungers2014IFAC 2014
Joint spectral radius and path-complete graph Lyapunov functionsAmir Ali AhmadiRaphaël M. Jungerset al.2014SICON
Switched stability of nonlinear systems via SOS-convex Lyapunov functions and semidefinite programmingAmir Ali AhmadiRaphaël M. Jungers2013CDC 2013