Un enfoque formal de la descripcion unificada de sistemas analogicos y digitales.

Tesis doctoral de Natividad Martinez Madrid

Los sistemas con componentes tanto analógicos como digitales han sido objeto de considerable estudio y formalización en los últimos años. Se encuentran en circuitos electrónicos con componentes mixtos, en sistemas de control discreto con entornos continuos, etc. mientras que los formalismos de descripción homogéneos de las partes continuas y de las partes discretas existen desde hace tiempo, el énfasis en los recientes desarrollos ha sido abordar la descripción unificada de estos sistemas híbridos. Este interés ha llevado a la definición de lenguajes de descripción de hardwareanalógico y digital, nacidos como extensiones a lenguajes de descripción de hardware digital, normalizados de gran implantación. Vhdl-ams es una extensión al lenguaje de descripción hardware vhdl, norma del ieee, para la descripción de sistemas con componentes analógicos y digitales. esta tesis propone un enfoque formal a la descripción unificada de sistemas analógicos y digitales, concretamente basado en el lenguaje vhdl-ams, para el que se define una semántica formal aquí. Disponer de una semántica formal para un lenguaje sienta las bases para razonar sobre el lenguaje y por tanto sobre los modelos descritos. la semántica propuesta para vhdl-ams extiende una semántica denotacional existentes para vhdl. Considera que el tiempo subyacente es continuo e incorpora los nuevos elementos del lenguaje en este dominio, fundamentalmente el núcleo de solución analógica de las ecuaciones diferenciales que describenel comportamiento continuo. En primer lugar se selecciona un núcleo sintáctico del lenguaje, y posteriormente se definen los dominios y las funciones semánticas. La semántica definida se basa en una separación ortogonal entre acciones con duración y acciones en el espacio de estados. Asimismo, una distinción entre una semántica secuencial «terminación» y una semántica de «suspensión» permite separar aspectos int

 

Datos académicos de la tesis doctoral «Un enfoque formal de la descripcion unificada de sistemas analogicos y digitales.«

  • Título de la tesis:  Un enfoque formal de la descripcion unificada de sistemas analogicos y digitales.
  • Autor:  Natividad Martinez Madrid
  • Universidad:  Politécnica de Madrid
  • Fecha de lectura de la tesis:  01/01/1998

 

Dirección y tribunal

  • Director de la tesis
    • Carlos Delgado Kloos
  • Tribunal
    • Presidente del tribunal: Fernando Saez Vacas
    • Andrés Marin Lopez (vocal)
    • Lopez Lopez Juan Carlos (vocal)
    • Ricardo Peña Mari (vocal)

 

Deja un comentario

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *

Scroll al inicio