Author:
Prajna Stephen,Rantzer Anders
Reference15 articles.
1. Progress on reachability analysis of hybrid systems using predicate abstraction;Alur,2003
2. Viability Theory;Aubin,1991
3. Convex Optimization;Boyd,2004
4. Model Checking;Clarke,2000
5. Jirstrand, M. (1998). Invariant sets for a class of hybrid systems. In: Proceedings of the IEEE Conference on Decision and Control
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献