A polynomial algorithm for testing diagnosability of discrete-event systems (Q4540472)
From MaRDI portal
scientific article; zbMATH DE number 1769721
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A polynomial algorithm for testing diagnosability of discrete-event systems |
scientific article; zbMATH DE number 1769721 |
Statements
A polynomial algorithm for testing diagnosability of discrete-event systems (English)
0 references
21 July 2002
0 references
complexity
0 references
diagnosability
0 references
discrete event system
0 references
failure diagnosis
0 references
transitive closure
0 references
