Logo Logo
Eine Ebene nach oben
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 Sun Jun 2 03:02:38 2024 CEST erstellt.