References
Romdlony M Z, Jayawardhana B. Stabilization with guaranteed safety using control Lyapunov-Barrier function. Automatica, 2016, 66: 39–47
Prajna S, Rantzer A. On the necessity of barrier certificates. In: Proceedings of the IFAC World Congress, Prague, 2005. 526–531
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
Kong H, Song X Y, Han D, et al. A new barrier certificate for safety verification of hybrid systems. Comput J, 2014, 57: 1033–1045
Wang G B, He J F, Liu J, et al. Safety verification of interconnected hybrid systems using barrier certificates. Math Problem Eng, 2016, 2016: 1–10
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
Department of Mathematics, East China Normal University. Mathematical Analysis (in Chinese). 3rd ed. Beijing: Higher Education Press, 1999
Acknowledgements
This work was supported by National Natural Science Foundation of China (Grant No. 61633005).
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Zhu, Z., Chai, Y. & Yang, Z. A novel kind of sufficient conditions for safety judgement based on control barrier function. Sci. China Inf. Sci. 64, 199205 (2021). https://doi.org/10.1007/s11432-018-9840-6
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11432-018-9840-6