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

本文主要研究了混合动力混合动力模型的结构、结构和性能。在德国，我们的<s:1>混合动力汽车和汽车的混合动力汽车和汽车的混合动力汽车和汽车的混合动力汽车的混合动力汽车和汽车的混合动力汽车的混合动力汽车和汽车的混合动力汽车的混合动力汽车的混合动力汽车。在德国德国，德国德国德国Störungen，德国德国德国Überwachung，德国德国德国，德国德国，德国，德国，德国，德国，德国，德国，德国，德国，德国，德国，德国，德国，德国，德国，德国，德国，德国，德国，德国，德国，德国，德国，德国，德国，德国。

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.