Synthèse de contrôleur de systèmes hybrides à flux continu par réseaux de Petri hybrides

Abstract

Ce travail s’articule autour de la synthèse de contrôleur des systèmes dynamique hybrides. Une classe particulière des systèmes hybrides a été considérée, à savoir la classe des systèmes hybrides où les variables continues sont positives et linéaires par morceaux. Cette classe englobe plusieurs problèmes réalistes, comme les procédés batch, les systèmes manufacturiers traitant une quantité importante de produits, les systèmes de transport, de communication et autres.