Xiang Yin 0003, Shaoyuan Li. Verification of Opacity in Networked Supervisory Control Systems with Insecure Control Channels. In 57th IEEE Conference on Decision and Control, CDC 2018, Miami, FL, USA, December 17-19, 2018. pages 4851-4856, IEEE, 2018. [doi]
Abstract is missing.