The Theory of Hybrid Automata
Top Cited Papers
- 1 January 2000
- book chapter
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 38 references indexed in Scilit:
- Robust timed automataLecture Notes in Computer Science, 1997
- Automatic symbolic verification of embedded systemsIEEE Transactions on Software Engineering, 1996
- State equivalences for rectangular hybrid automataLecture Notes in Computer Science, 1996
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995
- The expressive power of clocksLecture Notes in Computer Science, 1995
- Hybrid automata with finite bisimulationsLecture Notes in Computer Science, 1995
- An old-fashioned recipe for real timeACM Transactions on Programming Languages and Systems, 1994
- Liveness in timed and untimed systemsLecture Notes in Computer Science, 1994
- Sooner is safer than laterInformation Processing Letters, 1992
- Logics and models of real time: A surveyLecture Notes in Computer Science, 1992