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 条
  • [41] 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,
  • [42] 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
  • [43] 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
  • [44] 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
  • [45] Robust control for signal temporal logic specifications using discrete average space robustness
    Lindemann, Lars
    Dimarogonas, Dimos V.
    AUTOMATICA, 2019, 101 : 377 - 387
  • [46] 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
  • [47] 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
  • [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] 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
  • [50] 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
12345