For many crucial applications, establishing important properties of Simulink models by testing is either extremely resource intensive or impossible, and proof of the properties is highly desirable. Many Simulink models rely upon discrete-valued functions for which the function values are defined as a lookup table of correspondences between values in the domain and range, with linear interpolation used to evaluate intermediate values in the domain. Such discrete-valued functions arise in applications for which no known closed-form algebraic definition exists.In general, the proof of a property for a model that includes a discrete-valued function has to be by case analysis. For a single function and with mechanical support, case analysis is manageable. However, for models that include multiple discrete-valued functions, the number of cases can be the product of the cardinalities of the domains of the individual functions. We have observed production models in which this product rises to a level in which proof is intractable using standard techniques.In this paper, we examine four approaches to dealing with the combinatorial explosion: parallelism, pruning, approximation with flat-interpolated lookup tables, and functional approximation. For each approach, we discuss the concept and present a preliminary analysis of performance.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Proving Properties of Simulink Models that Include Discrete Valued Functions


    Weitere Titelangaben:

    Sae Technical Papers


    Beteiligte:

    Kongress:

    SAE 2016 World Congress and Exhibition ; 2016



    Erscheinungsdatum :

    2016-04-05




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Proving properties of Simulink models that include discrete valued functions

    Hocking,A.B. / Aiello,M.A. / Knight,J.C. et al. | Kraftfahrwesen | 2016


    Model database for complex simulink models

    Schlüter, Wolfgang / Kvasnicka, Pavel / Kämpf, Bernhard | Tema Archiv | 2005


    Laxity release optimization for Simulink models

    Qin,K. / Luo,G. / Zhao,X. et al. | Kraftfahrwesen | 2014


    Adjoint Analysis of Mixed Continuous/Discrete Systems in Simulink

    Bucco, Domenic / Weiss, Martin | AIAA | 2010


    Automated functional testing of simulink control models

    Carter, Jason M. / Lin, Lan / Poore, Jesse H. | Tema Archiv | 2008