On-line monitoring of large Petri net models under partial observation

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

zbMATH Keywords

Petri netsdiagnosismonitoringdiscrete event systems

Mathematics Subject Classification ID

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

• visualSTATE

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