z-Reliable SE-Coprognosability of Discrete Event Systems and an Algebraic State Space Approach to Verification.
Yingrui ZhouZengqiang ChenYuan-Hua NiZhongxin LiuPublished in: IEEE Trans. Circuits Syst. II Express Briefs (2022)
Keyphrases
- discrete event systems
- state space
- petri net
- complex systems
- model based diagnosis
- timed petri nets
- telecommunication networks
- failure diagnosis
- heuristic search
- discrete event
- model checking
- dynamical systems
- dynamic programming
- search space
- state variables
- reinforcement learning
- temporal constraints
- markov decision processes
- cost effective
- markov chain
- planning problems
- dynamic systems
- reinforcement learning algorithms
- particle filter
- constraint satisfaction
- monte carlo
- stochastic domains