Widening the Boundary between Decidable and Undecidable Hybrid Systems
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Hybrid Systems with Finite Bisimulations
Hybrid Systems V
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
Computing invariance kernels of polygonal hybrid systems
Nordic Journal of Computing
Algorithmic analysis of polygonal hybrid systems, part I: Reachability
Theoretical Computer Science
Hi-index | 0.00 |