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

Valérie Roy 1 Nadia Maïzi 1
1 CMA - Centre de Mathématiques Appliquées
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.
Type de document :
Communication dans un congrès
Liste complète des métadonnées
https://hal-mines-paristech.archives-ouvertes.fr/hal-01320929
Contributeur : Amel Sahli <>
Soumis le : mardi 24 mai 2016 - 15:19:34
Dernière modification le : lundi 12 novembre 2018 - 10:53:16

Identifiants

  • HAL Id : hal-01320929, version 1

Collections

ENSMP | INSTITUT-TELECOM | CMA | CMA-THESE | PARISTECH | ENSMP_CMA | PSL

Citation

Valérie Roy, Nadia Maïzi. Application of an Hybrid Esterel/Lustre/Simulink System : a Hybrid Energy System. ADPM 2000 : The 4th International Conference on Automation of Mixed Processes - Hybrid Dynamic Systems, At Dortmund, Volume: Conference Proceedings , 2000, Dortmund, Germany. ⟨hal-01320929⟩

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

278

Contact

CCSD