Login / Signup

On Reachability for Hybrid Automata over Bounded Time.

Thomas BrihayeLaurent DoyenGilles GeeraertsJoël OuaknineJean-François RaskinJames Worrell
Published in: ICALP (2) (2011)
Keyphrases
  • hybrid automata
  • finite state automata
  • state space
  • transitive closure
  • data sets
  • decision rules