Model Predictive Control from Signal Temporal Logic Specifications: A Case Study (Work in Progress)
Vasumathi Raman, Mehdi Maasoumy, Alexandre Donzé · 2014
This paper describes current work on framing the model pre-dictive 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 un-certain 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.