A generic approach to the control of discrete event systems
Résumé
In this paper, we present extensions of the framework of the mu-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.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...