Subject
Electrical and Electronic Engineering,Control and Systems Engineering
Reference41 articles.
1. Discrete abstractions of hybrid systems;Alur;Proceedings of the IEEE,2000
2. Alur, R., & Kurshan, R. (1996). Timing analysis in COSPAN. In R. Alur & T. A. Henzinger (Eds.), Hybrid systems III, Lecture Notes in Computer Science, Vol. 1066 (pp. 220–231). Berlin: Springer.
3. Effective synthesis of switching controllers for linear systems;Asarin;Proceedings of the IEEE,2000
4. Viability theory;Aubin,1991
5. Impulse differential inclusions;Aubin;IEEE Transactions on Automatic Control,2002
Cited by
192 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献