Login / Signup
Abstraction-Based Synthesis of Opacity-Enforcing Controllers using Alternating Simulation Relations.
Junyao Hou
Xiang Yin
Shaoyuan Li
Majid Zamani
Published in:
CDC (2019)
Keyphrases
</>
controller synthesis
mathematical model
simulation model
simulation models
simulation study
database
control system
simulation environment
case study
reinforcement learning
video sequences
numerical simulations
temporal relations
program synthesis
decision theoretic planning