Infinite-step opacity of stochastic discrete-event systems.
Xiang YinZhaojian LiWeilin WangShaoyuan LiPublished in: ASCC (2017)
Keyphrases
- discrete event systems
- timed petri nets
- petri net
- discrete event
- telecommunication networks
- complex systems
- model based diagnosis
- failure diagnosis
- dynamic systems
- post processing
- monte carlo
- image sequences
- temporal constraints
- integrity constraints
- constraint satisfaction
- heuristic search
- object oriented
- special case
- expert systems
- databases