Resumen

Este documento trata sobre la modelización formal y verificación de sistemas de fabricación reconfigurables y eficientes en energía (REMSs), que son considerados como sistemas de control de eventos discretos reconfigurables. Un REMS no solo permite reconfiguraciones globales para cambiar el sistema de una configuración a otra, sino que también permite reconfiguraciones locales en componentes para ahorrar energía cuando el sistema se encuentra en una configuración particular. Además, los componentes no reconfigurados de dicho sistema deberían seguir funcionando durante cualquier reconfiguración. Como resultado, durante una reconfiguración del sistema, este puede tener varios caminos posibles y puede no cumplir con los requisitos de control si no se controlan los eventos de reconfiguración concurrentes y los eventos normales. Para garantizar la seguridad y corrección de sistemas tan complejos, la verificación formal es de gran importancia durante la etapa de diseño del sistema. Este documento extiende el formalismo de sistemas de condición/evento de red temporal reconfigurables (R-TNCESs) para modelar todo el comportamiento dinámico posible en dichos sistemas. Después de

• Materias:Ecuaciones en diferencias Ecuación unidimensional Filtrado de información Prevención de interbloqueos Sistemas estocásticos
• Subjects:Difference equations One-dimensional equation Information filtering Interlock prevention Stochastic systems
• Palabras claves:Modelado; Verificación; Reconfigurable; Eficiente en energía; Sistemas de fabricación; Formalismo
• Keywords:Modeling; Verification; Reconfigurable; Energy-efficient; Manufacturing systems; Formalism