Generating Discrete Trace Transition System of a Polyhe-dral Invariant Hybrid Automaton
Subject Areas : International Journal of Smart Electrical Engineering
Sobhi Baniardalani
1
(Energy Department, Kermanshah University of Technology, Iran)
Keywords:
Abstract :