Formal modeling of hybrid dynamical systems: Application to the synchronous machine

摘要

Control design for hybrid dynamical sy stems requires an appropriate formal model. Whereas, in the literature, only few formal models dealing with a full hybrid system were proposed. In the paper, the authors use Branicky's model and apply it tothe synchronous machine. Simulation results will support this modeling technique.