Hybride Systeme

Lehrveranstaltungen

Fortlaufend

Wintersemester 2016/2017

Wintersemester 2015/2016

Sommersemester 2015

Sommersemester 2012

Sommersemester 2011

Wintersemester 2010/2011

Wintersemester 2009/2010

  • Vorlesung + Seminar Mechanismen der automatischen Fahrzeugführung
  • Seminar Spielen der Korrektheit wegen: Spiele im Entwurf eingebetteter Systeme

Sommersemester 2009

  • Vorlesung Formale Methoden Eingebetteter Systeme
  • Vorlesung, Seminar, Praktikum Modellierung und Analyse Probabilistischer Systeme
  • Projektgruppe Projektgruppe fm@acs

Wintersemester 2008/2009

  • Vorlesung Technische Informatik I
  • Vorlesung Design of Safety Critical automotive Systems

Sommersemester 2008

Wintersemester 2007/2008

Sommersemester 2007

  • Vorlesung Formale Methoden Eingebetteter Systeme
  • Seminar An der Grenzlinie der Entscheidbarkeit
  • Projektgruppe TyrannoRobos

Wintersemester 2006/2007

  • Vorlesung Hybrid diskret-kontinuierliche Systeme
  • Vorlesung und Seminar Grundlagen moderner SAT-Solver

Sommersemester 2006

  • Vorlesung Formale Methoden Eingebetteter Systeme
  • Vorlesung Eingebettete Systeme II

Wintersemester 2005/2006

Sommersemester 2005