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 条
  • [31] Challenges of Scaled Agile for Safety-Critical Systems
    Steghofer, Jan-Philipp
    Knauss, Eric
    Horkoff, Jennifer
    Wohlrab, Rebekka
    PRODUCT-FOCUSED SOFTWARE PROCESS IMPROVEMENT, PROFES 2019, 2019, 11915 : 350 - 366
  • [32] A Predictable Framework for Safety-Critical Embedded Systems
    Andalam, Sidharta
    Roop, Partha S.
    Girault, Alain
    Traulsen, Claus
    IEEE TRANSACTIONS ON COMPUTERS, 2014, 63 (07) : 1600 - 1612
  • [33] Verifying a scheduling protocol of safety-critical systems
    Wang, Meng
    Tian, Cong
    Zhang, Nan
    Duan, Zhenhua
    Du, Hongwei
    JOURNAL OF COMBINATORIAL OPTIMIZATION, 2019, 37 (04) : 1191 - 1215
  • [34] Are safety-critical systems really survivable to attacks?
    Silva, Helber
    Vieira, Marco
    Neto, Augusto
    2023 IEEE INTERNATIONAL SYSTEMS CONFERENCE, SYSCON, 2023,
  • [35] Reliability analysis of safety-critical and control systems: a state-of-the-art review
    Kumar, Vinay
    Singh, Lalit
    Tripathi, Anil K.
    IET SOFTWARE, 2018, 12 (01) : 1 - 18
  • [36] Safety-critical Traffic Control for Mixed Autonomy Systems with Input Delay and Disturbances
    Zhao, Chenguang
    Yu, Huan
    2023 62ND IEEE CONFERENCE ON DECISION AND CONTROL, CDC, 2023, : 1094 - 1099
  • [37] Safety-Critical Systems: The Next Generation INTRODUCTION
    Bloomfield, Robin
    Lala, Jay
    IEEE SECURITY & PRIVACY, 2013, 11 (04) : 11 - 13
  • [38] Availability analysis of safety-critical and control systems of NPP using stochastic modeling
    Kumar, Pramod
    Singh, Lalit Kumar
    Chaudhari, Nilesh
    Kumar, Chiranjeev
    ANNALS OF NUCLEAR ENERGY, 2020, 147
  • [39] Safety Perspective for Supporting Architectural Design of Safety-Critical Systems
    Gurbuz, Havva Gulay
    Tekinerdogan, Bedir
    Er, Nagehan Pala
    SOFTWARE ARCHITECTURE, ECSA 2014, 2014, 8627 : 365 - 373
  • [40] A Methodology for Modeling Software Safety in Safety-Critical Computing Systems
    Kumar, S. Phani
    Ramaiah, P. Seetha
    Khanaa, V.
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2009, 9 (07): : 185 - 193