Reduced-complexity verification for initial-state opacity in modular discrete event systems.
Anooshiravan SabooriChristoforos N. HadjicostisPublished in: WODES (2010)
Keyphrases
- initial state
- discrete event systems
- reduced complexity
- petri net
- vector quantization
- situation calculus
- model based diagnosis
- telecommunication networks
- state space
- complex systems
- discrete event
- model checking
- optimal policy
- motion estimation algorithm
- image coder
- bayesian networks
- linear programming
- reinforcement learning
- multiscale