92 citations · 150 across the 14 of their papers we have counts for
19 papers
Data-Driven Formal Methods for Complex Dynamical Systems: A Survey
Behrad Samari, Alessandro Abate, Antoine Girard +3
Data-driven approaches with formal guarantees have recently emerged as a powerful means for the verification and controller synthesis of complex dynamical systems. Interest in thes…
Symbolic Models for a Class of Impulsive Systems
Abdalla Swikir, Antoine Girard, Majid Zamani
Symbolic models have been used as the basis of a systematic framework to address control design of several classes of hybrid systems with sophisticated control objectives. However,…
Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach
Adnane Saoud, Pushpak Jagtap, Majid Zamani +1
In this paper, we focus on mitigating the computational complexity in abstraction-based controller synthesis for interconnected control systems. To do so, we provide a compositiona…
From dissipativity theory to compositional synthesis of symbolic models
Abdalla Swikir, Antoine Girard, Majid Zamani
In this work, we introduce a compositional framework for the construction of finite abstractions (a.k.a. symbolic models) of interconnected discrete-time control systems. The compo…
Stability analysis of a general class of singularly perturbed linear hybrid systems
Jihene Ben Rejeb, Irinel-Constantin Morărescu, Antoine Girard +1
Motivated by a real problem in steel production, we introduce and analyze a general class of singularly perturbed linear hybrid systems with both switches and impulses, in which th…
Compositional abstraction and safety synthesis using overlapping symbolic models
Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant
In this paper, we develop a compositional approach to abstraction and safety synthesis for a general class of discrete time nonlinear systems. Our approach makes it possible to def…