A Caltech Library Service

Reactive Synthesis from Signal Temporal Logic Specifications

Raman, Vasumathi and Donzé, Alexandre and Sadigh, Dorsa and Murray, Richard M. and Seshia, Sanjit A. (2015) Reactive Synthesis from Signal Temporal Logic Specifications. In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control. Association for Computing Machinery , New York, NY, pp. 239-248. ISBN 978-1-4503-3433-4.

[img] PDF - Submitted Version
See Usage Policy.


Use this Persistent URL to link to this item:


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.

Item Type:Book Section
Related URLs:
URLURL TypeDescription
Murray, Richard M.0000-0002-5785-7481
Additional Information:© 2015 ACM. This work was supported in part by TerraSwarm, one of six centers of STARnet, a Semiconductor Research Corporation program sponsored by MARCO and DARPA, by an NDSEG Fellowship, and by NSF grant # CCF-1116993.
Funding AgencyGrant Number
Semiconductor Research CorporationUNSPECIFIED
Microelectronics Advanced Research Corporation (MARCO)UNSPECIFIED
Defense Advanced Research Projects Agency (DARPA)UNSPECIFIED
National Defense Science and Engineering Graduate (NDSEG) FellowshipUNSPECIFIED
Record Number:CaltechAUTHORS:20150514-135540768
Persistent URL:
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:57535
Deposited By: Tony Diaz
Deposited On:14 May 2015 21:37
Last Modified:03 Oct 2019 08:26

Repository Staff Only: item control page