Seminario de I+D
del Departamento de Informática e Ingeniería de Sistemas
de la Universidad de Zaragoza
|
Seminario de I+D
|
|
|---|
Sistemas de eventos
discretos continuizados:
análisis y
control desde una perspectiva basada en las redes de Petri
Dr. Manuel Silva (DIIS, Universidad de Zaragoza)
Fecha: 2002-11-29
Hora: 12:00
Lugar: Seminario del DIIS en el Edificio Ada Byron, María de Luna 1, Zaragoza
Resumen:
Las redes de Petri (RdP) constituyen un formalismo para el modelado de sistemas de eventos discretos. La integralidad del disparo de transiciones, y por consiguiente del marcado, son un claro reflejo de ello. La complejidad computacional de muy diversos problemas de análisis o de síntesis hacen que el interés de modelos relajados sea patente. Una de las relajaciones más interesantes es la de continuizar o fluidificar el modelo (RdP continuas) o sus ecuaciones fundamentales derivadas (pasando de tener problemas de programación entera a problemas en los reales no-negativos). Al igual que no todo sistema continuo no-lineal admite su linealización, un resultado preliminar establece que no toda RdP admite una aproximación continua. Sin embargo, cuando es aplicable, la continuización de primer orden de un modelo estocástico discreto permite obtener un modelo continuo determinista "aproximado", representable con un conjunto de ecuaciones diferenciales lineales por tramos (bajo semántica de infinitos servidores).
El objetivo de este seminario es el de presentar una panorámica de este campo, desde una perspectiva del análisis estructural. La calidad de este tipo de aproximación es tanto mejor cuanto más grandes sean las poblaciones involucradas o alta sea la cadencia de los servicios que se provean. La posibilidad de expresar comportamientos no-lineales asociados al flujo (i.e., disparos por unidad de tiempo) de una transición, a través de operaciones como decoloración, permite describir sistemas no-lineales con comportamientos muy complejos (órbitas, ciclos límite, diferentes atractores, caos...). La idea básica para el control de estos sistemas continuos será esbozada... Y si la autoridad y el tiempo lo permiten, se apuntarán algunas de las relaciones entre RdP continuas y Diagramas de Forrester o Sistemas Compartimentales Positivos. Es decir, la Concurrencia! :-)