Hybride Systeme

2.01.363 Seminar

Hybrid Diskret-Kontinuierliche Eingebettete Systeme

Was sind Hybride Systeme ?

Hybride Systeme beschreiben das Zusammenwirken von kontinuierlichen (analogen) und diskreten (digitalen) Komponenten. Die kontinuierlichen Größen kommen aus der physikalischen Umwelt, z.B. die Temperatur in einem Raum, die es mit diskreten Steuerungen (Hardware oder Software) so zu beeinflussen gilt, dass das Gesamtsystem gewisse gewünschte Eigenschaften erfüllt, z.B. das Halten der Raumtemperatur zwischen 18 und 22 Grad Celsius. Weitere Beispiele für hybride Systeme sind Steuerungen von Verkehrssystemen wie Eisenbahnen und Flugzeuge oder die Überwachung chemischer Prozesse.

Vorbesprechung und Vergabe von Themen

Eine Vorbesprechung findet am Montag, dem 18.04.05 (2. Semesterwoche), 14 - 16 Uhr in S 2-204 statt.

Veranstaltungsform

Das Seminar wird als Blockseminar durchgeführt. Den Termin werden wir in Absprache mit den Seminarteilnehmern festlegen.

Veranstalter

Prof. Dr. Martin Fränzle
Christian Herde

Artikel zum Seminar

  • R. Alur et al.:
    The algorithmics analysis of hybrid systems. Theoretical Computer Science, vol. 138, pp. 3-34, 1995.
  • Amit Bhatia, Emilio Frazzoli:
    Incremental search methods for reachability analysis of continuous and hybrid systems. HSCC 2004, pp. 142-156.
  • Michael S. Branicki:
    Analyzing and synthesizing hybrid control systems. In F. Vaandrager, G. Rozenberg(eds.): Lectures on Embedded Systems, LNCS 1494, 1999.
  • T.A. Henzinger, P.-O. Ho, H. Wong-Toi:
    HyTech: a model checker for hybrid systems. In STTT 1, 1+2, Springer 1997.
  • T.A. Henzinger, P.W. Kopke, A. Puri, P.Varaiya:
    What's decidable about hybrid automata. Proc. 26.th annual ACM Symp. on Theory of Computing (STOC), pp. 373-382, 1995.
  • Timothy J. Hickey, David K. Wittenberg:
    Rigorous modeling of hybrid systems using interval arithmetic constraints. HSCC 2004, pp. 402-416.
  • Yerang Hur et al.:
    Sound code generation from communicating hybrid models. HSCC 2004, pp. 432-447.
  • Pieter J. Mosterman:
    An overview of hybrid simulation phenomena and their support by simulation packages. In F. Vaandrager, J. van Schuppen: Hybrid Systems: Computation and Control, LNCS 1569, 1999.
  • Stephen Prajna, Ali Jadbabaie:
    Safety verification of hybrid systems using barrier certificates. HSCC 2004, pp.477-492.
  • William C. Rounds, Hosung Song:
    The phi-calculus - a hybrid extension of the pi-calculus to embedded systems. Proc. of 18th Workshop on the Mathematical Foundations of Programming Semantics, New Orleans, 2002.
  • Sriram Sankaranarayanan, Henny Sipma, Zohar Manna:
    Constructing invariants for hybrid systems. HSCC 2004, 539-554.
  • B. I. Silva, K. Richeson, B. H. Krogh and A. Chutinan:
    Modeling and verification of hybrid dynamical system using CheckMate. ADPM 2000. Sept 2000.
  • A. Tiwari, N. Shankar, J. Rushby:
    Invisible formal methods for embedded control systems. Proceedings of IEEE, vol. 91, pp. 29-39, 2003.