Login
- Autorinnen/Autoren:
- Sinyakov; Vladimir; Girard, Antoine
- Dokumenttyp:
- Zeitschriftenartikel / Journal Article
- Titel:
- Formal controller synthesis from specifications given by discrete-time hybrid automata
- Zeitschrift:
- Automatica
- Jahrgang:
- 131
- Jahr:
- 2021
- Seitenbereich:
- 109768
- Sprache:
- Englisch
- ISSN:
- 0005-1098
- Article-ID:
- 109768
- DOI:
- 10.1016/j.automatica.2021.109768
- URL zum Inhalt:
- https://doi.org/10.1016/j.automatica.2021.109768
- Fakultät:
- Fakultät für Luft- und Raumfahrttechnik
- Institut:
- LRT 15 - Institut für Steuer- und Regelungstechnik
- Professorin/Professor:
- Gerdts, Matthias
- Open Access:
- Nein / No
BibTeX