A New Technique for Translating Discrete Hybrid Automata into Piecewise Affine Systems
Stjan Poto, Sper Mu · 2004
The paper proposes a new translation algorithm that translates a hybrid system described as a discrete hybrid automaton (DHA) into an equivalent piecewise affine (PWA) system. The translation algorithm exploits, among others, a new technique for cell enumeration in hyperplane arrangement, all proposed in this paper. The new translation technique enables the transfer of several analysis and synthesis tools developed for PWA systems to a DHA class of hybrid systems.