Polyhedral Flows in Hybrid Automata.

Rajeev Alur Sampath Kannan Salvatore La Torre

Published in: Formal Methods Syst. Des. (2004)

Keyphrases

hybrid automata
finite state automata
line drawings
knowledge representation
convex hull
convex sets
hidden markov models