Mathematics > Optimization and Control
[Submitted on 21 Feb 2018 (v1), revised 6 May 2018 (this version, v2), latest version 30 Jun 2019 (v4)]
Title:On detectability of labeled Petri nets and finite automata
View PDFAbstract:Detectability is a basic property of dynamic systems: when it holds one can use the observed output signal produced by a system to reconstruct its current state. In this paper, we consider properties of this type in the framework of discrete event systems modeled by labeled Petri nets and finite automata. We first study weak approximate detectability. This property implies that there exists an evolution of the system such that each corresponding observed output sequence with length greater than a given value allows one to determine if the current state belongs to a given set. We show that the problem of verifying this property is undecidable for labeled Petri nets, and PSPACE-complete for finite automata. We also consider two new concepts called instant strong detectability and eventual strong detectability. The former property implies that for each possible evolution the corresponding observed output sequence allows one to reconstruct the current state. The latter implies that for each possible evolution, there exists a value such that each corresponding observed output sequence with length greater than than that value allows one to reconstruct the current state. We show that for labeled Petri nets, the problems of verifying these two properties are both decidable and EXPSPACE-hard; while for finite automata, both properties can be verified in polynomial time. In addition, we show that strong detectability in the literature is strictly stronger than eventual strong detectability, but strictly weaker than instant strong detectability, for both finite automata and labeled Petri nets. In particular for deterministic finite au- tomata, eventual strong detectability is equivalent to strong detectability.
Submission history
From: Kuize Zhang [view email][v1] Wed, 21 Feb 2018 13:04:56 UTC (21 KB)
[v2] Sun, 6 May 2018 11:26:57 UTC (44 KB)
[v3] Sat, 9 Mar 2019 19:06:26 UTC (52 KB)
[v4] Sun, 30 Jun 2019 13:16:33 UTC (66 KB)
Current browse context:
math.OC
References & Citations
Bibliographic and Citation Tools
Bibliographic Explorer (What is the Explorer?)
Litmaps (What is Litmaps?)
scite Smart Citations (What are Smart Citations?)
Code, Data and Media Associated with this Article
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub (What is DagsHub?)
Gotit.pub (What is GotitPub?)
Papers with Code (What is Papers with Code?)
ScienceCast (What is ScienceCast?)
Demos
Recommenders and Search Tools
Influence Flower (What are Influence Flowers?)
Connected Papers (What is Connected Papers?)
CORE Recommender (What is CORE?)
arXivLabs: experimental projects with community collaborators
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.