Model-Free Safety-Critical Control for Robotic Systems

被引:53
|
作者
Molnar, Tamas G. [1 ,2 ]
K. Cosner, Ryan [1 ,2 ]
W. Singletary, Andrew [1 ,2 ]
Ubellacker, Wyatt [1 ,2 ]
D. Ames, Aaron [1 ,2 ]
机构
[1] CALTECH, Control & Dynam Syst, Pasadena, CA 91125 USA
[2] CALTECH, Dept Mech & Civil Engn, Pasadena, CA 91125 USA
基金
美国国家科学基金会;
关键词
Dynamics; motion control; robot safety; CONTROL BARRIER FUNCTIONS; INPUT;
D O I
10.1109/LRA.2021.3135569
中图分类号
TP24 [机器人技术];
学科分类号
080202 ; 1405 ;
摘要
This letter presents a framework for the safety-critical control of robotic systems, when safety is defined on safe regions in the configuration space. To maintain safety, we synthesize a safe velocity based on control barrier function theory without relying on a - potentially complicated - high-fidelity dynamical model of the robot. Then, we track the safe velocity with a tracking controller. This culminates in model-free safety critical control. We prove theoretical safety guarantees for the proposed method. Finally, we demonstrate that this approach is application-agnostic. We execute an obstacle avoidance task with a Segway in high-fidelity simulation, as well as with a Drone and a Quadruped in hardware experiments.
引用
收藏
页码:944 / 951
页数:8
相关论文
共 50 条
  • [31] Compositional Modeling and Control for Safety-Critical Manufacturing Systems
    Uygur, Guerkan
    Sattler, Sebastian M.
    2012 2ND INTERNATIONAL ELECTRIC DRIVES PRODUCTION CONFERENCE (EDPC), 2012,
  • [32] 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
  • [33] Designing a B Model for safety-critical software systems
    Taouil-Traverson, S
    Vignes, S
    B'98: RECENT ADVANCES IN THE DEVELOPMENT AND USE OF THE B METHOD, 1998, 1393 : 210 - 225
  • [34] 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
  • [35] Model Proposal for Performance Testing of Safety-Critical Systems
    Spendla, Lukas
    Tanuska, Pavol
    Strbo, Milan
    PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION AND SYSTEMS ENGINEERING (CASE-13), 2013, 45 : 42 - 45
  • [36] Timing Model for Predictive Simulation of Safety-critical Systems
    Cioroaica, Emilia
    Blanco, Jose Miguel
    Rossi, Bruno
    PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGIES (ICSOFT), 2022, : 331 - 339
  • [37] Almost Sure Safety Analysis and Safety-Critical Control of Stochastic Systems
    Luo, Shixian
    Liu, Jiangpeng
    Jiang, Yan
    2024 14TH ASIAN CONTROL CONFERENCE, ASCC 2024, 2024, : 1068 - 1073
  • [38] The Safety Filter: A Unified View of Safety-Critical Control in Autonomous Systems
    Hsu, Kai-Chieh
    Hu, Haimin
    Fisac, Jaime F.
    ANNUAL REVIEW OF CONTROL ROBOTICS AND AUTONOMOUS SYSTEMS, 2024, 7 : 47 - 72
  • [39] Reliability analysis and safety model checking of Safety-Critical and control Systems: A case study of NPP control system
    Kumar, Vinay
    Mishra, Kailash Chandra
    Singh, Pooja
    Hati, Aditya Narayan
    Mamdikar, Mohan Rao
    Singh, Lalit Kumar
    Parida, R. N. Ramakant
    ANNALS OF NUCLEAR ENERGY, 2022, 166
  • [40] Dependability of safety-critical systems
    Buja, G
    Castellan, S
    Menis, R
    Zuccollo, A
    2004 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), VOLS. 1- 3, 2004, : 1561 - 1566