Observabilidad en redes de Petri continuas

Jorge Júlvez (DIIS, Universidad de Zaragoza)

Fecha: 2003-05-30
Hora: 12:00
Lugar: Seminario del DIIS en el Edificio Ada Byron, María de Luna 1, Zaragoza
Resumen:

Los sistemas dinámicos pueden ser "tímidos" en grado sumo: esto sucede cuando algunas de las variables de estado no pueden ser medidas directamente. Sin embargo, los observadores son "curiosos", y su objetivo es estimar correctamente el valor de todas las variables de un sistema, incluidas aquellas que no están disponibles directamente. El estudio de la observabilidad y el diseño de observadores es un tema clásico en la teoría de sistemas.

Las redes de Petri continuas temporizadas constituyen un modelo en el que diferentes sistemas (lineales) conmutan entre sí. Más concretamente, las conmutaciones son producidas por eventos internos. El objetivo del seminario es presentar algunos resultados relacionados con la observabilidad en redes de Petri continuas temporizadas. En particular, se hará hincapié en las propiedades intrínsecas a las redes de Petri que pueden facilitar o dificultar la observabilidad del sistema.

Tras una introducción del modelo de redes de Petri continuas, se planteará el problema de la observabilidad: ¿Cómo inferir el marcado completo del sistema conociendo sólo su salida? Seguidamente, se presentarán unos criterios de observabilidad bajo los cuales se puede determinar si el marcado completo de un sistema es observable. Por último, se considerará el diseño de observadores. Es decir de sistemas cuyo estado (en este caso observación) converge asintóticamente al marcado del sistema a observar.

http://diis.unizar.es