Logo Logo
Exportieren als [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Gruppiert nach: Dokumententyp | Veröffentlichungsdatum
Springe zu: 2022
Anzahl der Publikationen: 1

2022

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

Diese Liste wurde am Sat Jan 11 19:41:25 2025 CET erstellt.