SCIENCE CHINA Information Sciences, Volume 64 , Issue 9 : 199205(2021) https://doi.org/10.1007/s11432-018-9840-6

A novel kind of sufficient conditions for safety judgement based on control barrier function

More info
  • ReceivedDec 14, 2018
  • AcceptedMar 25, 2019
  • PublishedJun 29, 2020


There is no abstract available for this article.


This work was supported by National Natural Science Foundation of China (Grant No. 61633005).


[1] Romdlony M Z, Jayawardhana B. Stabilization with guaranteed safety using Control Lyapunov-Barrier Function. Automatica, 2016, 66: 39-47 CrossRef Google Scholar

[2] Prajna S, Rantzer A. On the necessity of barrier certificates. In: Proceedings of the IFAC World Congress, Prague, 2005. 526--531. Google Scholar

[3] Prajna S, Jadbabaie A, Pappas G J. Stochastic safety verification using barrier certificates. In: Proceedings of the 43rd IEEE Conference on Decision and Control, Nassau, 2004. Google Scholar

[4] Kong H, Song X, Han D. A New Barrier Certificate for Safety Verification of Hybrid Systems. Comput J, 2014, 57: 1033-1045 CrossRef Google Scholar

[5] Wang G, He J, Liu J. Safety Verification of Interconnected Hybrid Systems Using Barrier Certificates. Math Problems Eng, 2016, 2016: 1-10 CrossRef Google Scholar

[6] Wang G B, Liu J, Sun H Y, et al. Safety verification of state/time-driven hybrid systems using barrier certificates. In: Proceedings of the 35th Chinese Control Conference, Chengdu, 2016. 2483--2489. Google Scholar

[7] Department of Mathematics, East China Normal University. Mathematical Analysis (in Chinese). 3rd ed. Beijing: Higher Education Press, 1999. Google Scholar