Hybride Systeme

Lehrveranstaltungen

Fortlaufend

Sommersemester 2016

  • Vorlesung Stud.IP: inf205: Formale Methoden eingebetteter Systeme: Modellbasierte Analyse
  • Vorlesung Stud.IP: inf210: Signal- und Bildverarbeitung
  • Vorlesung Stud.IP: inf300: Hybride Systeme
  • Projektgruppe Stud.IP: inf900: Projektgruppe RCCARS (Fortsetzung) (Projekthomepage)

Sommersemester 2015

  • Vorlesung Stud.IP: inf210: Signal- und Bildverarbeitung
  • Vorlesung Stud.IP: inf345: Autonome Systeme

Wintersemester 2014/2015

  • Vorlesung Stud.IP: inf300: Hybride Systeme
  • Vorlesung Stud.IP: inf205: Formale Methoden eingebetteter Systeme: Modellbasierte Analyse

Wintersemester 2013/2014

  • Vorlesung Stud.IP: inf300: Hybride Systeme
  • Vorlesung Stud.IP: inf200: Technische Informatik
  • Projektgruppe Stud.IP: inf900: Projektgruppe MIPSwarm (Fortsetzung) (Projekthomepage)

Sommersemester 2013

  • Vorlesung Stud.IP: inf210: Signal- und Bildverarbeitung
  • Vorlesung Stud.IP: inf205: Modellierung und Analyse eingebetteter Systeme
  • Projektgruppe Stud.IP: inf900: Projektgruppe MIPSwarm (Projekthomepage)

Wintersemester 2012/2013

Sommersemester 2012

  • Vorlesung Stud.IP: AS 607: Signal- und Bildverarbeitung
  • Vorlesung Stud.IP: AS 303: Formale Methoden Eingebetter Systeme
  • Projektgruppe KM 1: Projektgruppe MoonWalk

Wintersemester 2011/2012

Sommersemester 2011

  • Vorlesung Stud.IP: AS 607: Signal- und Bildverarbeitung
  • Vorlesung Stud.IP: AS 303: Formale Methoden Eingebetter Systeme 
  • Projektgruppe KM 1: safeMob - "Sicher fahren, aber wie?" ANTS - Autonomous Navigating Transportation System

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