3 search results - page 1 / 1 » What's decidable about hybrid automata |
STOC
1995
ACM
13 years 8 months ago
1995
ACM
FOSSACS
2008
Springer
13 years 6 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
13 years 9 months 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...