Störungsüberwachung und Synthese von Abfahrsteuerungen in hybriden Systemen

点击翻译按钮获取中文摘要

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.