Skip to Main content Skip to Navigation
Conference papers

Dead-end free single state multi-estimators for DES -the 2-estimator case

Abstract : Knowledge of the system state is key in autonomous decision making frameworks. To meet the run-time requirements and memory limitations that apply in this context, we propose an incremental estimation strategy that limits the number of estimates at each time step while still guaranteeing that dead-ends are not encountered. As this is not always achievable with a single-state estimator, we increase the number of estimators by defining the new notion of multi-estimation. In this paper, we consider discrete event systems and analyse the case of 2-estimation, i.e. taking two single-state estimators to form a 2-estimator. We first present a necessary condition for a 2estimator being dead-end free and then derive a necessary and sufficient condition, both illustrated by experiments.
Document type :
Conference papers
Complete list of metadata
Contributor : Louise Travé-Massuyès <>
Submitted on : Monday, December 28, 2020 - 1:55:15 PM
Last modification on : Thursday, June 10, 2021 - 3:05:49 AM
Long-term archiving on: : Monday, March 29, 2021 - 6:42:33 PM


Files produced by the author(s)


  • HAL Id : hal-03089427, version 1


Camille Coquand, Xavier Pucel, Stéphanie Roussel, Louise Travé-Massuyès. Dead-end free single state multi-estimators for DES -the 2-estimator case. 31st International Workshop on Principles of Diagnosis (DX-2020), Sep 2020, Nashville, Tennessee, United States. ⟨hal-03089427⟩



Record views


Files downloads