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 条
  • [41] Control Barrier Function Based Quadratic Programs for Safety Critical Systems
    Ames, Aaron D.
    Xu, Xiangru
    Grizzle, Jessy W.
    Tabuada, Paulo
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2017, 62 (08) : 3861 - 3876
  • [42] Spatial Functions for Modeling and Analysis of Safety-Critical Systems of Systems
    Lanier, Benjamin
    Petnga, Leonard
    2019 14TH ANNUAL CONFERENCE SYSTEM OF SYSTEMS ENGINEERING (SOSE), 2019, : 352 - 357
  • [43] Safety Barrier Certificates for Path Integral Control: Safety-Critical Control of Quadrotors
    Jin, Tao
    Di, Jian
    Wang, Xinghu
    Ji, Haibo
    IEEE ROBOTICS AND AUTOMATION LETTERS, 2023, 8 (09) : 6006 - 6012
  • [44] Sim: A Contract-Based Programming Language for Safety-Critical Software
    Benoit, Tuur
    2019 IEEE/AIAA 38TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2019,
  • [45] Developing requirements management tool for safety-critical systems
    Kildishev, Denis
    Khoroshilov, Alexey
    2019 ACTUAL PROBLEMS OF SYSTEMS AND SOFTWARE ENGINEERING (APSSE 2019), 2019, : 50 - 57
  • [46] Model checking safety-critical systems using safecharts
    Hsiung, Pao-Ann
    Chen, Yean-Ru
    Lin, Yen-Hung
    IEEE TRANSACTIONS ON COMPUTERS, 2007, 56 (05) : 692 - 705
  • [47] Specifying safety-critical systems with a decidable duration logic
    Konur, Savas
    SCIENCE OF COMPUTER PROGRAMMING, 2014, 80 : 264 - 287
  • [48] Utilising Redundancy to Enhance Security of Safety-Critical Systems
    Troubitsyna, Elena
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2023 WORKSHOPS, 2023, 14182 : 188 - 196
  • [49] A variability modeling and transformation approach for safety-critical systems
    Bressan, Lucas
    de Oliveira, Andre L.
    Campos, Fernanda C.
    Capilla, Rafael
    PROCEEDINGS OF 15TH INTERNATIONAL WORKING CONFERENCE ON VARIABILITY MODELLING OF SOFTWARE-INTENSIVE SYSTEMS, VAMOS 2021, 2021,
  • [50] Safety-Critical Systems and Agile Development: A Mapping Study
    Kasauli, Rashidah
    Knauss, Eric
    Kanagwa, Benjamin
    Nilsson, Agneta
    Calikli, Gul
    44TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2018), 2018, : 470 - 477