Skip to Main content Skip to Navigation
Conference papers

Single State Trackability of Discrete Event Systems

Abstract : 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 trackability is introduced. While 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 determin-istic 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [20 references]  Display  Hide  Download

https://hal.laas.fr/hal-02383500
Contributor : Louise Travé-Massuyès <>
Submitted on : Wednesday, November 27, 2019 - 5:41:26 PM
Last modification on : Thursday, June 10, 2021 - 3:05:44 AM

File

SST_DX_2019_Final.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02383500, version 1

Citation

Valentin Bouziat, Xavier Pucel, Stéphanie Roussel, Louise Travé-Massuyès. Single State Trackability of Discrete Event Systems. DX'19 – 30th International Workshop on Principles of Diagnosis, Nov 2019, Klagenfurt, Austria. ⟨hal-02383500⟩

Share

Metrics

Record views

99

Files downloads

103