Back to Search
Start Over
Symbolic state estimation in bounded timed labeled Petri nets.
- Source :
-
Automatica . Feb2024, Vol. 160, pN.PAG-N.PAG. 1p. - Publication Year :
- 2024
-
Abstract
- 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. [ABSTRACT FROM AUTHOR]
- Subjects :
- *PETRI nets
*DISCRETE systems
*ONLINE algorithms
Subjects
Details
- Language :
- English
- ISSN :
- 00051098
- Volume :
- 160
- Database :
- Academic Search Index
- Journal :
- Automatica
- Publication Type :
- Academic Journal
- Accession number :
- 174580247
- Full Text :
- https://doi.org/10.1016/j.automatica.2023.111410