Login / Signup
The Discrete Time Behavior of Lazy Linear Hybrid Automata.
Manindra Agrawal
P. S. Thiagarajan
Published in:
HSCC (2005)
Keyphrases
</>
hybrid automata
finite state automata
linear systems
markov processes
markov chain
pattern matching
integrity constraints