A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Compositional abstraction refinement for control synthesis
2018
Nonlinear Analysis. Hybrid Systems
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
doi:10.1016/j.nahs.2017.10.006
fatcat:tuxjur5ngbcqzb64nk6hict2n4