State Estimation and Fault Detection Using Petri Nets
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 1341755 (Why is no real title available?)
- A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets
- Algebraic approaches for fault identification in discrete-event systems
- An Efficient Approach for Online Diagnosis of Discrete Event Systems
- Coordinated decentralized protocols for failure diagnosis of discrete event systems
- Decentralized supervisory control with communicating controllers
- Diagnosability of discrete event systems and its applications
- Diagnosability of discrete-event systems
- Diagnosis of asynchronous discrete-event systems: a net unfolding approach
- Fault detection for discrete event systems using Petri nets with unobservable transitions
- Fault diagnosis in discrete event systems modeled by partially observed Petri nets
- Fault diagnosis in discrete-event systems: Framework and model reduction
- Marking Estimation of Petri Nets With Silent Transitions
- Mind the gap: expanding communication options in decentralized discrete-event control
- Observability of discrete event dynamic systems
- Observability of place/transition nets
- Observer-Based State-Feedback Control of Timed Petri Nets With Deadlock Recovery
- On-line monitoring of large Petri net models under partial observation
- Predicates and predicate transformers for supervisory control of discrete event dynamical systems
- Real time identification of discrete event systems using Petri nets
- State estimation of \(\lambda\)-free labeled Petri nets with contact-free nondeterministic transitions
- Supervisory Control for Opacity
- The Diagnosability of Petri Net Models Using Minimal Explanations
- Undecidable problems of decentralized observation and control on regular languages
- Verification of initial-state opacity in security applications of discrete event systems
Cited in
(6)- Methods and Applications of Artificial Intelligence
- Some Remarks on “State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions”
- Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers
- Persistent detection and recovery of state inconsistencies
- State estimation of max-plus automata with unobservable events
- On the solution to the state failure detection problem
This page was built for publication: State Estimation and Fault Detection Using Petri Nets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3011880)
