Redes de petri continuas: Expresividad, análisis y control de una clase de sistemas lineales conmutados
Resumen: Gracias a la existencia de potentes teorías de análisis y síntesis, asf corno a su directa representabilidad gràfica, las redes de Petri constituyen uno de los formalismos más aceptados en las aplicaciones de ingeniería en las que convienen modelos (de eventos) discretos. No obstante, a vec...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | Spanish |
| Published: |
Universitat Politècnica de València
2007-07-01
|
| Series: | Revista Iberoamericana de Automática e Informática Industrial RIAI |
| Online Access: | http://www.sciencedirect.com/science/article/pii/S1697791207702224 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1850033884370042880 |
|---|---|
| author | M. Silva L. Recalde |
| author_facet | M. Silva L. Recalde |
| author_sort | M. Silva |
| collection | DOAJ |
| description | Resumen: Gracias a la existencia de potentes teorías de análisis y síntesis, asf corno a su directa representabilidad gràfica, las redes de Petri constituyen uno de los formalismos más aceptados en las aplicaciones de ingeniería en las que convienen modelos (de eventos) discretos. No obstante, a veces surgen problemas de decidibilidad o, en sistemas con grandes poblaciones, de enorme complejidad computacional. En este trabajo se presenta la urdimbre y algunos flecos de la teoría desarrollada para una relajación fluida o continua de los modelos discretos y dinámicos. Con ella se puede abordar eficientemente el estudio de sistemas de otra forma no abordables, al tiempo que se establecen algunos puentes a conceptos y resultados del análisis y síntesis de prestaciones, o de la observación y control de sistemas denominados continuos, aunque las clases de modelos que se obtienen son técnicamente, a veces también conceptualmente, híbridos. Obviamente, el precio que se paga por toda relajación es una pérdida de fidelidad en los modelos. En este sentido se ha de tener en cuenta que, aunque insólito en aplicaciones de ingeniería, los modelos discretos pueden ser no continuizables, del mismo modo que no todo sistema continuo no-lineal se puede aproximar satisfactoriamente por uno lineal (piénsese, por ejemplo, en sistemas caóticos). Palabras clave: Red de Petri, ciclo de vida, relajación matemática, teoría estructural, análisis cualitativo, análisis cuantitativo, optimización paramétrica, observación y control dinámico |
| format | Article |
| id | doaj-art-77ebefca978b4c8cbc58f51d6432ea54 |
| institution | DOAJ |
| issn | 1697-7912 |
| language | Spanish |
| publishDate | 2007-07-01 |
| publisher | Universitat Politècnica de València |
| record_format | Article |
| series | Revista Iberoamericana de Automática e Informática Industrial RIAI |
| spelling | doaj-art-77ebefca978b4c8cbc58f51d6432ea542025-08-20T02:58:01ZspaUniversitat Politècnica de ValènciaRevista Iberoamericana de Automática e Informática Industrial RIAI1697-79122007-07-014353310.1016/S1697-7912(07)70222-4Redes de petri continuas: Expresividad, análisis y control de una clase de sistemas lineales conmutadosM. Silva0L. Recalde1Instituto de Investigatión en Ingeniería de Aragón, I3A, Dep. de Informàtica e Ingeniería de Sistemas, Universidad de Zaragoza, EspañaInstituto de Investigatión en Ingeniería de Aragón, I3A, Dep. de Informàtica e Ingeniería de Sistemas, Universidad de Zaragoza, EspañaResumen: Gracias a la existencia de potentes teorías de análisis y síntesis, asf corno a su directa representabilidad gràfica, las redes de Petri constituyen uno de los formalismos más aceptados en las aplicaciones de ingeniería en las que convienen modelos (de eventos) discretos. No obstante, a veces surgen problemas de decidibilidad o, en sistemas con grandes poblaciones, de enorme complejidad computacional. En este trabajo se presenta la urdimbre y algunos flecos de la teoría desarrollada para una relajación fluida o continua de los modelos discretos y dinámicos. Con ella se puede abordar eficientemente el estudio de sistemas de otra forma no abordables, al tiempo que se establecen algunos puentes a conceptos y resultados del análisis y síntesis de prestaciones, o de la observación y control de sistemas denominados continuos, aunque las clases de modelos que se obtienen son técnicamente, a veces también conceptualmente, híbridos. Obviamente, el precio que se paga por toda relajación es una pérdida de fidelidad en los modelos. En este sentido se ha de tener en cuenta que, aunque insólito en aplicaciones de ingeniería, los modelos discretos pueden ser no continuizables, del mismo modo que no todo sistema continuo no-lineal se puede aproximar satisfactoriamente por uno lineal (piénsese, por ejemplo, en sistemas caóticos). Palabras clave: Red de Petri, ciclo de vida, relajación matemática, teoría estructural, análisis cualitativo, análisis cuantitativo, optimización paramétrica, observación y control dinámicohttp://www.sciencedirect.com/science/article/pii/S1697791207702224 |
| spellingShingle | M. Silva L. Recalde Redes de petri continuas: Expresividad, análisis y control de una clase de sistemas lineales conmutados Revista Iberoamericana de Automática e Informática Industrial RIAI |
| title | Redes de petri continuas: Expresividad, análisis y control de una clase de sistemas lineales conmutados |
| title_full | Redes de petri continuas: Expresividad, análisis y control de una clase de sistemas lineales conmutados |
| title_fullStr | Redes de petri continuas: Expresividad, análisis y control de una clase de sistemas lineales conmutados |
| title_full_unstemmed | Redes de petri continuas: Expresividad, análisis y control de una clase de sistemas lineales conmutados |
| title_short | Redes de petri continuas: Expresividad, análisis y control de una clase de sistemas lineales conmutados |
| title_sort | redes de petri continuas expresividad analisis y control de una clase de sistemas lineales conmutados |
| url | http://www.sciencedirect.com/science/article/pii/S1697791207702224 |
| work_keys_str_mv | AT msilva redesdepetricontinuasexpresividadanalisisycontroldeunaclasedesistemaslinealesconmutados AT lrecalde redesdepetricontinuasexpresividadanalisisycontroldeunaclasedesistemaslinealesconmutados |