List of Articles Polyhedral Invariant Hybrid Automata Open Access Article Abstract Page Full-Text 1 - Generating Discrete Trace Transition System of a Polyhe-dral Invariant Hybrid Automaton Sobhi Baniardalani