Contrôle de systèmes symboliques, discrets ou hybrides - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2005

Contrôle de systèmes symboliques, discrets ou hybrides

Abstract

Nous abordons le problème de la synthèse de contrôleurs à travers différents modèles allant des systèmes de transitions finis aux systèmes hybrides en nous intéressant à des propriétés de sûreté. Dans ce cadre, nous nous intéressons principalement au problème de synthèse pour un modèle intermédiaire : les systèmes de transitions symboliques. L'analyse des besoins de modélisation nous amène à redéfinir la notion de contrôlabilité en faisant porter le caractère de contrôlabilité non plus sur les événements mais sur les gardes des transitions, puis à définir des algorithmes de synthèse permettant l'usage d'approximations d'assurer la finitude des calculs. Nous généralisons par la suite notre méthodologie au contrôle de systèmes hybrides, ce qui donne un cadre unifié du problème de la synthèse pour un ensemble consistant de modèles.
Fichier principal
Vignette du fichier
RR-5474.pdf (610.72 Ko) Télécharger le fichier

Dates and versions

inria-00070534 , version 1 (19-05-2006)

Identifiers

  • HAL Id : inria-00070534 , version 1

Cite

Tristan Le Gall, Bertrand Jeannet, Hervé Marchand. Contrôle de systèmes symboliques, discrets ou hybrides. [Rapport de recherche] RR-5474, INRIA. 2005, pp.30. ⟨inria-00070534⟩
36 View
151 Download

Share

Gmail Facebook Twitter LinkedIn More