Resumen

Este documento considera un modelo híbrido de autómatas de entrada/salida para un sistema de vehículos guiados automatizados (AGV). Se caracteriza un conjunto de propiedades clave de un sistema AGV para la corrección del sistema. Se construye un modelo abstracto a partir del modelo de autómatas híbridos para simplificar la prueba de las restricciones. Los dos modelos son equivalentes en términos de relación de bisimulación. Derivamos las restricciones para garantizar la corrección de las propiedades. Validamos el sistema analizando los parámetros de las restricciones del sistema AGV.

• Materias:Modelos matemáticos Conjuntos difusos Ecuaciones integrales Fusión de características Algoritmo de optimización
• Subjects:Mathematical models Fuzzy sets Integral equations Feature fusion Optimization algorithm
• Palabras claves:Modelo de autómatas híbridos de entrada/salida; Sistema de vehículos guiados automatizados; Propiedades clave; Modelo abstracto; Relación de bisimulación; Restricciones
• Keywords:Hybrid i/o automata model; Automated guided vehicle system; Key properties; Abstract model; Bisimulation relation; Constraints