Estimabilité à état unique des systèmes à évènements discrets - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Estimabilité à état unique des systèmes à évènements discrets

Résumé

Specific requirements must guide the design of autonomous systems as they are increasingly present in our everyday environment. Their properties must be carefully defined and checked to guarantee safety, security and dependability. In this paper, we adopt a discrete event system modelling framework and focus on properties that are related to diagnosis. A new property called single state track-ability is introduced. When available observations may lead to an ambiguous estimate, i.e. several admissible state candidates , this property assesses the possibility of reducing the estimate to a single state without this leading to a dead-end in the continuation of the execution. A single state estimate advantageously facilitates decision making and allows the use of a deterministic planner in the autonomous architecture. We provide a necessary and sufficient condition for single state trackability of a discrete event system and we propose a recursive algorithm to check this property. The algorithm is validated with a set of benchmarks.
Les systèmes autonomes prennent une place de plus en plus importante dans nos environnements quotidiens et im-posent des spécifications particulières. Il est donc important de définir et vérifier des propriétés liées à la sécurité, la sûreté ou encore la fiabilité de tels systèmes. Dans cet article, nous adoptons un formalisme de modélisation basé sur les systèmes à évènement discrets (SED) et nous intéres-sons à des propriétés relatives au diagnostic. Une nouvelle propriété appelée estimabilité à état unique est introduite. Lorsque les observations produites par un système ne per-mettent pas d'être certain de l'état dans lequel il se trouve (plusieurs états sont compatibles avec les observations) l'es-timation de son état est ambiguë. Cette propriété exprime alors la possibilité de limiter l'estimation à un seul état sans rencontrer d'incohérence dans la suite de l'exécution. Limi-ter l'estimation à un seul état facilite entre autres la décision notamment par l'utilisation éventuelle d'un planificateur dé-terministe dans une architecture autonome complète. Une condition nécessaire et suffisante pour l' estimabilité à état unique des SED est fournie ainsi qu'un algorithme récur-sif permettant de la vérifier et, testé sur différents jeux de données.
Fichier principal
Vignette du fichier
paper_10.pdf (188.92 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02302952 , version 1 (01-10-2019)

Identifiants

  • HAL Id : hal-02302952 , version 1

Citer

Valentin Bouziat, Xavier Pucel, Stéphanie Roussel, Louise Travé-Massuyès. Estimabilité à état unique des systèmes à évènements discrets. 13èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2019), Jul 2019, Toulouse, France. ⟨hal-02302952⟩
64 Consultations
53 Téléchargements

Partager

Gmail Facebook X LinkedIn More