TOWARDS AN INTEGRATED CONCEPTION OF HYBRID DYNAMICAL SYSTEMS

Abstract : Hybrid dynamical systems are composed of continuous-time dynamical parts, mixed with event-driven parts. Most of the time, both parts are designed separately using specific techniques of each domain, and integrated a posteriori in an application-specific manner. This approach is restrictive in that it does not exhibit a hybrid global model of the designed system, that would though be required for analysis and behavior-checking to take place. In this paper, we discuss and illustrate our approach of hybrid systems modeling, that is based on the obvious statement that both domains (dynamical and event-driven) must be clearly considered in an integrated manner from the very beginning of the design. In our example, we exhibit a draft formal framework for hybrid system modeling, that would allow for verification techniques. For that purpose, we take advantage of the recently developed techniques and tools, in both areas. The numerical computation laboratory - matlab - that we chose for the dynamical system part design, fits perfectly with our goals. But the reactive synchronous language chosen - Esterel -, if it actually fits with the event-driven part specification, exhibits some weaknesses when dealing with data and values, that are needed when interfacing both parts together.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal-mines-paristech.archives-ouvertes.fr/hal-01320822
Contributeur : Amel Sahli <>
Soumis le : mardi 24 mai 2016 - 14:49:55
Dernière modification le : lundi 12 novembre 2018 - 10:53:17

Identifiants

Citation

Valérie Roy, Nadia Maïzi. TOWARDS AN INTEGRATED CONCEPTION OF HYBRID DYNAMICAL SYSTEMS. IFAC BARCELONA, 2002, Barcelone, Spain. ⟨10.3182/20020721-6-ES-1901.00525⟩. ⟨hal-01320822⟩

Partager

Métriques

Consultations de la notice

289