1–1 von 1 Ergebnissen
|

    Towards the Development of an Interval Arithmetic Environment for Validated Computer-Aided Design and Verification of Systems in Control Engineering

    Freier Zugriff
    Rauh, Andreas / Minisini, Johanna / Hofer, Eberhard P. | BASE | 2008
    Modern techniques for the design and analysis of control strategies for nonlinear dynamical systems are often based on the simulation of ...
    Verlag: Dagstuhl Seminar Proceedings. 08021 - Numerical Validation in Current Hardware Architectures , DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics )
    Schlagwörter: validated integration of ODEs , Data processing Computer science