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 条
  • [1] Distributed Model Predictive Control for Probabilistic Signal Temporal Logic Specifications
    Yang, Tiange
    Zou, Yuanyuan
    Li, Shaoyuan
    Yang, Yaru
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2024, 21 (04) : 6239 - 6249
  • [2] Model Predictive Control with Variational Autoencoders for Signal Temporal Logic Specifications
    Im, Eunji
    Choi, Minji
    Cho, Kyunghoon
    SENSORS, 2024, 24 (14)
  • [3] Extending Signal Temporal Logic Specifications for Distributed Model Predictive Control
    Zhang Linli
    Li Dewei
    Xi Yugeng
    Li Jiwei
    2017 11TH ASIAN CONTROL CONFERENCE (ASCC), 2017, : 911 - 916
  • [4] Model Predictive Control for Signal Temporal Logic Specifications with Time Interval Decomposition
    Yu, Xinyi
    Wang, Chuwei
    Yuan, Dingran
    Li, Shaoyuan
    Yin, Xiang
    2023 62ND IEEE CONFERENCE ON DECISION AND CONTROL, CDC, 2023, : 7849 - 7855
  • [5] Model Predictive Control of glucose concentration based on Signal Temporal Logic specifications
    Cairoli, Francesca
    Fenu, Gianfranco
    Pellegrino, Felice Andrea
    Salvato, Erica
    2019 6TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT 2019), 2019, : 714 - 719
  • [6] Learning-Based Model Predictive Control under Signal Temporal Logic Specifications
    Cho, Kyunghoon
    Oh, Songhwai
    2018 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2018, : 7322 - 7329
  • [7] Model predictive monitoring of dynamical systems for signal temporal logic specifications
    Yu, Xinyi
    Dong, Weijie
    Li, Shaoyuan
    Yin, Xiang
    AUTOMATICA, 2024, 160
  • [8] Model Predictive Control for Systems With Partially Unknown Dynamics Under Signal Temporal Logic Specifications
    Dai, Zhao Feng
    Pant, Yash Vardhan
    Smith, Stephen L.
    IEEE CONTROL SYSTEMS LETTERS, 2024, 8 : 2931 - 2936
  • [9] Shrinking Horizon Model Predictive Control with Chance-Constrained Signal Temporal Logic Specifications
    Farahani, Samira S.
    Majumdar, Rupak
    Prabhu, Vinayak S.
    Soudjani, Sadegh Esmaeil Zadeh
    2017 AMERICAN CONTROL CONFERENCE (ACC), 2017, : 1740 - 1746
  • [10] Barrier Function-based Model Predictive Control under Signal Temporal Logic Specifications
    Charitidou, Maria
    Dimarogonas, Dimos, V
    2021 EUROPEAN CONTROL CONFERENCE (ECC), 2021, : 734 - 739
12345