Controle supervise de systemes a evenements discrets temps-reel

Cette these porte sur la synthese de superviseurs pour des systemes a evenements discrets temps-reel (SEDTRs) modelises par des automates temporises (ATs). Comme l'espace d'etats d'un AT est en general infini, et que la theorie du controle supervise de RAMADGE et WONHAM, que nous avons adaptee, est operationnelle pour des automates a etats finis (AEFs), nous avons utilise l'approche consistant a transformer les ATs modelisant le procede et la specification sous la forme d'AEFs. Nous avons donc tout d'abord etendu et ameliore une methode de transformation des ATs en AEFs particuliers appeles automates Set-Exp (ASEs). Cette methode de transformation, appelee SetExp, permet de reduire le probleme d'explosion des etats et est appropriee pour le controle supervise de SEDTRs.;Nous avons ensuite ameliore et etendu une methode de controle centralise fondee sur SetExp, c'est-dire que les ATs modelisant le procede et la specification sont d'abord transformes en ASEs et le probleme est resolu en adaptant la theorie de RAMADGE et WONHAM aux ASEs. Pour la resolution du probleme de controle centralise, nous avons identifie les conditions d'existence de solution et avons propose une procedure algorithmique pour la synthese du superviseur le moins restrictif.;Suite a cela, nous avons developpe une methode de controle modulaire, fondee sur SetExp et la methode de controle centralise. Pour le controle modulaire egalement, nous avons identifie les conditions d'existence de solution et propose une procedure de synthese de superviseurs modulaires les moins restrictifs.;D'autre part, nous avons etendu la methode de controle centralise fondee sur SetExp au cas ou le superviseur a une observation partielle des evenements du procede. Pour cette methode de controle sous observation partielle des evenements, nous avons identifie les conditions d'existence de solution et propose une procedure pour synthetiser un superviseur sous observation partielle.;Enfin, nous avons realise un outil logiciel appele SEAtool, qui implemente la transformation SetExp et les methodes de controle centralise et modulaire. Nous avons etudie, a l'aide de SEAtool, l'application de nos methodes de controles centralise et modulaire a des systemes concrets simples.;Mots cles. systemes a evenements discrets, temps-reel, modelisation, automates temporises, controle supervise, controle modulaire, controle sous observation partielle.