mediaTUM
Universitätsbibliothek
Technische Universität München
User: Guest
Login
de
en
mediaTUM Content
University Bibliography
2024
(5262)
2023
(7955)
2022
(8729)
2021
(8937)
2020
(8190)
2019
(8865)
2018
(8662)
2017
(8686)
2016
(8831)
2015
(8220)
2014
(7148)
2013
(6755)
2012
(5774)
Fakultäten
(5453)
Architektur
(131)
Bau Geo Umwelt
(989)
Chemie
(34)
Elektrotechnik und Informationstechnik
(1069)
Informatik
(397)
Fachgebiet Algorithmische Spieltheorie ((Prof. Brandt))
Fachgebiet Algorithmus und Software für Höchstleistungsrechner ((Prof. Bader))
(5)
Fachgebiet Architektur paralleler und verteilter Systeme (Prof. Gerndt)
Fachgebiet Biomimetische Robotersysteme und Maschinelles Lernen ((Prof. van der Smagt))
Fachgebiet Cyber Physical Systems
(4)
Fachgebiet Datenbanksysteme (Prof. Neumann)
Fachgebiet Erweiterte Realität ((Prof. Klinker))
(19)
Fachgebiet Intelligente Autonome Systeme
Fachgebiet Programmierung / Anwendung verteilter Systeme (Prof. Brüggemann-Klein)
Fachgebiet Telerobotik und Sensordatenfusion ((Prof. Burschka))
Fachgebiet Theoretische Informatik ((Prof. Räcke))
Fachgebiet Vernetzte Rechensysteme (Prof. Baumgarten)
(15)
Fachgebiet Wissenschaftliches Rechnen (Prof. Huckle)
Lehrstuhl für Bildverarbeitung und Mustererkennung (Prof. Cremers)
Lehrstuhl für Informatik 12 / Bioinformatik (Prof. Rost)
Lehrstuhl für Informatik 1 / Angewandte Softwaretechnik (Prof. Brügge)
Lehrstuhl für Informatik 2 / Sprachen und Beschreibungsstruktur (Prof. Seidl)
Lehrstuhl für Informatik 3 / Datenbanksysteme (Prof. Kemper)
Lehrstuhl für Informatik 4 / Software und Systems Engeneering (Prof. Broy)
Lehrstuhl für Informatik 5 / Wissenschaftliches Rechnen (Prof. Bungartz)
(50)
Lehrstuhl für Informatik 6 / Echtzeitsysteme und Robotik (Prof. Knoll)
(99)
Lehrstuhl für Informatik 7 / Theoretische Informatik (Prof. Esparza)
Lehrstuhl für Informatik / Angewandte Informatik – Kooperative Systeme (Prof. Schlichter)
Lehrstuhl für Informatik / Effiziente Algorithmen (Prof. Mayr)
(5)
Lehrstuhl für Informatik / Grafik und Visualisierung (Prof. Westermann)
Lehrstuhl für Informatik / Informatik-Anwendungen in der Medizin (Prof. Navab)
(126)
Lehrstuhl für Informatik / Rechnertechnik. und Rechnerorganisation (Prof. Bode)
Lehrstuhl für Informatik /Software Engineering b.InfS (Prof. Matthes)
Lehrstuhl für Informatik / Wirtschaftsinformatik (Prof. Krcmar)
(54)
Lehrstuhl für Logik und Verifikation in der Informatik ((Prof. Nipkow))
Lehrstuhl für Netzarchitekturen und Netzdienste (Prof. Carle)
(18)
Lehrstuhl für Sicherheit in der Informatik (Prof. Eckert)
Lehrstuhl für Wirtschaftsinformatik (Prof. Jacobsen)
Lehrstuhl für Wirtschaftsinformatik und Entscheidungstheorie (Prof. Bichler)
Stiftungslehrstuhl für Software Engineering (Prof. Pretschner)
(10)
Maschinenwesen
(728)
Mathematik
(136)
Medizin
(508)
Physik
(113)
Sport- und Gesundheitswissenschaften
(50)
TUM School of Education
(165)
Wirtschaftswissenschaften
(298)
Wissenschaftszentrum Weihenstephan
(842)
Integrated Research Centers
(127)
Zentrale Einrichtungen
(194)
2011
(5563)
2010
(5427)
2009
(4595)
2008
(4109)
1989 - 2007
Electronic Examination Papers
Open Access Publikationen
Research Data
TUM.University Press
Collections
Projects
Institutions
mediaTUM Gesamtbestand
Hochschulbibliographie
2012
Fakultäten
Informatik
Fachgebiet Cyber Physical Systems
Back
Back to start of result list
Permanent link for displayed object
If you experience problems opening the document, please try this link.
Title:
Reachability Computation of Low-Order Models for the Safety Verification of High-Order Road Vehicle Models
Author(s):
Althoff, M.; Dolan, J. M.
Book / Congress title:
Proc. of the American Control Conference
Year:
2012
Pages:
3559-3566
BibTeX
Occurrences:
mediaTUM Gesamtbestand
Einrichtungen
Schools
TUM School of Computation, Information and Technology
Departments
Computer Engineering
Informatik 6 - Professur für Cyber Physical Systems (Prof. Althoff)
2012
mediaTUM Gesamtbestand
Hochschulbibliographie
2012
Fakultäten
Informatik
Fachgebiet Cyber Physical Systems