State Estimation and Fault Detection Using Petri Nets

DOI10.1007/978-3-642-21834-7_3zbMath1330.68202OpenAlexW55415442MaRDI QIDQ3011880

Alessandro Giua

Publication date: 29 June 2011

Published in: Applications and Theory of Petri Nets (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-21834-7_3

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Observability (93B07) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers ⋮ State estimation of max-plus automata with unobservable events

Cites Work

• Unnamed Item
• Verification of initial-state opacity in security applications of discrete event systems
• Mind the gap: expanding communication options in decentralized discrete-event control
• Fault detection for discrete event systems using Petri nets with unobservable transitions
• On-line monitoring of large Petri net models under partial observation
• Fault diagnosis in discrete event systems modeled by partially observed Petri nets
• Diagnosability of discrete event systems and its applications
• State estimation of \(\lambda\)-free labeled Petri nets with contact-free nondeterministic transitions
• Coordinated decentralized protocols for failure diagnosis of discrete event systems
• Undecidable problems of decentralized observation and control on regular languages
• Real time identification of discrete event systems using Petri nets
• Decentralized supervisory control with communicating controllers
• Observability of discrete event dynamic systems
• Diagnosability of discrete-event systems
• An Efficient Approach for Online Diagnosis of Discrete Event Systems
• Supervisory Control for Opacity
• The Diagnosability of Petri Net Models Using Minimal Explanations
• Fault diagnosis in discrete-event systems: Framework and model reduction
• Diagnosis of asynchronous discrete-event systems: a net unfolding approach
• Observability of place/transition nets
• Observer-Based State-Feedback Control of Timed Petri Nets With Deadlock Recovery
• Algebraic approaches for fault identification in discrete-event systems
• Marking Estimation of Petri Nets With Silent Transitions
• Predicates and predicate transformers for supervisory control of discrete event dynamical systems
• A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets

This page was built for publication: State Estimation and Fault Detection Using Petri Nets