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