Published March 28, 2017
| Submitted
Discussion Paper
Open
Model Predictive Control for Signal Temporal Logic Specification
Chicago
An error occurred while generating the citation.
Abstract
We present a mathematical programming-based method for model predictive control of cyber-physical systems subject to signal temporal logic (STL) specifications. We describe the use of STL to specify a wide range of properties of these systems, including safety, response and bounded liveness. For synthesis, we encode STL specifications as mixed integer-linear constraints on the system variables in the optimization problem at each step of a receding horizon control framework. We prove correctness of our algorithms, and present experimental results for controller synthesis for building energy and climate control.
Additional Information
This work was supported in part by TerraSwarm, one of six centers of STARnet, a Semiconductor Research Corporation program sponsored by MARCO and DARPA.Attached Files
Submitted - 1703.09563.pdf
Files
1703.09563.pdf
Files
(2.6 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:29ecb51e496b52abd61c55da4c496119
|
2.6 MB | Preview Download |
Additional details
- Eprint ID
- 94630
- Resolver ID
- CaltechAUTHORS:20190410-120622960
- TerraSwarm
- STARnet
- Semiconductor Research Corporation
- Microelectronics Advanced Research Corporation (MARCO)
- Defense Advanced Research Projects Agency (DARPA)
- Created
-
2019-04-11Created from EPrint's datestamp field
- Updated
-
2023-06-02Created from EPrint's last_modified field