Closed loop analysis of control command software

Pierre Roux (1) , Romain Jobredeaux (2) , Pierre-Loïc Garoche (1)

1 ONERA - The French Aerospace Lab [Toulouse]
2 Georgia Institute of Technology [Atlanta]

Recent work addressing the stability analysis of controllers at code level has been mainly focused on the controller alone. However, most of the properties of interest of control software lie in how they interact with their environment. We introduce an extension of the analysis framework to reason on the stability of closed loop systems, i.e., controllers along with a model of their physical environment, the plant. The proposed approach focuses on the closed loop stability of discrete linear control systems with saturations, interacting with a discrete linear plant. The analysis is performed in the state space domain using Lyapunov-based quadratic invariants. We specifically address the automatic synthesis of such invariants and the treatment of floating-point imprecision.

Mots clés: STABILITE; BOUCLE FERMEE; EQUATION

Domaines: Logique en informatique [cs.LO]

Pierre Roux, Romain Jobredeaux, Pierre-Loïc Garoche. Closed loop analysis of control command software. 18th International Conference on Hybrid Systems: Computation and Control - HSCC 2015, Apr 2015, SEATTLE, United States. ⟨10.1145/2728606.2728623⟩. ⟨hal-01521987⟩