Stepwise Refinement of Hybrid Systems

Jaarverslag 1997


  1. Algemene Projectgegevens

    2. Titel Stepwise Refinement of Hybrid Systems
    Projectnummer SION 612-14-004
    Medewerkers prof. dr. Frits Vaandrager, CSI, Nijmegen (projectleider)
    drs. Ansgar Fehnker (OiO)

  2. Projectdoelstellingen

    3. Hybride systemen zijn systemen die zowel uit discrete als ook uit continue componenten bestaan. Typische voorbeelden zijn computers die in wisselwerking treden met de (continue) omgeving. De specificatie, het ontwerp en de analyse van hybride systemen, vergt een synthese van concepten uit de Informatica en de Systeem- en Regeltheorie. Doel van dit project is het ontwikkelen van een methodologieën voor de stapsgewijze verfijning van hybride systemen om te kunnen bewijzen dat een hybried systeem een abstractie is van een ander, en het vinden van een modellen van hybride systemen die geanalyseerd kunnen worden met algoritmische middelen. Ansgar Fehnker zal het eerste jaar wordt voornamelijk besteden aan het inlezen in de literatuur, het bestuderen van een aantal voorbeelden van hybride systemen, en het volgen resp. geven van gerelateerd onderwijs.

  3. Voortgangsaspecten

    4. Ansgar Fehnker besteedde de eerste weken met het bestuderen van relevante literatuur over automaten, getimede automaten en hybride systemen. Vervolgens werd een hybride systeem dat de hoogte van de chassis van een BMW ten opzicht van een wiel regelt geanalyseerd. Voor de approximatie van de bereikbare toestanden werd een nieuwe methode ontwikkeld die gebruik maak van lineaire ongelijkheden, en concepten uit de theorie over optimale besturing. Het artikel met resultaten en een beschrijving van de methode zal volgend jaar gepresenteerd worden tijdens de internationale workshop Hybrid Systems 98 in Berkeley, Californië.

    In samenwerking met H. Dierks van de Universität Oldenburg, en A. Mader en F.W. Vaandrager van de Katholieke Universiteit Nijmegen werd aan een formeel model van Programmable Logic Controllers gewerkt. Dit resulteerde in een artikel dat begin 1998 als CSI-rapport zal verschijnen.

    In het najaarssemester verleende Ansgar Fehnker assistentie bij het college M3: Operating Systems.

  4. Contacten

    5. Samenwerking en contact in verband met gerelateerd onderzoek bestaat onder andere met H. Sipma (Stanford), R. Segala (Bologna), D.A. Van Beek, J.E. Rooda, G. Fábián (TUE), H. Dierks (Oldenburg) en J.H. van Schuppen (CWI).

  5. Reizen

  6. Publicaties

  7. Overige Informatie

    8. Het EU LTR onderzoeksvoorstel Verification of Hybrid Systems (VHS) is geaccepteerd, en zal begin 1998 van start gaan. Partners in dit project zijn Verimag (Grenoble), Weizmann Institute (Israel), BRICS (Aalborg), CWI (Amsterdam), de universiteiten van Dortmund, Kiel en Gent, en de bedrijven Sidmar, Nylstar, Krupp en Riedel.