Quadratic Programming for Continuous Control of Safety-Critical Multiagent Systems Under Uncertainty

被引:5
|
作者
Wu, Si [1 ]
Liu, Tengfei [1 ]
Egerstedt, Magnus [2 ]
Jiang, Zhong-Ping [3 ]
机构
[1] Northeastern Univ, State Key Lab Synthet Automat Proc Ind, Shenyang 110004, Peoples R China
[2] Univ Calif Irvine, Samueli Sch Engn, Irvine, CA 92697 USA
[3] NYU, Dept Elect & Comp Engn, Brooklyn, NY 11201 USA
基金
美国国家科学基金会; 中国国家自然科学基金;
关键词
Feasible-set reshaping; quadratic programming (QP); safety-critical systems; small-gain synthesis; uncertain actuator dynamics; NONSMOOTH BARRIER FUNCTIONS; COLLISION-AVOIDANCE; STATE; STABILIZATION; INPUT; STABILITY; THEOREM;
D O I
10.1109/TAC.2023.3244745
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
This article studies the control problem for safety-critical multiagent systems based on quadratic programming (QP). Each controlled agent is modeled as a cascade connection of an integrator and an uncertain non-linear actuation system. In particular, the integrator represents the position-velocity relation, and the actuation system describes the dynamic response of the actual velocity to the velocity reference signal. The notion of inputto-output stability is employed to characterize the essential velocity-tracking capability of the actuation system. The standard QP algorithms for collision avoidance may be infeasible due to uncertain actuator dynamics. Even if feasible, the solutions may be non-Lipschitz because of possible violation of the full rank condition of the active constraints. Also, the interaction between the controlled integrator and the uncertain actuator dynamics may lead to significant robustness issues. Based on the current development of nonlinear control theory and numerical optimization methods, this article first contributes a new feasible-set reshaping technique and a refined QP algorithm for feasibility, robustness, and local Lipschitz continuity. Then, we present a nonlinear small-gain analysis to handle the inherent interaction for guaranteed safety of the closed-loop multiagent system. The proposed method is illustrated by numerical simulation and a physical experiment.
引用
收藏
页码:6664 / 6679
页数:16
相关论文
共 50 条
  • [21] Optimal Safety-Critical Control of Epidemics
    Butler, Brooks A.
    Pare, Philip E.
    IEEE CONTROL SYSTEMS LETTERS, 2023, 7 : 1819 - 1824
  • [22] A framework for safety automation of safety-critical systems operations
    Acharyulu, P. V. Srinivas
    Seetharamaiah, P.
    SAFETY SCIENCE, 2015, 77 : 133 - 142
  • [23] Disturbance Observers for Robust Safety-Critical Control With Control Barrier Functions
    Alan, Anil
    Molnar, Tamas G.
    Das, Ersin
    Ames, Aaron D.
    Orosz, Gabor
    IEEE CONTROL SYSTEMS LETTERS, 2023, 7 : 1123 - 1128
  • [24] I&I adaptive fault-tolerant safe control of safety-critical systems
    Zhang, Min
    Liu, Xiangbin
    Su, Hongye
    JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 2023, 360 (18): : 14222 - 14236
  • [25] Control Safety Function for Explicit Safety-Critical Control of Autonomous Vehicles
    Kim, Dongyoon
    Yang, Sen
    Zou, Wenjun
    Shuai, Bin
    Zhang, Dezhao
    Zhang, Fang
    Liu, Chang
    Li, Shengbo Eben
    2024 35TH IEEE INTELLIGENT VEHICLES SYMPOSIUM, IEEE IV 2024, 2024, : 843 - 850
  • [26] ANALYSIS OF TIMELINESS REQUIREMENTS IN SAFETY-CRITICAL SYSTEMS
    DELEMOS, R
    SAEED, A
    ANDERSON, T
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 571 : 171 - 192
  • [27] Verifying a scheduling protocol of safety-critical systems
    Meng Wang
    Cong Tian
    Nan Zhang
    Zhenhua Duan
    Hongwei Du
    Journal of Combinatorial Optimization, 2019, 37 : 1191 - 1215
  • [28] Gender, Sentiment and Emotions, and Safety-Critical Systems
    Carver, Jeffrey
    Capilla, Rafael
    Penzenstadler, Birgit
    Serebrenik, Alexander
    Valdezate, Alejandro
    IEEE SOFTWARE, 2018, 35 (06) : 16 - 19
  • [29] Predictable GPUWavefront Splitting for Safety-Critical Systems
    Klashtorny, Artem
    Wu, Zhuanhao
    Kaushik, Anirudh Mohan
    Patel, Hiren
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2023, 22 (05)
  • [30] Visualizing Change in Agile Safety-Critical Systems
    Cleland-Huang, Jane
    Agrawal, Ankit
    Vierhauser, Michael
    Mayr-Dorn, Christoph
    IEEE SOFTWARE, 2021, 38 (03) : 43 - 51