Login / Signup
Optimal Synthesis of Opacity-Enforcing Supervisors for Qualitative and Quantitative Specifications.
Yifan Xie
Shaoyuan Li
Xiang Yin
Published in:
IEEE Trans. Autom. Control. (2024)
Keyphrases
</>
qualitative and quantitative
quantitative and qualitative
temporal reasoning
qualitative information
dynamic programming
optimal control
specification language
worst case
optimal design
qualitative models
physical systems
high level
content analysis
scientific knowledge