92 citations · 213 across the 11 of their papers we have counts for
3 papers · 1 filter
Compositional abstraction refinement for control synthesis
Pierre-Jean Meyer, Dimos V. Dimarogonas
This paper presents a compositional approach to specification-guided abstraction refinement for control synthesis of a nonlinear system associated with a method to over-approximate…
Hierarchical decomposition of LTL synthesis problem for nonlinear control systems
Pierre-Jean Meyer, Dimos V. Dimarogonas
This paper deals with the control synthesis problem for a continuous nonlinear dynamical system under a Linear Temporal Logic (LTL) formula. The proposed solution is a top-down hie…
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…