Seminar Hybride Systeme

Auf dieser Seite

• Was sind Hybride Systeme
• Voraussetzungen
• Verantstaltungsform
• Veranstalter
• Bespechung und Vergabe von Themen
• Artikel zum Seminar

 
 

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, daß das Gesamtsystem gewisse gew"unschte 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.

 

Voraussetzungen

Abgeschlossenes Grundstudium. Eine Stammvorlesung der theoretischen oder technischen Informatik besucht zu haben, ist von Vorteil.

 

Verantstaltungsform

Das Seminar wird im Wintersemester 99/00 wöchentlich Do 8-10 im Raum A4 2-221 durchgeführt.

 

Veranstalter

Prof. Damm, Dierks, Fränzle, Josko

 

Bespechung und Vergabe von Themen

Eine Vorbesprechung findet am 20.10., 12.30 Uhr (A3-2-209) statt.

 

Artikel zum Seminar

• Michael S. Branicki:
  Analyzing and synthesizing hybrid control systems. In F. Vaandrager, G. Rozenberg (eds.): Lectures on Embedded Systems, LNCS 1494, 1999.
• 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.
• C.A. Yfoulis, A. Muir, P.E. Wellstead, N.B.O.L. Pettit:
  Stabilization of Orthogonal Piecewise Linear Systems: Robustness Analysis and Design In F. Vaandrager, J. van Schuppen: Hybrid systems: Computation and Control, LNCS 1569, 1999.
• A. Bemporad, M. Morari:
  Verification of Hybrid Systems via Mathematical Programming In F. Vaandrager, J. van Schuppen: Hybrid systems: Computation and Control, LNCS 1569, 1999.
• T.A. Henzinger, P.-H. Ho, H. Wong-Toi:
  HyTech: a model checker for hybrid systems In STTT 1,1+2, Springer 1997.
• T. Stauner, O. Müller, M. Fuchs:
  Using HyTech to verify an automotive control system. In O. Maler (ed.): HART 97, LNCS 1201, 1997.
• B. Boigelot, L. Bronne, S. Rassart:
  An improved reachability analysis method for strongly linear hybrid systems. In Orna Grumberg (ed.): CAV'97, LNCS 1254, 1997.
• A. Chutinan, B.H. Krogh:
  Verification of Polyhedral-Invarinat Hybrid Automata Using Polygonal Flow Pipe Approximations. In F. Vaandrager, J. van Schuppen: Hybrid systems: Computation and Control, LNCS 1569, 1999.
• M.R. Greenstreet, I. Mitchell:
  Reachability Analysis Using Polyginal Projections. In F. Vaandrager, J. van Schuppen: Hybrid systems: Computation and Control, LNCS 1569, 1999.
• Thomas A. Henzinger, Peter W. Kopke, Anuj Puri, Pravin Varaiya:
  What's Decidable about Hybrid Automata. In Proceedings of the Twenty-Seventh Annual ACM Symposium on the Theory of Computing, ACM, 1995.
• O. Bournez, O. Maler, A. Pnueli:
  Orthogonal Polyhedra: Representation and Computation In F. Vaandrager, J. van Schuppen: Hybrid systems: Computation and Control, LNCS 1569, 1999.
• Howard Wong-Toi:
  The synthesis of controllers for linear hybrid automata. In Proc. CDC'97, 1997.