Published April 2014
| public
Book Section - Chapter
Model predictive control from signal temporal logic specifications: a case study
Abstract
This paper describes current work on framing the model predictive control (MPC) of cyber-physical systems as synthesis from signal temporal logic (STL) specifications. We provide a case study using a simplified power grid model with uncertain demand and generation; the model-predictive control problem here is that of the ancillary service power flow from the buildings. We show how various relevant constraints can be captured using STL formulas, and incorporated into an MPC framework. We also provide preliminary simulation results to illustrate the promise of the proposed approach.
Additional Information
© 2014 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.Additional details
- Eprint ID
- 72753
- DOI
- 10.1145/2593458.2593472
- Resolver ID
- CaltechAUTHORS:20161212-173711683
- TerraSwarm
- Microelectronics Advanced Research Corporation (MARCO)
- Defense Advanced Research Projects Agency (DARPA)
- Created
-
2016-12-13Created from EPrint's datestamp field
- Updated
-
2021-11-11Created from EPrint's last_modified field