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

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.