Model-Based Synthesis of Incremental and Correct Estimators for Discrete Event Systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

Model-Based Synthesis of Incremental and Correct Estimators for Discrete Event Systems

Résumé

State tracking, i.e. estimating the state over time, is always an important problem in autonomous dynamic systems. Run-time requirements advocate for incremental estimation and memory limitations lead us to consider an estimation strategy that retains only one state out of the set of candidate estimates at each time step. This avoids the ambiguity of a high number of candidate estimates and allows the decision system to be fed with a clear input. However, this strategy may lead to dead-ends in the continuation of the execution. In this paper, we show that single-state trackability can be expressed in terms of the simulation relation between automata. This allows us to provide a complexity bound and a way to build estimators endowed with this property and, moreover, customizable along some correctness criteria. Our implementation relies on the Sat Modulo Theory solver MONOSAT and experiments show that our encoding scales up and applies to real world scenarios.
Fichier principal
Vignette du fichier
DTIS20167.1603882719_preprint.pdf (347.99 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02982277 , version 1 (28-10-2020)

Identifiants

Citer

Stéphanie Roussel, Xavier Pucel, Valentin Bouziat, Louise Travé-Massuyès. Model-Based Synthesis of Incremental and Correct Estimators for Discrete Event Systems. Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}, Jul 2020, Yokohama, Japan. pp.1884-1890, ⟨10.24963/ijcai.2020/261⟩. ⟨hal-02982277⟩
108 Consultations
116 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More