Resumen

El autómata híbrido es un modelo formal para describir con precisión un sistema híbrido en el que los procesos computacionales interactúan con los físicos. El análisis de alcanzabilidad del autómata híbrido polinomial es decidible, lo que hace que la aproximación de un autómata híbrido sea aplicable y valiosa. En este documento, estudiamos la relación de simulación entre el autómata híbrido y su aproximación de Taylor, así como la relación de equivalencia aproximada. También demostramos que la aproximación de Taylor simula a su autómata híbrido original, y autómatas híbridos similares podrían compararse cuantitativamente, por ejemplo, la equivalencia aproximada que propusimos en el documento.

• 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:Autómata híbrido; Análisis de alcanzabilidad; Polinomio; Aproximación; Relación de simulación; Relación de equivalencia
• Keywords:Hybrid automaton; Reachability analysis; Polynomial; Approximation; Simulation relation; Equivalence relation