Optimal Synthesis of Opacity-Enforcing Supervisors for Qualitative and Quantitative Specifications.

Yifan Xie Xiang Yin Shaoyuan Li

Published in: CoRR (2021)

Keyphrases

qualitative and quantitative
quantitative and qualitative
qualitative information
temporal reasoning
physical systems
dynamic programming
closed form
neural network
high level
optimal solution
optimal strategy
optimal design
qualitative models
specification language
scientific knowledge