Contr^ole de systemes symboliques discrets ou hybrides 1683

Abstract:  abordons le probleme de la synthese de contr^oleurs a travers di erents modeles allant des systemes de transitions nis aux systemes hybrides en nous interessant a des proprietes de s^urete. Dans ce cadre, nous nous interessons principalement au probleme de synthese pour un modele intermediaire: les systemes de transitions symboliques. L'analyse des besoins de modelisation nous amene a rede nir la notion de contr^olabilite en faisant porter le caractere de contr^olabilite non plus sur les evenements mais sur les gardes des transitions, puis a de nir des algorithmes de synthese permettant l'usage d'approximations d'assurer la nitude des calculs. Nous generalisons par la suite notre methodologie au contr^ole de systemes hybrides, ce qui donne un cadre uni e du probleme de la synthese pour un ensemble consistant demodeles. Mots cles: systemes de transition nis hybrides et symoliques, synthese de contr^oleurs, proprietes de s^urete, interpretation abstraire Centre National de la Recherche Scientifique Institut National de Recherche en Informatique (UMR 6074) Universit? de Rennes 1 ? Insa de Rennes et en Automatique ? unit? de recherche de Rennes (Abstract: pto) Supervisory Control of Discrete or Hybrid Symbolic systems