References

[1] Romdlony M Z, Jayawardhana B. Stabilization with guaranteed safety using Control Lyapunov-Barrier Function. Automatica, 2016, 66: 39-47 CrossRef Google Scholar http://scholar.google.com/scholar_lookup?title=Stabilization with guaranteed safety using Control Lyapunov-Barrier Function&author=Romdlony M Z&author=Jayawardhana B&publication_year=2016&journal=Automatica&volume=66&pages=39-47

[2] Prajna S, Rantzer A. On the necessity of barrier certificates. In: Proceedings of the IFAC World Congress, Prague, 2005. 526--531. Google Scholar http://scholar.google.com/scholar_lookup?title=Prajna S, Rantzer A. On the necessity of barrier certificates. In: Proceedings of the IFAC World Congress, Prague, 2005. 526--531&

[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 http://scholar.google.com/scholar_lookup?title=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&

[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 http://scholar.google.com/scholar_lookup?title=A New Barrier Certificate for Safety Verification of Hybrid Systems&author=Kong H&author=Song X&author=Han D&publication_year=2014&journal=Comput J&volume=57&pages=1033-1045

[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 http://scholar.google.com/scholar_lookup?title=Safety Verification of Interconnected Hybrid Systems Using Barrier Certificates&author=Wang G&author=He J&author=Liu J&publication_year=2016&journal=Math Problems Eng&volume=2016&pages=1-10

[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 http://scholar.google.com/scholar_lookup?title=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&

[7] Department of Mathematics, East China Normal University. Mathematical Analysis (in Chinese). 3rd ed. Beijing: Higher Education Press, 1999. Google Scholar http://scholar.google.com/scholar_lookup?title=Department of Mathematics, East China Normal University. Mathematical Analysis (in Chinese). 3rd ed. Beijing: Higher Education Press, 1999&