Author:
Pace Gordon,Schneider Gerardo
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126, 183–235 (1994)
2. Aubin, J.-P., Lygeros, J., Quincampoix, M., Sastry, S., Seube, N.: Towards a viability theory for hybrid systems. In: European Control Conference (2001)
3. Aubin, J.-P., Lygeros, J., Quincampoix, M., Sastry, S., Seube, N.: Viability and invariance kernels of impulse differential inclusions. In: Conference on Decision and Control, vol. 40. IEEE, Los Alamitos (2001)
4. Lecture Notes in Computer Science;E. Asarin,2002
5. Lecture Notes in Computer Science;E. Asarin,2001
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献