Necessary and Sufficient Condition to Assess Initial-State-Opacity in Live Bounded and Reversible Discrete Event Systems.
Francesco BasileGianmaria De TommasiCarlo MottaClaudio SterlePublished in: IEEE Control. Syst. Lett. (2022)
Keyphrases
- sufficient conditions
- initial state
- discrete event systems
- optimal policy
- petri net
- model based diagnosis
- situation calculus
- complex systems
- telecommunication networks
- state space
- discrete event
- stationary distribution
- markov chain
- exponential stability
- probability distribution
- markov decision process
- markov decision processes
- temporal constraints
- decision problems
- multistage
- machine learning
- simulation model
- average cost
- infinite horizon
- dynamic systems
- model checking
- dynamic programming
- learning algorithm