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&