Modélisation des systèmes réactifs

Voir Plus Voir Moins

Afficher le Résumé

Cet ouvrage rassemble les actes du troisième colloque francophone msr'2001 (modélisation des systèmes réactifs), organisé à toulouse du 17 au 19 octobre 2001. le colloque se situe à l’interface de l’automatique et de l’informatique, autour de la modélisation, de l’analyse, de la vérification et de la commande des systèmes réactifs et temps réel. les systèmes réactifs sont des systèmes informatiques ou automatisés qui interagissent continuellement avec leur environnement. l’ouvrage traite aussi bien des approches synchrones qu’asynchrones, des modèles discrets, continus et hybrides, que des méthodes de spécification et de vérification. les contributions portent notamment sur les automates, réseaux de petri, grafcet, algèbres de processus, systèmes dynamiques hybrides, logiques temporelles et modèles compositionnels. les questions de vérification, validation, diagnostic, sûreté de fonctionnement, évaluation des performances et test occupent également une place importante. l’ouvrage comporte également des travaux consacrés à la synthèse de contrôleurs, aux télécommunications, aux systèmes hybrides, aux approches synchrones, à la validation temporelle, à l’ordonnancement, aux réseaux de petri et à la supervision.

Voir le Sommaire