Supervisión de una clase de sistemas dinámicos de eventos discretosSupervision of a class of discrete event dynamic systems

Resumen

En el contexto de los sistemas dinámicos de eventos discretos, el control juega un rol preponderante en el problema de cómo verificar el orden en que se presentan los eventos dadas algunas especificaciones o condiciones sobre esta clase de sistemas. Convencionalmente, para esto es usada la lógica, las teorías de lenguajes y autómatas, modelos Booleanos y lógica temporal. La variedad de proposiciones refleja la diversidad de áreas de aplicación. Nosotros determinamos las características estructurales cualitativas de los problemas de control básico, y estudiamos el problema de sintetizar un supervisor centralizado que asegure el comportamiento colectivo preestablecido desde un punto de vista algebraico.

In the context of dynamic discrete event systems, control plays a preponderant role in the problem of how to verify the order in which events are presented given some specifications or conditions on this class of systems. Conventionally, logic, theories of languages and automata, Boolean models and temporal logic are used for this. The variety of propositions reflects the diversity of application areas. We determine the qualitative structural characteristics of the basic control problems, and we study the problem of synthesizing a centralized supervisor that ensures the pre-established collective behavior from an algebraic point of view.