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