Logo Logo
Eine Ebene nach oben
Exportieren als [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Gruppiert nach: Dokumententyp | Veröffentlichungsdatum
Anzahl der Publikationen: 3

Zeitschriftenartikel

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

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

Diese Liste wurde am Sat Mar 23 22:24:24 2024 CET erstellt.