Contrôle des SED avec urgence,évitabilité et inéluctabilité - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Contrôle des SED avec urgence,évitabilité et inéluctabilité

Résumé

La synthèse de contrôleurs pour les systèmes réactifs peutêtre faite en calculant les stratégies gagnantes dans les jeuxà deux joueurs. Les automates (à jeu) temporisés sont un formalisme approprié pour modéliser les systèmes embarqués temps réel mais ne sont pas facilesà utiliser pour la synthèse de contrôleurs pour deux raisons : i) les modèles temporisés nécessitent la connaissance des temps précis du système (par exemple, si une action doit se produireà l'avenir, la date limite de cette action doitêtre connue) ii) Dans la pratique, la taille de l'espace d'états rend le calcul du contrôleur souvent impossible pour les systèmes complexes. Cet article présente une extension des automatesà jeu non temporisés avec du temps logique. La nouvelle sémantique introduit deux nouveaux types d'actions incontrôlables : des actions non immédiates qui peuventéventuellementêtreévitées par exemple par une action contrôlable effectuée en urgence, et des actions inéluctables qui finiront par se produire si rien n'est fait pour les annuler. Le problème de synthèse de contrôleur est adaptéà cette nouvelle sémantique. Cet article se concentre spécifiquement sur les objectifs d'accessibilité et de sûreté et donne des algorithmes pour générer un contrôleur. L'utilité de ce nouveau modèle est illustrée par un exemple de synthèse de pilotes de périphériques.
Fichier principal
Vignette du fichier
MSR19_paper_14.pdf (441.55 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02432148 , version 1 (08-01-2020)
hal-02432148 , version 2 (22-01-2020)

Identifiants

  • HAL Id : hal-02432148 , version 2

Citer

Jean-Luc Béchennec, Didier Lime, Olivier H. Roux. Contrôle des SED avec urgence,évitabilité et inéluctabilité. MSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France, Nov 2019, Angers, France. ⟨hal-02432148v2⟩
71 Consultations
32 Téléchargements

Partager

Gmail Facebook X LinkedIn More