Author:
Bemporad A.,Torrisi F.D.,Morari M.
Reference44 articles.
1. Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems;Alur,1993
2. A brief introduction to the theory and applications of hybrid systems;Antsaklis,2000
3. On the analysis of dynamical systems having piecewise-constant derivatives;Asarin;Theor Computer Sci,1995
4. Reachability analysis of piecewise-linear dynamical systems;Asarin,2000
5. Data-structures for the verification of timed automata;Asarin,1997
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献