Logo Logo
[up] Up a level
Group by: Item Type | Date
Jump to: Journal article
Number of items: 1.

Journal article

Kalat, Shadi Tasdighi; Liu, Siyuan and Zamani, Majid (2022): Modular Verification of Opacity for Interconnected Control Systems via Barrier Certificates. In: IEEE Control Systems Letters (L-Css), Vol. 6: pp. 890-895

This list was generated on Sun Sep 8 03:22:34 2024 CEST.

Open Access LMU is powered by EPrints 3, which is developed by the School of Electronics and Computer Science at the University of Southampton.
Imprint - Privacy Disclaimer