A new framework for mode switching in SCT

An usual way in industry to design discrete events system (DES) consists of using a multi-modal approach to decompose the complexity of processes and specifications. The supervisory control theory (SCT) allows to prove that the process can be controllable to fulfill the requirements. Nevertheless, even based on a simple specification about commutations, it is very difficult to prove that the connections among modes are correct and reliable. This paper presents a framework allowing to design a system and detect specification incompatibilities by using the Supervisory Control Theory. The presented framework detects the specifications to change or to control them to promote correct mode switching.