Technische Informatik: Hybride Systeme

Forschungsgebiete

Hybrid diskret-kontinuierliche dynamische Systeme, speziell eingebettete Computersysteme und eingebettete Leit- und Regelungstechnik, inklusive Anwendungen in der Steuerung autonomer Fahrzeuge.

Ausstattung

Fahrsimulator

Leistungsangebot

Unterstützung bei Einführung modellbasierter Entwurfs- und Verifikationstechniken für eingebettete Systeme, spez. in hybrid diskret-kontinuierlichen Anwendungsdomänen; Beratung bei Validierung ind Sicherheitsanalyse eingebetteter Systeme

Schlagworte

Eingebettete Computersysteme / Hybride Systeme / Sicherheit / Zuverlässigkeit / Modellierung / Formale Beschreibung / Verifikation / Pfadplanung

Areas of research

Hybrid discrete-continuous dynamical systems in embedded computing and embedded control, including applications to the control of autonomous vehicles.

Keywords

Embedded Systems / Hybrid Systems / Safety / Dependability / Modelling / Formal Methods / Verification / Path Planning

Forschungsprojekte

Kontakt

Ansprechpartner/-in

Herr Prof. Dr. Martin Fränzle
Telefon:
0441 / 9722-566
Telefax:
0441 / 9722-502
Herr Dipl.-Inform. Tino Teige
Telefon:
0441 / 9722-535
Herr MSc Andreas Eggers
Telefon:
0441 / 9722-533

Forschungseinrichtung

Carl von Ossietzky Universität Oldenburg
Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften
Department für Informatik
Technische Informatik: Hybride Systeme
Hausanschrift:
Ammerländer Heerstraße 114-118
26129 Oldenburg
Telefon:
0441 / 798-4398
Telefax:
0441 / 798-2155
Bemerkung:
Besuchsadresse: Eschwerweg 2 (OFFIS-Gebäude), 26121 Oldenburg
Stand: 15.02.2010