Login / Signup

Bounded ∈-reachability of linear hybrid automata with a deterministic and transversal discrete transition condition.

Kyoung-Dae KimSayan MitraP. R. Kumar
Published in: CDC (2010)
Keyphrases
  • hybrid automata
  • linear functions
  • finite state automata
  • sufficient conditions
  • transitive closure
  • continuous functions
  • database
  • neural network
  • lower bound
  • piecewise linear
  • continuous variables
  • binary valued