Author:
Ramdani Nacim,Meslem Nacim,Candau Yves
Subject
Computer Science Applications,Analysis,Control and Systems Engineering
Reference47 articles.
1. The algorithmic analysis of hybrid systems;Alur;Theoretical Computer Science,1995
2. Computational techniques for the verification of hybrid systems;Tomlin;Proceedings of the IEEE,2003
3. On the formal verification of hybrid systems;Guéguen;Control Engineering Practice,2004
4. Reachability analysis of dynamical systems having piecewise-constant derivatives;Asarin;Theoretical Computer Science,1995
5. Approximate reachability analysis of piecewise-linear dynamical systems;Asarin,2000
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献