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
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


Files produced by the author(s)


  • HAL Id : hal-02383500, version 1


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⟩



Record views


Files downloads