Login
Document type:
Zeitschriftenartikel / Journal Article
Title:
Formal controller synthesis from specifications given by discrete-time hybrid automata
Journal:
Automatica
Volume:
131
Year:
2021
Pages from - to:
109768
Language:
Englisch
ISSN:
0005-1098
Article ID:
109768
Department:
Fakultät für Luft- und Raumfahrttechnik
Institute:
LRT 15 - Institut für Steuer- und Regelungstechnik
Chair:
Gerdts, Matthias
Open Access yes or no?:
Nein / No
BibTeX