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.
Esta es una versión de prueba de citación de documentos de la Biblioteca Virtual Pro. Puede contener errores. Lo invitamos a consultar los manuales de citación de las respectivas fuentes.
Artículo:
Aplicación del filtro de Kalman para estimar el estado de una maniobra de aerofrenado
Artículo:
Modelo de proceso transitorio en el que un transductor trifásico alimenta un motor de inducción equivalente como carga inductiva activa variable
Artículo:
Sobre la Gevrey Asintótica Paramétrica para Ecuaciones en Derivadas Parciales Singularmente Perturbadas con Retardos
Artículo:
Control Adaptativo de Aprendizaje Iterativo de Seguimiento de Trayectoria No Uniforme Basado en RBFNN para Sistema No Lineal Incierto con Entrada No Lineal Continua
Artículo:
Rigidez exacta para vigas sobre cimentación tipo Kerr: El enfoque de fuerza virtual
Artículo:
Creación de empresas y estrategia : reflexiones desde el enfoque de recursos
Artículo:
La gestión de las relaciones con los clientes como característica de la alta rentabilidad empresarial
Artículo:
Los web services como herramienta generadora de valor en las organizaciones
Artículo:
Configuración de los valores de María, antes y después de la violación, en Satanás de Mario Mendoza