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 under lasso-shaped specifications
2017
2017 American Control Conference (ACC)
This paper presents a compositional approach to specification-guided abstraction refinement for control synthesis of a nonlinear system associated with a method to overapproximate its reachable sets. The control specification consists in following a lasso-shaped sequence of regions of the state space. The dynamics are decomposed into subsystems with partial control, partial state observation and possible overlaps between their respective observed state spaces. A finite abstraction is created
doi:10.23919/acc.2017.7963006
dblp:conf/amcc/MeyerD17
fatcat:ynwxdm5zjnbaxoapdpeedoou4a