Browse wiki

From MurrayWiki
Jump to: navigation, search
Reactive Synthesis from Signal Temporal Logic Specifications
Abstract We present a counterexample-guided inducti …
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.
ng climate control and autonomous driving.  +
Authors Vasumathi Raman, Alexandre Donze, Dorsa Sadigh, Richard M. Murray and Sanjit A. Seshia  +
Flags NCS  +
Funding The TerraSwarm Research Center +
ID 2014j  +
Source 2015 International Conference on Hybrid Systems: Computation and Control (HSCC)  +
Tag ram+15-hscc  +
Title Reactive Synthesis from Signal Temporal Logic Specifications +
Type Conference Paper  +
Categories Papers
Modification date
This property is a special property in this wiki.
10 June 2016 06:07:10  +
URL
This property is a special property in this wiki.
http://www.cds.caltech.edu/~murray/preprints/ram+15-hscc.pdf  +
hide properties that link here 
Reactive Synthesis from Signal Temporal Logic Specifications + Title
 

 

Enter the name of the page to start browsing from.