Symbolic state estimation in bounded timed labeled Petri nets

DOI10.1016/J.AUTOMATICA.2023.111410MaRDI QIDQ6192943

Yifan Dong, NaiQi Wu, Zhiwu Li

Publication date: 13 February 2024

Published in: Automatica (Search for Journal in Brave)

zbMATH Keywords

discrete event systembounded timed labeled Petri netsymbolic state estimation

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fault detection for discrete event systems using Petri nets with unobservable transitions
• Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams
• Petri net supervisors for DES with uncontrollable and unobservable transitions
• Noninterference Enforcement via Supervisory Control in Bounded Petri Nets
• Observers for a Class of Timed Automata Based on Elapsed Time Graphs
• Marking Observer in Labeled Petri Nets With Application to Supervisory Control
• Verification of State-Based Opacity Using Petri Nets

This page was built for publication: Symbolic state estimation in bounded timed labeled Petri nets