Journal
AUTOMATICA
Volume 160, Issue -, Pages -Publisher
PERGAMON-ELSEVIER SCIENCE LTD
DOI: 10.1016/j.automatica.2023.111410
Keywords
Discrete event system; Bounded timed labeled Petri net; Symbolic state estimation
Ask authors/readers for more resources
This paper addresses the state estimation of timed discrete event systems and proposes an online algorithm for computing state estimations generated by timed observations, by introducing time delay and symbolic techniques.
This paper addresses the state estimation of timed discrete event systems, where the occurrence of an event is associated with a time delay and the initial state of the system belongs to a set of possible initial states. A discrete event system is modeled with a bounded timed labeled Petri net whose unobservable subnet is acyclic, and the behavior of the system under a global time clock can be observed. The procedure for state estimations of partially observed Petri nets is refined by the introduction of time in discrete event systems. We apply the symbolic techniques to the representation of states and transition relations of bounded timed labeled Petri nets. Then we propose an online algorithm for the computation of state estimations generated by timed observations.(c) 2023 Elsevier Ltd. All rights reserved.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available