Sign in

Discrete Semantics for Hybrid Automata.

Alberto CasagrandeCarla PiazzaAlberto Policriti
Published in: Discret. Event Dyn. Syst. (2009)
Keyphrases
  • hybrid automata
  • finite state automata
  • logic programming
  • formal semantics
  • semantic information
  • query processing
  • data model
  • dynamic programming
  • discrete space