|
Eine Ebene nach oben |
Gruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Zeitschriftenartikel
Anzahl der Publikationen: 1
Zeitschriftenartikel
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