Seminario - Control para RdP continuas temporizadas

Wed, 02/07/2008 (All day)
Resumen: La fluidificación constituye una técnica de relajación para estudiar los sistemas de eventos discretos a través de modelos continuos aproximados, evitando así el problema de la explosión de estados. En particular, los sistemas de redes de Petri contínuas temporizadas (TCPN) son modelos lineales a trozos que pueden aproximar el comportamiento transitorio esperado de las redes de Petri “Markovianas”. En este trabajo se consideran redes con semántica de servidores infinitos y transiciones incontrolables, ya que estos sistemas constituyen una mejor aproximación al sistema original. El objetivo de este trabajo, es el desarrollo de una estructura de ley de control para TCPN que transfiera el sistema desde un marcado de equilibrio (un posible estado estacionario) a otro requerido. Para ello, se propone un enfoque clásico al adaptar la bien conocida estructura de ley de control por retroalimentación lineal del estado. Dado que el sistema es lineal a trozos, para cada modo lineal se considera una matriz de ganancia estabilizante, la cual puede ser calculada utlizando cualquier técnica conocida de asignación de polos. Para garantizar el que la entrada (la acción de control) cumpla con las cotas requeridas (la entrada debe ser no negativa y menor al flujo del sistema no forzado), se calculan marcados “objetivo” intermediarios por medio de un problema de programación lineal (LPP). Finalmente, se desmuestra formalmente la convergencia del sistema hacia el marcado requerido y la acotación de la entrada.