Subject
General Computer Science,Theoretical Computer Science
Reference27 articles.
1. E. Asarin, A. Bouajjani, Perturbed turing machines and hybrid systems, in: Proc. Sixteenth Annu. IEEE Symp. on Logic in Computer Science, IEEE, 2001.
2. E. Asarin, T. Dang, O. Maler, d/dt: a verification tool for hybrid systems, in: Proc. 40th IEEE Conf. on Decision and Control, IEEE Press, New York, 2001.
3. Reachability analysis of dynamical systems having piecewise-constant derivatives;Asarin;Theoret. Comput. Sci.,1995
4. Viability theory, Systems & Control: Foundations & Applications;Aubin,1991
5. Set-valued analysis, Systems & Control: Foundations & Applications;Aubin,1990
Cited by
38 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献