Marking Estimation of Petri Nets With Silent Transitions

DOI10.1109/TAC.2007.904281zbMath1368.68261MaRDI QIDQ5282235

Carla Seatzu, Daniele Corona, Alessandro Giua

Publication date: 27 July 2017

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (18)

Fault diagnosis in discrete event systems modeled by partially observed Petri nets ⋮ Modeling, simulation, estimation and boundedness analysis of discrete event systems ⋮ Decentralized observability of discrete event systems with synchronizations ⋮ Least-cost transition sequence estimation in labelled time Petri net systems with unobservable transitions ⋮ Supervisory control of discrete-event systems under external attacks ⋮ Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers ⋮ State estimation in labeled time Petri net systems using observed modified state class graph ⋮ State Estimation and Fault Detection Using Petri Nets ⋮ Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications ⋮ Robust reconstruction of the discrete state for a class of nonlinear uncertain switched systems ⋮ Fault detection for discrete event systems using Petri nets with unobservable transitions ⋮ Verification of C-detectability using Petri nets ⋮ State estimation of max-plus automata with unobservable events ⋮ On-line verification of current-state opacity by Petri nets and integer linear programming ⋮ Decentralized state estimation and diagnosis of p-time labeled Petri nets systems ⋮ Diagnosis of Petri Nets ⋮ On-line fault detection in discrete event systems by Petri nets and integer linear programming ⋮ Fault model identification and synthesis in Petri nets

This page was built for publication: Marking Estimation of Petri Nets With Silent Transitions