Diagnosis of timed patterns for discrete event systems by means of state isolation (Q6110300)
From MaRDI portal
scientific article; zbMATH DE number 7707489
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Diagnosis of timed patterns for discrete event systems by means of state isolation |
scientific article; zbMATH DE number 7707489 |
Statements
Diagnosis of timed patterns for discrete event systems by means of state isolation (English)
0 references
5 July 2023
0 references
discrete event systems
0 references
fault patterns
0 references
timed automata
0 references
diagnosis
0 references
diagnosability
0 references
