|
Eine Ebene nach oben |
Gruppiert nach: Dokumententyp |
Veröffentlichungsdatum
Anzahl der Publikationen: 4
2022
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
Xie, Yifan; Yin, Xiang; Li, Shaoyuan und Zamani, Majid
(2021):
Secure-by-Construction Controller Synthesis for Stochastic Systems under Linear Temporal Logic Specifications.
2021 60th IEEE Conference on Decision and Control (CDC), Austin, TX, USA, 14-17 December 2021.
In: 2021 60th IEEE Conference on Decision and Control (CDC),
S. 7015-7021
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
2019
Zhang, Kuize; Yin, Xiang und Zamani, Majid
(2019):
Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach.
In: IEEE Transactions on Automatic Control, Bd. 64, Nr. 12: S. 5116-5123