![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Zeitschriftenartikel | Konferenzbeitrag
Anzahl der Publikationen: 5
Zeitschriftenartikel
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
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
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
Konferenzbeitrag
Hou, Junyao; Liu, Siyuan; Yin, Xiang und Zamani, Majid 
ORCID: https://orcid.org/0000-0001-6608-3708
(2023):
Abstraction-Based Synthesis of Controllers for Approximate Opacity.
62nd IEEE Conference on Decision and Control (CDC), Singapore, Singapore, 13.- 15. December 2023.
IEEE Control Systems Society (Hrsg.),
In: 2023 62nd IEEE Conference on Decision and Control (CDC),
Piscataway: IEEE. S. 7930-7936
ORCID: https://orcid.org/0000-0001-6608-3708
(2023):
Abstraction-Based Synthesis of Controllers for Approximate Opacity.
62nd IEEE Conference on Decision and Control (CDC), Singapore, Singapore, 13.- 15. December 2023.
IEEE Control Systems Society (Hrsg.),
In: 2023 62nd IEEE Conference on Decision and Control (CDC),
Piscataway: IEEE. S. 7930-7936
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