Abstraction-Based Synthesis of Opacity-Enforcing Controllers using Alternating Simulation Relations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Junyao Hou, Xiang Yin 0003, Shaoyuan Li, Majid Zamani. Abstraction-Based Synthesis of Opacity-Enforcing Controllers using Alternating Simulation Relations. In 58th IEEE Conference on Decision and Control, CDC 2019, Nice, France, December 11-13, 2019. pages 7653-7658, IEEE, 2019. [doi]

This author has not been identified. Look up 'Junyao Hou' in GoogleThis author has not been identified. Look up 'Xiang Yin 0003' in GoogleThis author has not been identified. Look up 'Shaoyuan Li' in GoogleThis author has not been identified. Look up 'Majid Zamani' in Google

runs on WebDSL