Sufficiency for diagnosability of stochastic discrete-event systems and a polynomial-time verification (Q6581168)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Sufficiency for diagnosability of stochastic discrete-event systems and a polynomial-time verification |
scientific article; zbMATH DE number 7889227
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Sufficiency for diagnosability of stochastic discrete-event systems and a polynomial-time verification |
scientific article; zbMATH DE number 7889227 |
Statements
Sufficiency for diagnosability of stochastic discrete-event systems and a polynomial-time verification (English)
0 references
30 July 2024
0 references
diagnosability
0 references
polynomial method
0 references
stochastic discrete-event systems
0 references
sufficient condition
0 references