Biblioteca122.739 documentos en línea

Artículo

Approximate Equivalence of the Hybrid Automata with Taylor TheoryAproximada equivalencia de los Autómatas Híbridos con la Teoría de Taylor

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.

  • Tipo de documento:
  • Formato:pdf
  • Idioma:Inglés
  • Tamaño: Kb

Cómo citar 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.

Este contenido no est� disponible para su tipo de suscripci�n

Información del documento