Polyhedral Flows in Hybrid Automata.

Rajeev Alur Sampath Kannan Salvatore La Torre

Published in: HSCC (1999)

Keyphrases

hybrid automata
finite state automata
convex hull
line drawings
convex sets
context free grammars
dual space