A generic approach to the control of discrete event systems

Andre Arnold (1) , Xavier Briand (1) , Gérald Point (1) , Aymeric Vincent (1)

1 LaBRI - Laboratoire Bordelais de Recherche en Informatique

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.

Mots clés: controller synthesis; discret event systems; mu-calculs

Domaines: Informatique et théorie des jeux [cs.GT]

Andre Arnold, Xavier Briand, Gérald Point, Aymeric Vincent. A generic approach to the control of discrete event systems. Conference on Decision and Control and European Control Conference ECC (CDC-ECC), 2005, Sevilla, France. pp.1-5. ⟨hal-00344229⟩