Seminario: "Caracterización estructural de controlabilidad en TCPN's mediante el uso de subespacios invariantes."

Título: "Caracterización estructural de controlabilidad en TCPN's mediante el uso de subespacios invariantes."

Ponente: César Arzola Silva

Dia: 30 de noviembre

Hora: 12h

Lugar: Seminario del Depto

Duración aproximada: 30-35 min

 

César Arzola Silva esIngeniero en Mecatrónica por la Universidad Autónoma de Nuevo León (Nuevo León, México;  2015) y el máster.en Ingeniería Eléctrica con especialidad en Control Automático por el CINVESTAV (Guadalajara, México; 2017).

Actualmente, César es estudiante en nuestro programa de doctorado.

 

Resumen: Se aborda el problema de controlabilidad en redes de Petri continuas temporizadas (TCPN), bajo semántica de infinitos servidores, en presencia de transiciones incontrolables.

Una TCPN puede verse como un sistema lineal conmutado positivo. El número de sistemas lineales que lo conforman puede crecer exponencialmente, dependiendo del número de sincronizaciones en la red. Cada uno de ellos está definido a partir de una construcción estructural: su configuración. En sistemas complejos, esto puede llevar a la imposibilidad práctica del análisis de la controlabilidad.

        Para evitar este problema de intratabilidad, la cuestión se enfoca relacionando la controlabilidad del sistema con la estructura de la red de Petri. De esta manera, se evita el estudio individual de cada uno de los sistemas lineales .

En el presente análisis, se estudia la propiedad de rango-controlabilidad, una condición suficiente para controlabilidad. Posteriormente, se presentan condiciones estructurales para rango-controlabilidad en todas las configuraciones de la red . 

        Los resultados se basan principalmente en la observación de que el subespacio controlable en una configuración puede ser caracterizado a partir de la estructura de la red.

Finalmente, se presenta una serie de algoritmos para verificar la condición de rango-controlabilidad en todas las configuraciones, en tiempo polinomial.