Benutzer: Gast  Login
Titel:

Formal Synthesis of Controllers for Uncertain Linear Systems Against $\omega$-Regular Properties: A Set-Based Approach

Dokumenttyp:
Zeitschriftenaufsatz
Autor(en):
Zhong, Bingzhuo; Zamani, Majid; Caccamo, Marco
Zeitschriftentitel:
IEEE Transactions on Automatic Control
Jahr:
2023
Seitenangaben Beitrag:
1-16
Volltext / DOI:
doi:10.1109/tac.2023.3267397
Verlag / Institution:
Institute of Electrical and Electronics Engineers (IEEE)
E-ISSN:
0018-92861558-25232334-3303
Publikationsdatum:
01.01.2023
 BibTeX