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

Zil der Arbeiten是一种形式，它合成了这些einer Sinherheits-and Abfahrsteuerung auf der Grundlage杂交者Strecendelle。他说：“这是一件很重要的事情，因为它是一件很重要的事情。Im Falle von Nicht kompensierbaren Störungen，die dch die de berwachung der Trajektorien im杂交den ZuStandsraum detektiert wden，bewirkt die steuerung mittels einer Sequenz von Steuereingriffen，da？die die Strecke in Einen sicheren Zustandüberführt wird，in Dm die de Störung dw ch Eingriffe von Aon Aon Behoben wnden kann。

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.