Login
- Authors:
- Sinyakov; Vladimir; Girard, Antoine
- 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
- DOI:
- 10.1016/j.automatica.2021.109768
- URL:
- https://doi.org/10.1016/j.automatica.2021.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