Verification of safe diagnosability of stochastic discrete-event systems (Q5027364)
From MaRDI portal
scientific article; zbMATH DE number 7469371
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verification of safe diagnosability of stochastic discrete-event systems |
scientific article; zbMATH DE number 7469371 |
Statements
Verification of safe diagnosability of stochastic discrete-event systems (English)
0 references
4 February 2022
0 references
discrete-event systems
0 references
safe diagnosability
0 references
failure diagnosis
0 references
stochastic automata
0 references
verifier
0 references
0 references
