Abstraction-Based Synthesis of Controllers for Approximate Opacity

Junyao Hou, Siyuan Liu, Xiang Yin 0003, Majid Zamani 0001. Abstraction-Based Synthesis of Controllers for Approximate Opacity. In 62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, December 13-15, 2023. pages 7930-7936, IEEE, 2023. [doi]

Authors

Junyao Hou

This author has not been identified. Look up 'Junyao Hou' in Google

Siyuan Liu

This author has not been identified. Look up 'Siyuan Liu' in Google

Xiang Yin 0003

This author has not been identified. Look up 'Xiang Yin 0003' in Google

Majid Zamani 0001

This author has not been identified. Look up 'Majid Zamani 0001' in Google