scientific article; zbMATH DE number 1341755
From MaRDI portal
Publication:4263300
zbMath0934.93046MaRDI QIDQ4263300
Christoforos N. Hadjicostis, George C. Verghese
Publication date: 13 April 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (11)
Fault diagnosis in discrete event systems modeled by partially observed Petri nets ⋮ Hierarchical fault diagnosis for discrete-event systems under global consistency ⋮ Supervision based on place invariants: a survey ⋮ Stochastic DES fault diagnosis with coloured interpreted Petri nets ⋮ State Estimation and Fault Detection Using Petri Nets ⋮ Algebraic approach for model decomposition: Application to fault detection and isolation in discrete-event systems ⋮ On-line monitoring of large Petri net models under partial observation ⋮ Diagnosis of Partially Observed Petri Net Based on Analytical Redundancy Relationships ⋮ Diagnosis of Petri Nets ⋮ Fault diagnosis for discrete event systems using partially observed Petri nets ⋮ On-line fault detection in discrete event systems by Petri nets and integer linear programming
This page was built for publication:
