Data-Driven Safety Filters HAMILTON-JACOBI REACHABILITY, CONTROL BARRIER FUNCTIONS, AND PREDICTIVE METHODS FOR UNCERTAIN SYSTEMS

被引:12
|
作者
Wabersich, Kim P. [1 ]
Taylor, Andrew J. [2 ]
Choi, Jason J. [3 ]
Sreenath, Koushil [4 ,5 ]
Tomlin, Claire J. [6 ,7 ,8 ]
Ames, Aaron D. [2 ,9 ,10 ,11 ,12 ,13 ]
Zeilinger, Melanie N. [14 ]
机构
[1] Swiss Fed Inst Technol, Inst Dynam Syst & Control, Zurich, Switzerland
[2] CALTECH, Pasadena, CA 91125 USA
[3] Univ Calif Berkeley, Berkeley, CA 94720 USA
[4] Univ Calif Berkeley, Mech Engn, Berkeley, CA 94720 USA
[5] Carnegie Mellon Univ, Pittsburgh, PA 15213 USA
[6] Univ Calif Berkeley, Engn, Berkeley, CA 94720 USA
[7] Univ Calif Berkeley, Dept Elect Engn & Comp Sci, Berkeley, CA 94720 USA
[8] Stanford Univ, Aeronaut & Astronaut, Stanford, CA 94305 USA
[9] CALTECH, Mech & Civil Engn, Pasadena, CA 91125 USA
[10] CALTECH, Control & Dynam Syst, Pasadena, CA 91125 USA
[11] Georgia Tech, Woodruff Sch Mech Engn, Atlanta, GA USA
[12] Georgia Tech, Sch Elect & Comp Engn, Atlanta, GA USA
[13] CALTECH, Control & Dynam Syst, Pasadena, CA 91125 USA
[14] Swiss Fed Inst Technol, CH-8092 Zurich, Switzerland
来源
IEEE CONTROL SYSTEMS MAGAZINE | 2023年 / 43卷 / 05期
关键词
LEARNING-BASED CONTROL; SETS; FRAMEWORK; CERTIFICATES; VERIFICATION; CONSTRAINTS; STABILITY; DESIGN; GAMES; MPC;
D O I
10.1109/MCS.2023.3291885
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Today's control engineering problems exhibit an unprecedented complexity, with examples including the reliable integration of renewable energy sources into power grids [1], safe collaboration between humans and robotic systems [2], and dependable control of medical devices [3] offering personalized treatment [4]. In addition to compliance with safety criteria, the corresponding control objective is often multifaceted. It ranges from relatively simple stabilization tasks to unknown objective functions, which are, for example, accessible only through demonstrations from interactions between robots and humans [5]. Classical control engineering methods are, however, often based on stability criteria with respect to set points and reference trajectories, and they can therefore be challenging to apply in such unstructured tasks with potentially conflicting safety specifications [6, Secs. 3 and 6]. While numerous efforts have started to address these challenges, missing safety certificates often still prohibit the widespread application of innovative designs outside research environments. As described in 'Summary,' this article presents safety filters and advanced data-driven enhancements as a flexible framework for overcoming these limitations by ensuring that safety requirements codified as static state constraints are satisfied under all physical limitations of the system. © 1991-2012 IEEE.
引用
收藏
页码:137 / 177
页数:41
相关论文
共 50 条
  • [1] Refining Control Barrier Functions through Hamilton-Jacobi Reachability
    Tonkens, Sander
    Herbert, Sylvia
    [J]. 2022 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), 2022, : 13355 - 13362
  • [2] Thermal runaway avoidance using Hamilton-Jacobi reachability and model predictive control
    Kanavalau, Andrei
    Lall, Sanjay
    [J]. COMPUTERS & CHEMICAL ENGINEERING, 2022, 157
  • [3] Scalable Learning of Safety Guarantees for Autonomous Systems using Hamilton-Jacobi Reachability
    Herbert, Sylvia
    Choi, Jason J.
    Sanjeev, Suvansh
    Gibson, Marsalis
    Sreenath, Koushil
    Tomlin, Claire J.
    [J]. 2021 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA 2021), 2021, : 5914 - 5920
  • [4] Constructing Control Lyapunov-Value Functions Using Hamilton-Jacobi Reachability Analysis
    Gong, Zheng
    Zhao, Muhan
    Bewley, Thomas
    Herbert, Sylvia
    [J]. IEEE CONTROL SYSTEMS LETTERS, 2023, 7 : 925 - 930
  • [5] Kernel-Based Hamilton-Jacobi Equations for Data-Driven Optimal Control: The General Case
    Ito, Yuji
    Fujimoto, Kenji
    [J]. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2022, E105A (01) : 1 - 10
  • [6] Kernel-Based Hamilton-Jacobi Equations for Data-Driven Optimal and H-Infinity Control
    Ito, Yuji
    Fujimoto, Kenji
    Tadokoro, Yukihiro
    [J]. IEEE ACCESS, 2020, 8 : 131047 - 131062
  • [7] Data-driven predictive control for a class of uncertain control-affine systems
    Li, Dan
    Fooladivanda, Dariush
    Martinez, Sonia
    [J]. INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL, 2023, 33 (02) : 1284 - 1315
  • [8] Robust data-driven predictive control using reachability analysis
    Alanwar, Amr
    Stuerz, Yvonne
    Johansson, Karl Henrik
    [J]. EUROPEAN JOURNAL OF CONTROL, 2022, 68
  • [9] Robust data-driven predictive control of unknown nonlinear systems using reachability analysis
    Farjadnia, Mahsa
    Alanwar, Amr
    Niazi, Muhammad Umar B.
    Molinari, Marco
    Johansson, Karl Henrik
    [J]. EUROPEAN JOURNAL OF CONTROL, 2023, 74
  • [10] Emerging robust and data-driven control methods for uncertain learning systems
    Meng, Deyuan
    Moore, Kevin L.
    Chi, Ronghu
    [J]. INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL, 2023, 33 (07) : 3962 - 3963