On verification of D-detectability for discrete event systems.
Jirí BalunTomás MasopustPublished in: Autom. (2021)
Keyphrases
- discrete event systems
- petri net
- complex systems
- telecommunication networks
- model based diagnosis
- failure diagnosis
- discrete event
- timed petri nets
- model checking
- image quality
- noise level
- signature verification
- temporal constraints
- multi agent
- dynamic systems
- simulation model
- verification method
- multi agent systems
- cooperative