Polynomial-Time Verification and Enforcement of Delayed Strong Detectability for Discrete-Event Systems.
Kuize ZhangPublished in: IEEE Trans. Autom. Control. (2023)
Keyphrases
- discrete event systems
- petri net
- complex systems
- telecommunication networks
- model based diagnosis
- discrete event
- failure diagnosis
- model checking
- timed petri nets
- special case
- temporal constraints
- dynamic systems
- computational complexity
- approximation algorithms
- image quality
- worst case
- simulation model
- qualitative and quantitative
- access control
- formal verification
- high level