On-line monitoring of large Petri net models under partial observation
From MaRDI portal
Publication:732251
DOI10.1007/s10626-007-0036-xzbMath1171.93356MaRDI QIDQ732251
George Jiroveanu, René K. Boel, Behzad Bordbar
Publication date: 9 October 2009
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10626-007-0036-x
90C35: Programming involving graphs or networks
93C65: Discrete event control/observation systems
93B07: Observability
93A15: Large-scale systems
Related Items
Diagnosis on a sliding window for partially observable Petri nets, Supervisory control of discrete-event systems under external attacks, On-line fault detection in discrete event systems by Petri nets and integer linear programming, Counter approach for the estimation of optimal sequences in partially observable untimed Petri nets, Modeling, simulation, estimation and boundedness analysis of discrete event systems, Fault diagnosis in labelled Petri nets: a Fourier-Motzkin based approach, State Estimation and Fault Detection Using Petri Nets
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Diagnosability of discrete event systems and its applications
- Diagnosis of large active systems
- Distributed monitoring of concurrent and asynchronous systems
- State estimation of \(\lambda\)-free labeled Petri nets with contact-free nondeterministic transitions
- A distributed approach for fault detection and diagnosis based on time Petri nets
- Observability of discrete event dynamic systems
- Distributed Diagnosis of Discrete-Event Systems Using Petri Nets
- On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals
- Diagnosability of discrete-event systems
- Fault diagnosis in discrete-event systems: Framework and model reduction
- Diagnosis of asynchronous discrete-event systems: a net unfolding approach
- Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications
- CONCUR 2003 - Concurrency Theory