Sowohl beim Entwurf einer Prozessführungseinrichtung als auch bei der Verifikation gesteuerter Prozesse ist zu überprüfen, welche Prozesszustände von einer aktuellen Anfangssituation aus mit den zur Verfügung stehenden Stellgrößen erreicht werden können. Die bei der Erreichbarkeitsanalyse verwendeten Verfahren hängen eng mit der Beschreibungsform zusammen, die das vorhandene Wissen über den Prozess mit Blick auf das Automatisierungsziel abbildet. Ausgehend von zwei verschiedenen Steuerungsaufgaben bei hybriden dynamischen Systemen vermittelt der Beitrag einen Einblick in das Anwendungspotential zweier Methoden beziehungsweise einer gemischt diskret-kontinuierlichen Beschreibung. An einem Beispiel werden die Verfahren gegenübergestellt und aufgezeigt, inwiefern sie sich in der praktischen Anwendung ergänzen.
Erreichbarkeitsanalyse hybrider Systeme
Reachability analysis of hybrid systems
Automatisierungstechnik - at ; 49 , 2 ; 75-85
2001
11 Seiten, 5 Bilder, 15 Quellen
Article (Journal)
German
Anfangswert , dynamisches System , Ereignis , Hybridsimulation , Hybridtechnik , Netztheorie , Prozessautomatisierung , Prozessüberwachung , Quantisierung , Regelkreis , Regelungssystementwurf , Regelungstheorie , Stellgröße , Systemspezifikation , Systemtheorie , Systemüberwachung , Zustandsbeschreibung
Hybrider Schaltregler fuer Infotainment-Systeme
Automotive engineering | 2016
|Schnelle Simulation hybrider Systeme der Automobilelektronik
TIBKAT | 2007
|Energiemanagement im Kraftfahrzeug als Betriebsstrategie hybrider Systeme
Automotive engineering | 2005
|Energiemanagement im Kraftfahrzeug als Betriebsstrategie hybrider Systeme
British Library Conference Proceedings | 2005
|