Verifying omega-Regular Properties for a Subclass of Linear Hybrid Systems

Hybrid diagrams

Theoretical Computer Science

The Impressive Power of Stopwatches

CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory

Verification of duration systems using an approximation approach

Journal of Computer Science and Technology

The theory of hybrid automata

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science

Low dimensional hybrid systems - decidable, undecidable, don't know

Information and Computation