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 条
  • [31] Signal temporal logic synthesis under Model Predictive Control: A low complexity approach
    Yang, Tiange
    Zou, Yuanyuan
    Li, Shaoyuan
    Yin, Xiang
    Jia, Tianyu
    CONTROL ENGINEERING PRACTICE, 2024, 143
  • [32] Online control synthesis for uncertain systems under signal temporal logic specifications
    Yu, Pian
    Gao, Yulong
    Jiang, Frank J.
    Johansson, Karl H.
    Dimarogonas, Dimos V.
    INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH, 2024, 43 (06): : 765 - 790
  • [33] Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics
    Haghighi, Iman
    Mehdipour, Noushin
    Bartocci, Ezio
    Belta, Calin
    2019 IEEE 58TH CONFERENCE ON DECISION AND CONTROL (CDC), 2019, : 4361 - 4366
  • [34] Control Synthesis using Signal Temporal Logic Specifications with Integral and Derivative Predicates
    Buyukkocak, Ali Tevfik
    Aksaray, Derya
    Yazicioglu, Yasin
    2021 AMERICAN CONTROL CONFERENCE (ACC), 2021, : 4873 - 4878
  • [35] Reachability-based Control Synthesis under Signal Temporal Logic Specifications
    Ren, Wei
    Jungers, Raphael
    2022 AMERICAN CONTROL CONFERENCE, ACC, 2022, : 2078 - 2083
  • [36] Control Barrier Functions with Actuation Constraints under Signal Temporal Logic Specifications
    Buyukkocak, Ali Tevfik
    Aksaray, Derya
    Yazicioglu, Yasin
    2022 EUROPEAN CONTROL CONFERENCE (ECC), 2022, : 162 - 168
  • [37] Online Monitoring of Dynamic Systems for Signal Temporal Logic Specifications with Model Information
    Yu, Xinyi
    Dong, Weijie
    Yin, Xiang
    Li, Shaoyuan
    2022 IEEE 61ST CONFERENCE ON DECISION AND CONTROL (CDC), 2022, : 1553 - 1559
  • [38] Mining signal temporal logic specifications for hybrid systems
    Nicoletti, Daniele
    Germiniani, Samuele
    Pravadelli, Graziano
    2024 FORUM ON SPECIFICATION & DESIGN LANGUAGES, FDL 2024, 2024, : 1 - 8
  • [39] Shrinking Horizon Model Predictive Control With Signal Temporal Logic Constraints Under Stochastic Disturbances
    Farahani, Samira S.
    Majumdar, Rupak
    Prabhu, Vinayak S.
    Soudjani, Sadegh
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2019, 64 (08) : 3324 - 3331
  • [40] A Program Logic to Verify Signal Temporal Logic Specifications of Hybrid Systems
    Ahmad, Hammad
    Jeannin, Jean-Baptiste
    HSCC2021: PROCEEDINGS OF THE 24TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (PART OF CPS-IOT WEEK), 2021,
12345