Author:
Girard Antoine,Pappas George J.
Reference52 articles.
1. Discrete abstractions of hybrid systems;Alur,2000
2. Formal verification of hybrid systems;Alur,2011
3. A Lyapunov approach to incremental stability properties;Angeli;IEEE TransAutom Control,2002
4. A survey of model reduction methods for large-scale systems;Antoulas;Contemp Math,2000
5. Toward an approximation theory for computerised control;Caspi,2002
Cited by
86 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献