Login / Signup

The Discrete Time Behavior of Lazy Linear Hybrid Automata.

Manindra AgrawalP. S. Thiagarajan
Published in: HSCC (2005)
Keyphrases
  • hybrid automata
  • finite state automata
  • linear systems
  • markov processes
  • markov chain
  • pattern matching
  • integrity constraints