Marking Estimation of Petri Nets With Silent Transitions

DOI10.1109/TAC.2007.904281zbMATH Open1368.68261MaRDI QIDQ5282235FDOQ5282235

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)

• Supervisory control of discrete-event systems under external attacks
• Least-cost transition sequence estimation in labelled time Petri net systems with unobservable transitions
• Fault model identification and synthesis in Petri nets
• Verification of C-detectability using Petri nets
• 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
• Fault detection for discrete event systems using Petri nets with unobservable transitions
• Diagnosis of Petri Nets
• Fault diagnosis in discrete event systems modeled by partially observed Petri nets
• 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
• 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
• Decentralized observability of discrete event systems with synchronizations
• Modeling, simulation, estimation and boundedness analysis of discrete event systems
• State Estimation and Fault Detection Using Petri Nets
• Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications
• Probabilistic Marking Estimation in Labeled Petri Nets
• State estimation of max-plus automata with unobservable events

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)