mediaTUM
Universitätsbibliothek
Technische Universität München
Benutzer: Gast
Login
de
en
mediaTUM Gesamtbestand
Hochschulbibliographie
2024
(2520)
2023
(7195)
2022
(8621)
2021
(8879)
2020
(8163)
2019
(8859)
Fakultäten
(8163)
Architektur
(117)
Bau Geo Umwelt
(808)
Chemie
(169)
Elektrotechnik und Informationstechnik
(1251)
Informatik
(524)
Luftfahrt, Raumfahrt und Geodäsie
(505)
Maschinenwesen
(1236)
Mathematik
(163)
Medizin
(761)
Physik
(243)
Sport- und Gesundheitswissenschaften
(355)
TUM Campus Straubing für Biotechnologie und Nachhaltigkeit
(107)
TUM School of Education
(136)
TUM School of Governance
(104)
Wirtschaftswissenschaften
(380)
Wissenschaftszentrum Weihenstephan
(1312)
Integrated Research Centers
(438)
Zentrale Einrichtungen
(258)
2018
(8689)
2017
(8680)
2016
(8816)
2015
(8209)
2014
(7123)
2013
(6741)
2012
(5770)
2011
(5557)
2010
(5415)
2009
(4589)
2008
(4098)
1989 - 2007
Elektronische Prüfungsarbeiten
Open Access Publikationen
Forschungsdaten
TUM.University Press
Sammlungen
Projekte
Einrichtungen
mediaTUM Gesamtbestand
Hochschulbibliographie
2019
Fakultäten
Zurück
Zurück zum Anfang der Trefferliste
Dauerhafter Link zum angezeigten Objekt
Wenn Sie Schwierigkeiten haben, das Dokument zu öffnen, versuchen Sie auch bitte diesen Link
Dokumenttyp:
Konferenzbeitrag
Autor(en):
Phan-Minh, T.; Guo, S.; Schürmann, B.; Althoff, M.; Murray, R. M.
Titel:
A modal interface contract theory for guarded input/output automata with an application in traffic system design
Kongress- / Buchtitel:
Proc. of the American Control Conference
Jahr:
2019
Seiten:
1704-1711
Volltext / DOI:
doi:10.23919/ACC.2019.8814789
BibTeX
Vorkommen:
mediaTUM Gesamtbestand
Einrichtungen
Schools
TUM School of Computation, Information and Technology
Departments
Computer Engineering
Informatik 6 - Professur für Cyber Physical Systems (Prof. Althoff)
2019
mediaTUM Gesamtbestand
Hochschulbibliographie
2019
Fakultäten
Informatik
Informatik 6 - Assistant Professorship Cyber Physical Systems (Prof. Althoff)