Marking Estimation of Petri Nets With Silent Transitions

DOI10.1109/TAC.2007.904281MaRDI QIDQ5282235zbMATH OpenFDO

Authors Alessandro Giua, C. Seatzu, Daniele Corona

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)

Cited in

(19)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5282235)