Verification of Approximate Opacity via Barrier Certificates

Siyuan Liu, Majid Zamani. Verification of Approximate Opacity via Barrier Certificates. In 2021 American Control Conference, ACC 2021, New Orleans, LA, USA, May 25-28, 2021. pages 764-769, IEEE, 2021. [doi]

Authors

Siyuan Liu

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

Majid Zamani

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