Safety Verification of Hybrid Systems Using Barrier Certificates

  title={Safety Verification of Hybrid Systems Using Barrier Certificates},
  author={Stephen Prajna and Ali Jadbabaie},
This paper presents a novel methodology for safety verification of hybrid systems. For proving that all trajectories of a hybrid system do not enter an unsafe region, the proposed method uses a function of state termed a barrier certificate. The zero level set of a barrier certificate separates the unsafe region from all possible trajectories starting from a given set of initial conditions, hence providing an exact proof of system safety. No explicit computation of reachable sets is required in… CONTINUE READING
Highly Influential
This paper has highly influenced 20 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 379 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-10 of 232 extracted citations

Design Validation of Multi-mode Systems

View 10 Excerpts
Highly Influenced

Converse Theorems for Safety and Barrier Certificates

IEEE Transactions on Automatic Control • 2018
View 4 Excerpts
Highly Influenced

Computer Safety, Reliability, and Security

Lecture Notes in Computer Science • 2017
View 12 Excerpts
Highly Influenced

Safety verification of state/time-driven hybrid systems using barrier certificates

2016 35th Chinese Control Conference (CCC) • 2016
View 5 Excerpts
Highly Influenced

379 Citations

Citations per Year
Semantic Scholar estimates that this publication has 379 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…