Viele Herausforderungen in Automotiv sind diskreter Natur, und lassen sich daher besonders geeignet mit ereignisdiskreten Modellen formal wiedergeben und handhaben. Die Auswahl an ereignisdiskreten Modellierungstechniken ist vielfältig, was sich z.B. in den Unterschieden in Syntax und Semantik und folglich in der Komplexität und Klassifizierung deutlich macht. Im vorliegenden Beitrag wird diese Vielfalt als Motivation aufgefasst, um das Phänomen im Ursprung zu betrachten, nämlich in den Axiomen. Es werden Modellierungsaxiome aufgestellt und daraus prädikatenlogische Definitionen, Sätze und Beweise abgeleitet, und schließlich eine automatentheoretische Kompositionsvorschrift vorgestellt. Der Beitrag setzt mit dem praktischen Teil der Verwendung der Komposition fort. Die Syntax, Semantik, Eigenart, Mächtigkeit und Komplexität der Komposition werden anhand einer Fallstudie unter Beweis gestellt, und die Ergebnisse diskutiert.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Axiomatischer Modellierungsansatz automotiver Systeme


    Beteiligte:

    Kongress:

    AmE 2011 - Automotive meets Electronics - Beiträge der 2. GMM-Fachtagung ; 2011 ; Dortmund, Germany



    Erscheinungsdatum :

    2011-01-01


    Format / Umfang :

    6 pages



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Deutsch



    Integration automotiver Standards in die Seriencodegenerierung

    Thomsen, T. / VDI/VDE-Gesellschaft Mess und Automatisierungstechnik | British Library Conference Proceedings | 2002


    Precoated steel sheets for automotiver use

    Kitayama, M. | Tema Archiv | 1986



    Modellierungsansatz zur Abbildung gesamtmotorischer Reibungsverluste

    Krecker, Oleg / Huber, Bernhard | TIBKAT | 2019