Abstract:
Detectability describes the property of an system whose current and the subsequent states can be uniquely determined after a finite number of observations. In this paper,...Show MoreMetadata
Abstract:
Detectability describes the property of an system whose current and the subsequent states can be uniquely determined after a finite number of observations. In this paper, we extend four types of detectability: strong detectability, weak detectability, periodically strong detectability, and periodically weak detectability, from finite automata to labeled Petri nets, which have larger modeling power than finite automata. Moreover, based on the notion of basis markings, the approaches are developed to verify the four detectability of a bounded labeled Petri net system. Without computing the whole reachability space and without enumerating all the markings consistent with an observation, the proposed approaches are more efficient.
Published in: 2019 American Control Conference (ACC)
Date of Conference: 10-12 July 2019
Date Added to IEEE Xplore: 29 August 2019
ISBN Information: