Model Predictive Control with Signal Temporal Logic Specifications

被引：0
|
作者：
Raman, Vasumathi [1 ]
Donze, Alexandre [2 ]
Maasoumy, Mehdi [2 ]
Murray, Richard M. [1 ]
Sangiovanni-Vincentelli, Alberto [2 ]
Seshia, Sanjit A. [2 ]
机构：
[1] CALTECH, Pasadena, CA 91125 USA
[2] Univ Calif Berkeley, Dept Elect Engn & Comp Sci, Berkeley, CA 94720 USA
来源：
2014 IEEE 53RD ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC) | 2014年
关键词：
SYSTEMS;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
We present a mathematical programming-based method for model predictive control of discrete-time cyberphysical 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 model predictive control framework. We present experimental results for controller synthesis for building energy and climate control.
引用
收藏
页码：81 / 87
页数：7
相关论文
共 50 条
  • [21] Model predictive control of stochastic hybrid systems with signal temporal logic constraints
    Yao, Yuhua
    Sun, Jitao
    Zhang, Yu
    AUTOMATICA, 2025, 173
  • [22] Symbolic Control of Hybrid Systems from Signal Temporal Logic Specifications
    Rafael Rodrigues da Silva
    Vince Kurtz
    Hai Lin
    Guidance,Navigation and Control, 2021, (02) : 64 - 88
  • [23] Control Design for Risk-Based Signal Temporal Logic Specifications
    Safaoui, Sleiman
    Lindemann, Lars
    Dimarogonas, Dimos, V
    Shames, Iman
    Summers, Tyler H.
    IEEE CONTROL SYSTEMS LETTERS, 2020, 4 (04): : 1000 - 1005
  • [24] Direct data-driven control with signal temporal logic specifications
    van Huijgevoort, B. C.
    Verhoek, C.
    Toth, R.
    Haesaert, S.
    IFAC PAPERSONLINE, 2024, 58 (11): : 177 - 182
  • [25] Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications
    Ho, Qi Heng
    Ilyes, Roland B.
    Sunberg, Zachary N.
    Lahijanian, Morteza
    2022 IEEE 61ST CONFERENCE ON DECISION AND CONTROL (CDC), 2022, : 3243 - 3249
  • [26] Model Predictive Robustness of Signal Temporal Logic Predicates
    Lin, Yuanfei
    Li, Haoxuan
    Althoff, Matthias
    IEEE ROBOTICS AND AUTOMATION LETTERS, 2023, 8 (12) : 8050 - 8057
  • [27] Active Learning of Signal Temporal Logic Specifications
    Linard, Alexis
    Tumova, Jana
    2020 IEEE 16TH INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 2020, : 779 - 785
  • [28] Survey on mining signal temporal logic specifications
    Bartocci, Ezio
    Mateis, Cristinel
    Nesterini, Eleonora
    Nickovic, Dejan
    INFORMATION AND COMPUTATION, 2022, 289
  • [29] Robust Temporal Logic Model Predictive Control
    Sadraddini, Sadra
    Belta, Calin
    2015 53RD ANNUAL ALLERTON CONFERENCE ON COMMUNICATION, CONTROL, AND COMPUTING (ALLERTON), 2015, : 772 - 779
  • [30] Robust Model Predictive Control with Signal Temporal Logic constraints for Barcelona Wastewater System
    Farahani, Samira S.
    Soudjani, Sadegh Esmaeil Zadeh
    Majumdar, Rupak
    Ocampo-Martinez, Carlos
    IFAC PAPERSONLINE, 2017, 50 (01): : 6594 - 6600
12345