Concepedia

Barrier Certificates

Barrier Certificate is a type of Lyapunov-like function used in hybrid systems verification that certifies safety by providing a mathematical invariant distinguishing safe system behaviors from unsafe ones through a scalar function whose sublevel set separates initial and unsafe states while satisfying certain differential inequalities along system trajectories.

70

Publications

4.5K

Citations

145

Authors

73

Institutions

Publications per year

2017–2026

44

Parents

Publications

70

Safety Barrier Certificates for Collisions-Free Multirobot Systems

Li Wang, Aaron D. Ames, Magnus Egerstedt · IEEE Transactions on Robotics · 2017 · 751 citations

, , +15

A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates

S. Prajna, Ali Jadbabaie, George J. Pappas · IEEE Transactions on Automatic Control · 2007 · 641 citations · Full text

, , +15

Control Barrier Certificates for Safe Swarm Behavior

Urs Borrmann, Li Wang, Aaron D. Ames et al. · IFAC-PapersOnLine · 2015 · 232 citations · Full text

, , +17

Barrier certificates for nonlinear model validation

S. Prajna · Automatica · 2005 · 211 citations

, , +6

Safe Learning of Quadrotor Dynamics Using Barrier Certificates

Li Wang, Evangelos A. Theodorou, Magnus Egerstedt · 2018 · 173 citations

, , +17

1–5 of 70

Authors

145

  1. ME
    Magnus Egerstedt

    Georgia Institute of Technology, United States

    12 publications · 1.7K citations

    12

    h-index

  2. SP
    S. Prajna

    California Institute of Technology, United States

    8 publications · 1.2K citations

    8

    h-index

  3. LW
    Li Wang

    Georgia Institute of Technology, United States

    7 publications · 1.4K citations

    7

    h-index

  4. RW
    Rafael Wisniewski

    Aalborg University, Denmark

    6 publications · 275 citations

    6

    h-index

  5. MZ
    Majid Zamani

    University of Colorado Boulder, United States

    6 publications · 117 citations

    6

    h-index

1–5 of 145

Institutions

73

  1. Georgia Institute of Technology

    Atlanta, United States

    12 h-index

    30 publications

    3.9K citations

  2. California Institute of Technology

    Pasadena, United States

    11 h-index

    11 publications

    2K citations

  3. University of Colorado Boulder

    Boulder, United States

    7 h-index

    8 publications

    266 citations

  4. University of Pennsylvania

    Philadelphia, United States

    6 h-index

    8 publications

    1.6K citations

  5. Aalborg University

    Aalborg, Denmark

    6 h-index

    13 publications

    567 citations

  6. East China Normal University

    Shanghai, China

    5 h-index

    9 publications

    214 citations

  7. Ludwig-Maximilians-Universität München

    Munich, Germany

    5 h-index

    9 publications

    162 citations

  8. Massachusetts Institute of Technology

    Cambridge, United States

    5 h-index

    12 publications

    445 citations

1–8 of 73

Venues

  1. IEEE Transactions on Automatic Control

    7 publications · 913 citations

    7

    h-index

  2. IFAC-PapersOnLine

    5 publications · 300 citations

    5

    h-index

  3. IEEE Control Systems Letters

    3 publications · 94 citations

    3

    h-index

  4. arXiv (Cornell University)

    Repository · 3 publications · 107 citations

    3

    h-index

  5. IEEE Robotics and Automation Letters

    3 publications · 95 citations

    3

    h-index

1–5