A generic approach to the control of discrete event systems

In this paper, we present extensions of the framework of the μ-calculus which allow us to handle in a very generic and extensible way many control problems. The fundamental new tool is a division operator, and two new modalities are given as examples which allow us to handle observability and distinguishability. Furthermore, all this gives rise to a method for the synthesis of controllers which is implemented in a tool presented here.