Author:
Zhu Zheren,Chai Yi,Yang Zhimin
Publisher
Springer Science and Business Media LLC
Reference7 articles.
1. Romdlony M Z, Jayawardhana B. Stabilization with guaranteed safety using control Lyapunov-Barrier function. Automatica, 2016, 66: 39–47
2. 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
4. 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
5. 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
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献