www.lmu.de
|
UB
|
Blättern
|
Hilfe
Zur erweiterten Suche
English
Login
Registrieren
Admin
Home
Blättern
Hilfe
Fakultäten
Fakultätsübergreifende Einrichtungen
Personen
Themengebiete
Keimelion
Ludovico-Maximilianea
MALTE
Zur erweiterten Suche
Eine Ebene höher
Exportieren als
ASCII Citation
BibTeX
Dublin Core
Dublin Core
EP3 XML
EndNote
HTML Citation
JSON
JSON_EPUB
JSON_EPUB_DOCTYPES
JSON_EPUB_FSP
JSON_EPUB_NEW
METS
Multiline CSV
Object IDs
OpenURL ContextObject
RDF+N-Triples
RDF+N3
RDF+XML
Refer
Reference Manager
RSS 1.0
RSS 2.0
Gruppiert nach:
Dokumententyp
|
Veröffentlichungsdatum
Springe zu:
2022
|
2021
|
2020
|
2019
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
Diese Liste wurde am
Sat Dec 21 20:53:21 2024 CET
erstellt.