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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Erreichbarkeitsanalyse hybrider Systeme


    Weitere Titelangaben:

    Reachability analysis of hybrid systems


    Beteiligte:
    Nenninger, G. (Autor:in) / Nixdorf, B. (Autor:in) / Krebs, V. (Autor:in) / Lunze, J. (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    2001


    Format / Umfang :

    11 Seiten, 5 Bilder, 15 Quellen




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Deutsch




    Hybrider Schaltregler fuer Infotainment-Systeme

    Kimura,T. / Rohm,DE | Kraftfahrwesen | 2016




    Energiemanagement im Kraftfahrzeug als Betriebsstrategie hybrider Systeme

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


    Energiemanagement im Kraftfahrzeug als Betriebsstrategie hybrider Systeme

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