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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Erreichbarkeitsanalyse hybrider Systeme


    Additional title:

    Reachability analysis of hybrid systems


    Contributors:
    Nenninger, G. (author) / Nixdorf, B. (author) / Krebs, V. (author) / Lunze, J. (author)

    Published in:

    Publication date :

    2001


    Size :

    11 Seiten, 5 Bilder, 15 Quellen




    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    German




    Hybrider Schaltregler fuer Infotainment-Systeme

    Kimura,T. / Rohm,DE | Automotive engineering | 2016




    Energiemanagement im Kraftfahrzeug als Betriebsstrategie hybrider Systeme

    Engstle,A. / Egglhuber,R. / Herzog,H.G. et al. | Automotive engineering | 2005


    Energiemanagement im Kraftfahrzeug als Betriebsstrategie hybrider Systeme

    Engstle, A. / Egglhuber, R. / Herzog, H.-G. | British Library Conference Proceedings | 2005