Störungsüberwachung und Synthese von Abfahrsteuerungen in hybriden Systemen
Subject Area
Automation, Mechatronics, Control Systems, Intelligent Technical Systems, Robotics
Term
from 1999 to 2002
Project identifier
Deutsche Forschungsgemeinschaft (DFG) - Project number 5166692
Ziel der Arbeiten ist die formale Synthese einer Sicherheits- und Abfahrsteuerung auf der Grundlage hybrider Streckenmodelle. Die zu synthetisierende Steuerung leistet dabei das folgende: Sie überwacht die hybriden Trajektorien der gesteuerten Strecke und bewirkt mittels verhindernden oder erzwingenden Steuereingriffen, daß die Strecke nicht in gefährliche Zustände gelangt. Im Falle von nicht kompensierbaren Störungen, die durch die Überwachung der Trajektorien im hybriden Zustandsraum detektiert werden, bewirkt die Steuerung mittels einer Sequenz von Steuereingriffen, daß die Strecke in einen sicheren Zustand überführt wird, in dem die Störung durch Eingriffe von außen behoben werden kann.
DFG Programme
Priority Programmes
