Skip to Main content Skip to Navigation
Journal articles

Compositional abstraction refinement for control synthesis

Abstract : 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 its reachable sets. Given an initial coarse partition of the state space, the control specification is given as a sequence of the cells of this partition to visit at each sampling time. The dynamics are decomposed into subsystems where some states and inputs are not observed, some states are observed but not controlled and where assume-guarantee obligations are used on the uncontrolled states of each subsystem. A finite abstraction is created for each subsystem through a refinement procedure starting from a coarse partition of the state space, then proceeding backwards on the specification sequence to iteratively split the elements of the partition whose coarseness prevents the satisfaction of the specification. Each refined abstraction is associated with a controller and it is proved that combining these local controllers can enforce the specification on the original system. The efficiency of the proposed approach compared to other abstraction methods is illustrated in a numerical example.
Document type :
Journal articles
Complete list of metadatas

Cited literature [45 references]  Display  Hide  Download
Contributor : Pierre-Jean Meyer <>
Submitted on : Saturday, December 23, 2017 - 1:27:25 AM
Last modification on : Friday, April 19, 2019 - 8:08:01 PM
Document(s) archivé(s) le : Saturday, March 24, 2018 - 12:20:25 PM


Files produced by the author(s)



Pierre-Jean Meyer, Dimos Dimarogonas. Compositional abstraction refinement for control synthesis. Nonlinear Analysis: Hybrid Systems, Elsevier, 2017, 27, pp.437 - 451. ⟨10.1016/j.nahs.2017.10.006⟩. ⟨hal-01672059⟩



Record views


Files downloads