Safety-Critical Control With Limited Information

被引:0
|
作者
Clouatre, Maison [1 ]
Thitsa, Makhin [2 ]
Kinney, Wesley [2 ]
Conti, Andrea [3 ,4 ]
Win, Moe Z. [5 ]
机构
[1] MIT, Wireless Informat & Network Sci Lab, Cambridge, MA 02139 USA
[2] Mercer Univ, Dept Elect & Comp Engn, Macon, GA 31207 USA
[3] Univ Ferrara, Dept Engn, I-44122 Ferrara, Italy
[4] Univ Ferrara, CNIT, I-44122 Ferrara, Italy
[5] MIT, Lab Informat & Decis Syst, Cambridge, MA 02139 USA
来源
基金
美国国家科学基金会;
关键词
safety; control with limited information; Safety escape time; barrier function; networked control; COMMUNICATION BANDWIDTH CONSTRAINTS; STATE ESTIMATION; LINEAR-SYSTEMS; STABILIZATION;
D O I
10.1109/LCSYS.2024.3415477
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
This letter explores safety-critical control of nonlinear systems in settings where a finite-rate communication channel stands in the path of state feedback. We show that the mere existence of a nominally safe control law (certified by an exponential barrier function) suffices to provide safe control in these limited-information settings. We introduce the notion of "safety escape time", the minimum time a system takes to become unsafe in the absence of actuation. The results complement the existing literature on stabilizing control with limited information and represent a step towards a complete understanding of safety-critical control with limited information.
引用
收藏
页码:2379 / 2384
页数:6
相关论文
共 50 条
  • [31] Safety-Critical Control With Input Delay in Dynamic Environment
    Molnar, Tamas G.
    Kiss, Adam K.
    Ames, Aaron D.
    Orosz, Gabor
    IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 2023, 31 (04) : 1507 - 1520
  • [32] SPECIFYING A SAFETY-CRITICAL CONTROL-SYSTEM IN Z
    JACKY, J
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1995, 21 (02) : 99 - 106
  • [33] Safety-critical trajectory tracking control of quadrotor UAVs
    Sun G.-H.
    Zeng Q.-S.
    Cai Z.-Z.
    Kongzhi Lilun Yu Yingyong/Control Theory and Applications, 2023, 40 (07): : 1261 - 1269
  • [34] Compositional Modeling and Control for Safety-Critical Manufacturing Systems
    Uygur, Guerkan
    Sattler, Sebastian M.
    2012 2ND INTERNATIONAL ELECTRIC DRIVES PRODUCTION CONFERENCE (EDPC), 2012,
  • [35] SAFETY-CRITICAL SYSTEMS
    RUDALL, BH
    ROBOTICA, 1990, 8 : 184 - 184
  • [36] Safety-Critical Software
    Merino, Pedro
    Schoitsch, Erwin
    ERCIM NEWS, 2008, (75): : 12 - 13
  • [37] Safety-critical traffic control by connected automated vehicles
    Zhao, Chenguang
    Yu, Huan
    Molnar, Tamas G.
    TRANSPORTATION RESEARCH PART C-EMERGING TECHNOLOGIES, 2023, 154
  • [38] Software reliability analysis for safety-critical and control systems
    Kumar, Pramod
    Singh, Lalit Kumar
    Kumar, Chiranjeev
    QUALITY AND RELIABILITY ENGINEERING INTERNATIONAL, 2020, 36 (01) : 340 - 353
  • [39] Safety-critical software
    1600, IEEE Computer Society (30):
  • [40] SAFETY-CRITICAL SOFTWARE
    PANCUCCI, D
    ENGINEERING, 1991, 231 (08): : 45 - 47