Control de Modelos Max Plus Lineales con Restricciones Temporales

Resumen

Este artículo trata del control de sistemas de eventos discretos sujetos a sincronización y fenómenos de retraso, descritos por un modelo max plus lineal. Definimos y caracterizamos el conjunto de condiciones iniciales admisibles, las cuales originan soluciones no decrecientes. Restricciones temporales son impuestas al espacio de estado del sistema. Estas restricciones son descritas en el cono max plus definido por la imagen de la estrella de Kleene de la matriz asociada a las restricciones temporales. Propiedades geométricas de este cono max plus, para garantizar que la evolución del sistema en lazo cerrado satisface las restricciones, son estudiadas. Condiciones suficientes concernientes a la existencia y cálculo de una retroalimentación de estado son presentadas. Para ilustrar la aplicación de este enfoque, dos problemas de control son discutidos, para los cuales un controlador es diseñado con el objetivo de garantizar la satisfacción de las restricciones temporales.

Abstract

This article deals with the control of discrete event systems subject to synchronization and delay phenomena, described by a plus max linear model. The temporal constraints are imposed on the state space of the system. These constraints are described in the max plus cone defined by the image of the Kleene star of the matrix associated with the temporal constraints. In consequence, the problem of determining a control that force the satisfaction of time constraints, is formulated in terms of the invariance of the cone. Sufficient conditions for the existence of a solution to this problem have been established. Our approach allows the design of a satisfactory control of the form of a static state feedback. We emphasize that our solution takes into account two aspects which are the initialization of the control law, and its causality, important for its implementation. To illustrate the application of this approach, two control problems are presented.

Referencias no citadas

Allamigeon et al., 2010, Allamigeon et al., 2012, Amari et al., 2012, Atto et al., 2011, Baccelli et al., 1992, Cohen et al., 1999, Cohen, 2001, Gaubert y Katz, 2007, Gaubert y Katz, 2009, Gaubert y Katz, 2011, Katz, 2007, Kim y Lee, 2003, Libeaut y Loiseau, 1995, Maia et al., 2011, Murata, 1989, Wonham, 2016 y Wu et al., 2008.