Sökning: "Peter Fritzson"

Visar resultat 21 - 25 av 26 avhandlingar innehållade orden Peter Fritzson.

  1. 21. Model-Based Verification of Dynamic System Behavior against Requirements : Method, Language, and Tool

    Författare :Wladimir Schamai; Peter Fritzson; Hans Vangheluwe; Linköpings universitet; []
    Nyckelord :;

    Sammanfattning : Modeling and simulation of complex systems is at the heart of any modern engineering activity. Engineers strive to predict the behavior of the system under development in order to get answers to particular questions long before physical prototypes or the actual system are built and can be tested in real life. LÄS MER

  3. 22. Tools and Methods for Analysis, Debugging, and Performance Improvement of Equation-Based Models

    Författare :Martin Sjölund; Peter Fritzson; Christoph Kessler; Walid Mohamed Taha; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Simulation; modeling; debugging; profiling; optimization; parallelism; Modelica;

    Sammanfattning : Equation-based object-oriented (EOO) modeling languages such as Modelica provide a convenient, declarative method for describing models of cyber-physical systems. Because of the ease of use of EOO languages, large and complex models can be built with limited effort. LÄS MER

  4. 23. Tools for Understanding, Debugging, and Simulation Performance Improvement of Equation-based Models

    Författare :Martin Sjölund; Peter Fritzson; Dirk Zimmer; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Simulation; modelling; debugging; profiling; optimisation; parallelism; Modelica;

    Sammanfattning : Equation-based object-oriented (EOO) modelling languages provide a convenient, declarative method for describing models of cyber-physical systems.Because of the ease of use of EOO languages, large and complex models can be built with limited effort. LÄS MER

  5. 24. Contributions to Parallel Simulation of Equation-Based Models on Graphics Processing Units

    Författare :Kristian Stavåker; Peter Fritzson; Erwin Laure; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Modelica; GPU; CUDA; OpenCL; Modeling; Simulation;

    Sammanfattning : In this thesis we investigate techniques and methods for parallel simulation of equation-based, object-oriented (EOO) Modelica models on graphics processing units (GPUs). Modelica is being developed through an international effort via the Modelica Association. LÄS MER

  7. 25. Contributions to Simulation of Modelica Models on Data-Parallel Multi-Core Architectures

    Författare :Kristian Stavåker; Peter Fritzson; Erwin Laure; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : Modelica is an object-oriented, equation-based modeling and simulation language being developed through an international effort by the Modelica Association. With Modelica it is possible to build computationally demanding models; however, simulating such models might take a considerable amount of time. LÄS MER