Discrete Semantics for Hybrid Automata.

Alberto Casagrande Carla Piazza Alberto 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