![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach: Dokumententyp |
Veröffentlichungsdatum
Anzahl der Publikationen: 9
2022
Liu, Siyuan; Saoud, Adnane; Jagtap, Pushpak; Dimarogonas, Dimos V. und Zamani, Majid
(2022):
Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts.
IEEE 61st Conference on Decision and Control (CDC), Cancun, Mexico, 06-09 December 2022.
In: 2022 IEEE 61st Conference on Decision and Control (CDC),
Piscataway, NJ, USA: IEEE. S. 2184-2189
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
Liu, Siyuan; Trivedi, Ashutosh; Yin, Xiang und Zamani, Majid
(2022):
Secure-by-construction synthesis of cyber-physical systems.
In: Annual Reviews in Control, Bd. 53: S. 30-50
2021
Liu, Siyuan und Zamani, Majid
(2021):
Verification of Approximate Opacity via Barrier Certificates.
2021 American Control Conference (ACC), New Orleans, LA, USA, 25-28 May 2021.
In: 2021 American Control Conference (ACC),
New York: IEEE. S. 764-769
Liu, Siyuan; Noroozi, Navid und Zamani, Majid
(2021):
Symbolic models for infinite networks of control systems: A compositional approach.
In: Nonlinear Analysis-Hybrid Systems, Bd. 43, 101097
Liu, Siyuan; Swikir, Abdalla und Zamani, Majid
(2021):
Verification of approximate opacity for switched systems: A compositional approach.
In: Nonlinear Analysis-Hybrid Systems, Bd. 42, 101084
Liu, Siyuan und Zamani, Majid
(2021):
Compositional synthesis of opacity-preserving finite abstractions for interconnected systems.
In: Automatica, Bd. 131, 109745
Liu, Siyuan und Zamani, Majid
(2021):
Verification of Approximate Opacity via Barrier Certificates.
In: IEEE Control Systems Letters, Bd. 5, Nr. 4: S. 1369-1374
2020
Liu, Siyuan; Yin, Xiang und Zamani, Majid
(2020):
On a Notion of Approximate Opacity for Discrete-Time Stochastic Control Systems.
In: 2020 American Control Conference (Acc): S. 5413-5418