000011740 001__ 11740 000011740 005__ 20190219123652.0 000011740 037__ $$aTESIS-2013-075 000011740 041__ $$aeng 000011740 080__ $$a681.5:004 000011740 1001_ $$aWang, Liewei 000011740 24500 $$aOn Minimum-time Control of Continuous Petri nets$$bCentralized and Decentralized Perspectives 000011740 260__ $$aZaragoza$$bUniversidad de Zaragoza, Prensas de la Universidad$$c2013 000011740 300__ $$a181 000011740 4900_ $$aTesis de la Universidad de Zaragoza$$v2013-57$$x2254-7606 000011740 500__ $$aPresentado: 08 07 2013 000011740 502__ $$aTesis-Univ. Zaragoza, Informática e Ingeniería de Sistemas, 2013$$bZaragoza, Universidad de Zaragoza$$c2013 000011740 506__ $$aby-nc-nd$$bCreative Commons$$c3.0$$uhttps://creativecommons.org/licenses/by-nc-nd/3.0/ 000011740 520__ $$aMuchos sistemas artificiales, como los sistemas de manufactura, de logística, de telecomunicaciones o de tráfico, pueden ser vistos "de manera natural" como Sistemas Dinámicos de Eventos Discretos (DEDS). Desafortunadamente, cuando tienen grandes poblaciones, estos sistemas pueden sufrir del clásico problema de la explosión de estados. Con la intención de evitar este problema, se pueden aplicar técnicas de fluidificación, obteniendo una relajación fluida del modelo original discreto. Las redes de Petri continuas (CPNs) son una aproximación fluida de las redes de Petri discretas, un conocido formalismo para los DEDS. Una ventaja clave del empleo de las CPNs es que, a menudo, llevan a una substancial reducción del coste computacional. Esta tesis se centra en el control de Redes de Petri continuas temporizadas (TCPNs), donde las transiciones tienen una interpretación temporal asociada. Se asume que los sistemas siguen una semántica de servidores infinitos (velocidad variable) y que las acciones de control aplicables son la disminución de la velocidad del disparo de las transiciones. Se consideran dos interesantes problemas de control en esta tesis: 1) control del marcado objetivo, donde el objetivo es conducir el sistema (tan rápido como sea posible) desde un estado inicial a un estado final deseado, y es similar al problema de control set-point para cualquier sistema de estado continuo; 2) control del flujo óptimo, donde el objetivo es conducir el sistema a un flujo óptimo sin conocimiento a priori del estado final. En particular, estamos interesados en alcanzar el flujo máximo tan rápido como sea posible, lo cual suele ser deseable en la mayoría de sistemas prácticos. El problema de control del marcado objetivo se considera desde las perspectivas centralizada y descentralizada. Proponemos varios controladores centralizados en tiempo mínimo, y todos ellos están basados en una estrategia ON/OFF. Para algunas subclases, como las redes Choice-Free (CF), se garantiza la evolución en tiempo mínimo; mientras que para redes generales, los controladores propuestos son heurísticos. Respecto del problema de control descentralizado, proponemos en primer lugar un controlador descentralizado en tiempo mínimo para redes CF. Para redes generales, proponemos una aproximación distribuida del método Model Predictive Control (MPC); sin embargo en este método no se considera evolución en tiempo mínimo. El problema de control de flujo óptimo (en nuestro caso, flujo máximo) en tiempo mínimo se considera para redes CF. Proponemos un algoritmo heurístico en el que calculamos los "mejores" firing count vectors que llevan al sistema al flujo máximo, y aplicamos una estrategia de disparo ON/OFF. También demostramos que, debido a que las redes CF son persistentes, podemos reducir el tiempo que tarda en alcanzar el flujo máximo con algunos disparos adicionales. Los métodos de control propuestos se han implementado e integrado en una herramienta para Redes de Petri híbridas basada en Matlab, llamada SimHPN. 000011740 6531_ $$ateoría de sistemas 000011740 6531_ $$asistemas de control 000011740 6531_ $$aingeniería de control 000011740 6531_ $$asistemas formales 000011740 6531_ $$aredes de petri 000011740 6531_ $$asystems theory 000011740 6531_ $$acontrol systems 000011740 6531_ $$acontrol engineering 000011740 6531_ $$aformal systems 000011740 6531_ $$apetri nets 000011740 700__ $$aSilva Suárez, Manuel$$edir. 000011740 700__ $$aMahulea, Cristian Florentín$$edir. 000011740 7102_ $$aUniversidad de Zaragoza$$bInformática e Ingeniería de Sistemas 000011740 8560_ $$fzaguan@unizar.es 000011740 8564_ $$s3078213$$uhttps://zaguan.unizar.es/record/11740/files/TESIS-2013-075.pdf$$zTexto completo (eng) 000011740 909CO $$ooai:zaguan.unizar.es:11740 000011740 909co $$ptesis 000011740 909CO $$pdriver 000011740 9102_ $$aIngeniería de sistemas y automática$$bInformática e Ingeniería de Sistemas 000011740 980__ $$aTESIS