Modeling of hybrid supervisory systems using UML and Petri nets

In this work, a new approach for the design of supervisory systems is introduced. It focuses on how supervisory systems can improve global system performance through the use of efficient local controller switching configuration policies. For this purpose, a modeling approach is developed that can represent the integration of different hierarchical levels of the control architecture and different dynamic behavior. UML, Petri nets and differential equation systems are merged in order to provide a framework with flexibility for representing the abstractions that emerge when considering supervisory system design.