Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Proving properties of Simulink models that include discrete valued functions


    Additional title:

    Der Nachweis der Eigenschaften von Simulink Modellen mit Funktionen mit diskreten Werten.



    Publication date :

    2016


    Size :

    7 pages


    Remarks:

    SAE-Paper;2016-01-0129;2016


    Type of media :

    Miscellaneous


    Type of material :

    Print


    Language :

    English



    Proving Properties of Simulink Models that Include Discrete Valued Functions

    Hocking, Ashlie B. / Aiello, M. Anthony / Knight, John C. et al. | British Library Conference Proceedings | 2016


    Proving Properties of Simulink Models that Include Discrete Valued Functions

    Hocking, Ashlie B. / Knight, John C. / Aiello, M. Anthony et al. | SAE Technical Papers | 2016


    Building Simulink S-Functions

    Colgren, Richard | AIAA | 2007


    Building Simulink Linear Models

    Colgren, Richard | AIAA | 2007