On-line monitoring of large Petri net models under partial observation
From MaRDI portal
Publication:732251
DOI10.1007/S10626-007-0036-XzbMath1171.93356OpenAlexW2043798931MaRDI 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
Programming involving graphs or networks (90C35) Discrete event control/observation systems (93C65) Observability (93B07) Large-scale systems (93A15)
Related Items (7)
Modeling, simulation, estimation and boundedness analysis of discrete event systems ⋮ Fault diagnosis in labelled Petri nets: a Fourier-Motzkin based approach ⋮ Supervisory control of discrete-event systems under external attacks ⋮ State Estimation and Fault Detection Using Petri Nets ⋮ Counter approach for the estimation of optimal sequences in partially observable untimed Petri nets ⋮ On-line fault detection in discrete event systems by Petri nets and integer linear programming ⋮ Diagnosis on a sliding window for partially observable 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
This page was built for publication: On-line monitoring of large Petri net models under partial observation
