ESPECIFICACIÓN DE LOS MODELOS HÍBRIDOS

Formalismo OHM

Especificación formal algoritmo de la simulación

Especificación formal y descripción de Modelica

Ejemplo 1: rebote de una pelota

Ejemplo 2: depósito con válvula de desagüe

Ejemplo 3: dos depósitos conectados mediante una válvula