665 search results - page 11 / 133 » The Theory of Hybrid Automata |
SIGCSE
1999
ACM
14 years 28 days ago
1999
ACM
An automata theory course can be taught in an interactive, hands-on manner using a computer. At Duke we have been using the software tool JFLAP to provide interaction and feedback...
CADE
2006
Springer
14 years 9 months ago
2006
Springer
This paper presents new classes of tree automata combining automata with equality test and automata modulo equational theories. We believe that these classes have a good potential ...
HYBRID
2007
Springer
14 years 15 days ago
2007
Springer
A notion of diagnosability for hybrid systems is defined, which generalizes the notion of observability. We verify bility properties on a timed automaton abstraction of the origina...
HYBRID
2000
Springer
14 years 6 days ago
2000
Springer
Given a deterministic, non-blocking hybrid system, we introduce the notion of its hybrid manifold (or hybrifold) with the associated hybrid
ow on it. This enables us to study hyb...
HYBRID
2001
Springer
14 years 1 months ago
2001
Springer