A generic approach to the control of discrete event systems
André Arnold, X. Briand, Gérald Point, Aymeric Vincent · 2006
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.