Extending Signal Temporal Logic Specifications for Distributed Model Predictive Control

被引：0
|
作者：
Zhang Linli [1 ,2 ]
Li Dewei [1 ,2 ]
Xi Yugeng [1 ,2 ]
Li Jiwei [1 ,2 ]
机构：
[1] Shanghai Jiao Tong Univ, Dept Automat, Shanghai 200240, Peoples R China
[2] Minist Educ, Key Lab Syst Control & Informat Proc, Shanghai 200240, Peoples R China
来源：
2017 11TH ASIAN CONTROL CONFERENCE (ASCC) | 2017年
基金：
美国国家科学基金会;
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In recent years, model predictive control with signal temporal logic (STL) propositions serving as the constraints has become an emerging research area. In this paper, we extend STL to specify the behaviors of both controlled systems and controllers in the distributed model predictive control (DMPC) framework. The proposed design aims to specify desired properties and satisfy correctness requirements. To obtain optimal controllers and expected properties, we encode an auto-programming to combine the system dynamics and the STL constraints into a mixed-integer linear/quadratic programming (MILP/MIQP) optimization problem. What's more, the experimental results for controllers of multi-tank liquid-level control systems are presented to verify the correctness of this procedure.
引用
下载
收藏
页码：911 / 916
页数：6
相关论文
共 50 条
  • [1] Distributed Model Predictive Control for Probabilistic Signal Temporal Logic Specifications
    Yang, Tiange
    Zou, Yuanyuan
    Li, Shaoyuan
    Yang, Yaru
    [J]. IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2023, : 1 - 11
  • [2] Model Predictive Control with Signal Temporal Logic Specifications
    Raman, Vasumathi
    Donze, Alexandre
    Maasoumy, Mehdi
    Murray, Richard M.
    Sangiovanni-Vincentelli, Alberto
    Seshia, Sanjit A.
    [J]. 2014 IEEE 53RD ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2014, : 81 - 87
  • [3] Model Predictive Control with Variational Autoencoders for Signal Temporal Logic Specifications
    Im, Eunji
    Choi, Minji
    Cho, Kyunghoon
    [J]. SENSORS, 2024, 24 (14)
  • [4] Model Predictive Control for Signal Temporal Logic Specifications with Time Interval Decomposition
    Yu, Xinyi
    Wang, Chuwei
    Yuan, Dingran
    Li, Shaoyuan
    Yin, Xiang
    [J]. 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
    [J]. 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
    [J]. 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
    [J]. AUTOMATICA, 2024, 160
  • [8] Shrinking Horizon Model Predictive Control with Chance-Constrained Signal Temporal Logic Specifications
    Farahani, Samira S.
    Majumdar, Rupak
    Prabhu, Vinayak S.
    Soudjani, Sadegh Esmaeil Zadeh
    [J]. 2017 AMERICAN CONTROL CONFERENCE (ACC), 2017, : 1740 - 1746
  • [9] Model Predictive Control for Systems with Partially Unknown Dynamics under Signal Temporal Logic Specifications
    Dai, Zhao Feng
    Pant, Yash Vardhan
    Smith, Stephen L.
    [J]. IEEE Control Systems Letters, 2024, 8 : 2931 - 2936
  • [10] Barrier Function-based Model Predictive Control under Signal Temporal Logic Specifications
    Charitidou, Maria
    Dimarogonas, Dimos, V
    [J]. 2021 EUROPEAN CONTROL CONFERENCE (ECC), 2021, : 734 - 739
12345