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 条
  • [41] Safe Model-based Control from Signal Temporal Logic Specifications Using Recurrent Neural Networks
    Liu, Wenliang
    Nishioka, Mirai
    Belta, Calin
    2023 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA 2023), 2023, : 12416 - 12422
  • [42] Funnel control for fully actuated systems under a fragment of signal temporal logic specifications
    Lindemann, Lars
    Dimarogonas, Dimos V.
    NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2021, 39
  • [43] Control Barrier Functions for Nonholonomic Systems under Risk Signal Temporal Logic Specifications
    Lindemann, Lars
    Pappas, George J.
    Dimarogonas, Dimos, V
    2020 59TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2020, : 1422 - 1428
  • [44] Robust control for signal temporal logic specifications using discrete average space robustness
    Lindemann, Lars
    Dimarogonas, Dimos V.
    AUTOMATICA, 2019, 101 : 377 - 387
  • [45] Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications
    Mehdipour, Noushin
    Vasile, Cristian-Ioan
    Belta, Calin
    2019 AMERICAN CONTROL CONFERENCE (ACC), 2019, : 1690 - 1695
  • [46] Continuous-Time Control Synthesis Under Nested Signal Temporal Logic Specifications
    Yu, Pian
    Tan, Xiao
    Dimarogonas, Dimos V.
    IEEE TRANSACTIONS ON ROBOTICS, 2024, 40 : 2272 - 2286
  • [47] Mission Planning and Control of Multi-Aircraft Systems With Signal Temporal Logic Specifications
    Baspinar, Baris
    Balakrishnan, Hamsa
    Koyuncu, Emre
    IEEE ACCESS, 2019, 7 : 155941 - 155950
  • [48] Receding Horizon Control for Temporal Logic Specifications
    Wongpiromsarn, Tichakorn
    Topcu, Ufuk
    Murray, Richard M.
    HSSC 10: PROCEEDINGS OF THE 13TH ACM INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2010, : 101 - 110
  • [49] Control in Belief Space with Temporal Logic Specifications
    Vasile, Cristian-Ioan
    Leahy, Kevin
    Cristofalo, Eric
    Jones, Austin
    Schwager, Mac
    Belta, Calin
    2016 IEEE 55TH CONFERENCE ON DECISION AND CONTROL (CDC), 2016, : 7419 - 7424
  • [50] Temporal Robustness of Temporal Logic Specifications: Analysis and Control Design
    Rodionova, Alena
    Lindemann, Lars
    Morari, Manfred
    Pappas, George
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2023, 22 (01)
12345