Revelation Time for Initial-State Opacity Measurement in Timed Discrete Event Systems.
Dimitri LefebvreChristoforos N. HadjicostisPublished in: SMC (2019)
Keyphrases
- discrete event systems
- initial state
- petri net
- discrete event
- situation calculus
- state space
- failure diagnosis
- simulation model
- timed petri nets
- optimal policy
- stationary distribution
- complex systems
- action theories
- model based diagnosis
- conformant planning
- probability distribution
- search algorithm
- markov decision processes
- modal logic
- multistage
- mathematical model