Application of an Hybrid Esterel/Lustre/Simulink System : a Hybrid Energy System

Abstract : This paper presents an application of reactive programs embedded into a simulator for dynamical continuous system : SIMULINK. Synchronous reactive languages model the event-driven parts of dynamical systems. They bring many advantages like executable specification, simulation, verification and test-coverage. We discuss the approach chosen to interconnect the event-driven and the continuous parts. A hybrid (multiple sources of energy) energy control system is modeled as an example.