Réseaux d'automates hybrides à synchronisations typées pour la modélisation des Systèmes Dynamiques Hybrides

Zulema Juarez Orozco (1) , Bruno Denis (1) , Jean-Jacques Lesage (1)

1 LURPA - Laboratoire Universitaire de Recherche en Production Automatisée

Ce papier présente une classe d'automates hybrides à haut niveau d'expressivité pour faciliter la modélisation modulaire des Systèmes Dynamiques Hybrides (SDH) : les automates hybrides à entrées/sorties et synchronisations typées. Elle combine le concept de modularité issue des automates à entrées/sorties avec plusieurs mécanismes de synchronisation par étiquette de transition. Afin d'exploiter un tel modèle avec les outils existants nous proposons (i) un opérateur de composition pour fournir un automate "mis à plat", et (ii) un algorithme de traduction des mécanismes de synchronisations typées en classiques synchronisations par rendez-vous. L'intérêt de notre classe d'automates hybrides pour la modélisation modulaire est mis en évidence sur un exemple de SDH qui nous permet également d'illustrer l'opérateur de composition et l'algorithme de traduction des mécanismes de synchronisations typées.

Mots clés: systèmes hybrides; réseau d'automates hybrides; modélisation modulaire; synchronisations typées; opérateur de composition

Domaines: Automatique / Robotique

Zulema Juarez Orozco, Bruno Denis, Jean-Jacques Lesage. Réseaux d'automates hybrides à synchronisations typées pour la modélisation des Systèmes Dynamiques Hybrides. Conférence Internationale Francophone d'Automatique, CIFA 2008, Sep 2008, Bucarest, Roumanie. CDRom paper N°396. ⟨hal-00344356⟩