An improved algorithm for the control synthesis of nonlinear sampled switched systems

Adrien Le Coënt (1) , Julien Alexandre Dit Sandretto (2) , Alexandre Chapoutot (2) , Laurent Fribourg (3)

1 CMLA - Centre de Mathématiques et de Leurs Applications
2 SFL - Sûreté et Fiabilité des Logiciels
3 MEXICO - Modeling and Exploitation of Interaction and Concurrency

Domaines: Analyse numérique [math.NA]; Systèmes et contrôle [cs.SY]

Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Laurent Fribourg. An improved algorithm for the control synthesis of nonlinear sampled switched systems. Formal Methods in System Design, 2018, 53 (3), pp.363-383. ⟨10.1007/s10703-017-0305-8⟩. ⟨hal-01399337v2⟩