Kurzfassung

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, dass 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...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, dass 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, dass die Strecke in einen sicheren Zustand überführt wird, in dem die Störung durch Eingriffe von außen behoben werden kann [78]. Weitere Info im WWW: http://www.uni-koblenz.de/~anzenos/» weiterlesen» einklappen