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 条
  • [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] 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
  • [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] 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
  • [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] Distributed implementations of global temporal logic motion specifications
    Kloetzer, Marius
    Bella, Calin
    2008 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS 1-9, 2008, : 393 - 398
  • [39] Testing parallel and distributed programs with temporal logic specifications
    Frey, M
    Oberhuber, M
    SECOND INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 1997, : 62 - 72
  • [40] 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
12345