Author:
Girard Antoine,Pappas George J.
Subject
Electrical and Electronic Engineering,Control and Systems Engineering
Reference28 articles.
1. A Lyapunov approach to incremental stability properties;Angeli;IEEE Transactions on Automatic Control,2002
2. A survey of model reduction methods for large-scale systems;Antoulas;Contemporary Mathematics,2000
3. Asarin, E., Bournez, O., Dang, T., & Maler, O. (2000). Approximate reachability analysis of piecewise linear dynamical systems, In HSCC, Lecture Notes in Computer Science (Vol. 1790) (pp. 21–31). Berlin: Springer.
4. Aubin, J. P. (1991). Viability Theory. Birkhauser, 1991.
5. Chutinan, A., & Krogh, B. H. (1999). Verification of polyhedral invariant hybrid automata using polygonal flow pipe approximations. In HSCC, Lecture Notes in Computer Science (Vol. 1569) (pp. 76–90). Berlin: Springer.
Cited by
54 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献