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

Bingzhuo Zhong, Majid Zamani, Marco Caccamo

Publikation: Beitrag in FachzeitschriftArtikelBegutachtung

Fingerprint

Untersuchen Sie die Forschungsthemen von „Formal Synthesis of Controllers for Uncertain Linear Systems Against ω-Regular Properties: A Set-Based Approach“. Zusammen bilden sie einen einzigartigen Fingerprint.

Keyphrases

Computer Science

Mathematics

Chemical Engineering