Baniardalani, Sobhi (2018). Generating Discrete Trace Transition System of a Polyhe-dral Invariant Hybrid Automaton. *International Journal of Smart Electrical Engineering*, 7(1), 1-8.