Author:
Blondel Vincent D.,Bournez Olivier,Koiran Pascal,Tsitsiklis John N.
Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference24 articles.
1. The algorithmic analysis of hybrid systems;Alur;Theoret. Comput. Sci.,1995
2. Reachability analysis of dynamical systems having piecewise-constant derivatives;Asarin;Theoret. Comput. Sci.,1995
3. Real Algebraic and Semi-algebraic Sets;Benedetti,1990
4. Real Algebraic Geometry;Bochnak,1998
5. Deciding stability and mortality of piecewise affine dynamical systems;Blondel;Technical Report,1999
Cited by
33 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献