CaltechAUTHORS
  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. https://resolver.caltech.edu/CaltechAUTHORS:20150514-135540768

[img] PDF - Submitted Version
See Usage Policy.

925Kb

Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechAUTHORS:20150514-135540768

Abstract

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
http://dx.doi.org/10.1145/2728606.2728628DOIArticle
http://dl.acm.org/citation.cfm?doid=2728606.2728628PublisherArticle
ORCID:
AuthorORCID
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.
Funders:
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
NSFCCF-1116993
TerraSwarmUNSPECIFIED
Record Number:CaltechAUTHORS:20150514-135540768
Persistent URL:https://resolver.caltech.edu/CaltechAUTHORS:20150514-135540768
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:57535
Collection:CaltechAUTHORS
Deposited By: Tony Diaz
Deposited On:14 May 2015 21:37
Last Modified:03 Oct 2019 08:26

Repository Staff Only: item control page