Reactive synthesis from signal temporal logic specifications
Proceedings of the 18th international conference on hybrid systems …, 2015•dl.acm.org
We present a counterexample-guided inductive synthesis approach to controller synthesis
for cyber-physical systems subject to signal temporal logic (STL) specifications, operating in
potentially adversarial nondeterministic environments. We encode STL specifications as
mixed integer-linear constraints on the variables of a discrete-time model of the system and
environment dynamics, and solve a series of optimization problems to yield a satisfying
control sequence. We demonstrate how the scheme can be used in a receding horizon …
for cyber-physical systems subject to signal temporal logic (STL) specifications, operating in
potentially adversarial nondeterministic environments. We encode STL specifications as
mixed integer-linear constraints on the variables of a discrete-time model of the system and
environment dynamics, and solve a series of optimization problems to yield a satisfying
control sequence. We demonstrate how the scheme can be used in a receding horizon …
We present a counterexample-guided inductive synthesis approach to controller synthesis for cyber-physical systems subject to signal temporal logic (STL) specifications, operating in potentially adversarial nondeterministic environments. We encode STL specifications as mixed integer-linear constraints on the variables of a discrete-time model of the system and environment dynamics, and solve a series of optimization problems to yield a satisfying control sequence. We demonstrate how the scheme can be used in a receding horizon fashion to fulfill properties over unbounded horizons, and present experimental results for reactive controller synthesis for case studies in building climate control and autonomous driving.
ACM Digital Library以上显示的是最相近的搜索结果。 查看全部搜索结果