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

https://hal.laas.fr/hal-03089427
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

File

Article_DX_2_estimation.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03089427, version 1

Citation

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⟩

Share

Metrics

Record views

52

Files downloads

20