What's decidable about hybrid automata?
STOC '95 Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
Symbolic Reachability Computation for Families of Linear Vector Fields
Journal of Symbolic Computation
Ellipsoidal Techniques for Reachability Analysis
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
On the Decidability of the Reachability Problem for Planar Differential Inclusions
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Towards Computing Phase Portraits of Polygonal Differential Inclusions
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Computing invariance kernels of polygonal hybrid systems
Nordic Journal of Computing
Algorithmic analysis of polygonal hybrid systems, part I: Reachability
Theoretical Computer Science
Algorithmic analysis of polygonal hybrid systems, Part II: Phase portrait and tools
Theoretical Computer Science
Reachability analysis of generalized polygonal hybrid systems
Proceedings of the 2008 ACM symposium on Applied computing
Relaxing Goodness Is Still Good
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
GSPeeDI --- A Verification Tool for Generalized Polygonal Hybrid Systems
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
Computation and visualisation of phase portraits for model checking SPDIs
TACAS'08/ETAPS'08 Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems
Static analysis for state-space reduction of polygonal hybrid systems
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
A compositional algorithm for parallel model checking of polygonal hybrid systems
ICTAC'06 Proceedings of the Third international conference on Theoretical Aspects of Computing
| Hi-index | 0.00 |