Seminar über Automatentheorie

» Diese Veranstaltung wird auf deutsch gehalten.

Seminar im Wintersemester 2006/2007

ArtTermine/OrtBeginnVeranstalterOrt
S Fr 08:00 - 18:15 (7 Vorträge) 20.10.2006 Thomas, Löding, Karianto b-it in Bonn
S Fr 08:00 - 10:00 (2 Vorträge) 27.10.2006 Thomas, Löding, Karianto 4116
S Fr 08:00 - 13:00 (5 Vorträge) 03.11.2006 Thomas, Löding, Karianto 4116

Inhalt

Ziel des Seminars ist die Erarbeitung von Grundbegriffen und Basisverfahren zu zeitbehafteten, kostenbewerteten und hybriden Systemen. Dies sind Transitionssysteme mit endlichem Zustandsraum, der erweitert ist durch Zeitbedingungen, Kantengewichte bzw. reelle Funktionen (die reellen Funktionen dienen dabei der Beschreibung kontinuierlicher Parameter wie Druck oder Temperatur). Wir beschäftigen uns mit dem Erreichbarkeitsproblem für solche Systeme. Es ist zur Zeit aussichtlos, beliebige hybride Systeme (mit beliebigen reellen Funktionen) zu behandeln. Man beschränkt sich daher auf sog. "o-minimale" Systeme. Das Seminar stützt sich wesentlich auf die sehr systematische und klare Darstellung in der Dissertation

  • Thomas Brihaye, Verification and control of o-minimal hybrid systems and weighted timed automata, 2006.

Anmeldung

Die Vergabe der Plätze erfolgt zentral.

Die Anmeldung ist abgeschlossen. Es sind alle Plätze vergeben.

Vorträge

Freitag, 20.10.06, Bonn, Abfahrt 8 Uhr, Rückfahrt 18.15 Uhr
  • Zeitautomaten und Bisimulation
    Vortrag: Daniel Holz
    Betreuer: W. Karianto
    Quellen: [Brihaye;3.1,3.2] und [AD94]
  • Gewichtete Zeitautomaten
    Vortrag: Katrin Mossbrucker
    Betreuer: W. Karianto
    Quellen: [Brihaye;3.3,4.3.3] und evtl. [BPDG98]
  • Optimale Pfade in gewichteten Zeitautomaten
    Vortrag: Martin Vögeding
    Betreuer: W. Karianto
    Quellen: [Brihaye;4.1]
  • Optimale Erreichbarkeit in gewichteten Zeitautomaten
    Vortrag: Erdal Baran
    Betreuer: W. Karianto
    Quellen: [Brihaye;4.2]
  • TCTL Model-Checking
    Vortrag: Florian Heller
    Betreuer: C. Löding
    Quellen: [Katoen99]
  • Unentscheidbarkeit des WCTL Model-Checking
    Vortrag: Fabian Emmes
    Betreuer: C. Löding
    Quellen: [Brihaye;5.1,5.2]
  • Die Einschränkung WCTLr
    Vortrag: Dominic Decarolis
    Betreuer: C. Löding
    Quellen: [Brihaye;5.3,5.5]
Freitag, 27.10.06, Aachen, 8-10 Uhr
  • Spiele mit Zeitbedingungen
    Vortrag: Stephan Deininghaus
    Betreuer: C. Löding
    Quellen: [MPS95]
  • Optimale Strategien für gewichtete Spiele mit Zeitbedingungen
    Vortrag: Martin Zimmermann
    Betreuer: C. Löding
    Quellen: [Brihaye;6]
Freitag, 3.11.06, Aachen, 8-13 Uhr
  • Dynamische Systeme und Kodierung durch Wörter
    Vortrag: Michael Borth
    Betreuer: W. Thomas
    Quellen: [Brihaye;9,10.1,10.2]
  • Berechnung von Bisimulationen
    Vortrag: Stefan Canis
    Betreuer: W. Thomas
    Quellen: [Brihaye;11]
  • O-minimale Strukturen
    Vortrag: Ulrich Loup
    Betreuer: W. Thomas
    Quellen: [Brihaye;12.1,12.2] und zitierte Arbeiten
  • Errecihbarkeit in o-minimalen dynamischen Systemen
    Vortrag: Florian Hillebrand
    Betreuer: W. Thomas
    Quellen: [Brihaye;12.3-12.5.1]
  • Kontrolle in o-minimalen hybriden Systemen
    Vortrag: Christopher Gretzki
    Betreuer: W. Thomas
    Quellen: [Brihaye;13]

Quellen

  • [Brihaye] Thomas Brihaye, Verification and control of o-minimal hybrid systems and weighted timed automata, 2006.
  • [AD94] R. Alur, D.L. Dill. A Theory of Timed Automata, Theoretical Computer Science 126, pp. 183-235, 1994.
  • [BPDG98] B. Bérard, V. Diekert, P. Gastin and A. Petit. Characterization of the Expressive Power of Silent Transitions in Timed Automata. Fundamenta Informaticae 36(2), pages 145-182, 1998.
  • [Katoen99] J.-P. Katoen. Concepts, Algorithms, and Tools for Model Checking. Universität Erlangen-Nürnberg, Informatik-Berichte Band 32, Nummer 1, Juni 1999.
  • [MPS95] O. Maler, A. Pnueli, J. Sifakis. On the Synthesis of Discrete Controllers for Timed Systems STACS'95, Lecture Notes in Computer Science 900, pages 229-242, Springer, 1995.