期刊
AUTOMATICA
卷 160, 期 -, 页码 -出版社
PERGAMON-ELSEVIER SCIENCE LTD
DOI: 10.1016/j.automatica.2023.111410
关键词
Discrete event system; Bounded timed labeled Petri net; Symbolic state estimation
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.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据