3 search results - page 1 / 1 » What's decidable about hybrid automata |
STOC
1995
ACM
14 years 9 days ago
1995
ACM
FOSSACS
2008
Springer
13 years 10 months ago
2008
Springer
We introduce a new decidable logic for reasoning about infinite arrays of integers. The logic is in the first-order fragment and allows (1) Presburger constraints on existentially...
LICS
1996
IEEE
14 years 28 days ago
1996
IEEE
Ahybrid automatonis a formalmodelfor a mixeddiscrete-continuous system. We classify hybrid automata acoording to what questions about their behavior can be answered algorithmically...