Search for dissertations about: "mathematical modeling languages"

Showing result 1 - 5 of 15 swedish dissertations containing the words mathematical modeling languages.

  2. 1. PDEModelica – A High-Level Language for Modeling with Partial Differential Equations

    Author : Levon Saldamli; Peter Fritzson; Bernhard Bachmann; Francesco di Casella; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; mathematical modeling; PDEModelica; Modelica; object-oriented modeling; equation-based modeling; declarative modeling; high-level modeling languages; mathematical modeling languages; Computer science; Datavetenskap;

    Abstract : This thesis describes work on a new high-level mathematical modeling language and framework called PDEModelica for modeling with partial differential equations. It is an extension to the current Modelica modeling language for object-oriented, equation-based modeling based on differential and algebraic equations. READ MORE

  4. 2. Meta-Languages and Semantics for Equation-Based Modeling and Simulation

    Author : David Broman; Peter Fritzson; Jeremy Siek; Thomas Schön; Björn Lisper; Walid Taha; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Meta-language; semantics; EOO; Modelica; equations; modeling; simulation; MKL; Computer science; Datalogi;

    Abstract : Performing computational experiments on mathematical models instead of building and testing physical prototypes can drastically reduce the develop cost for complex systems such as automobiles, aircraft, and powerplants. In the past three decades, a new category of equation-based modeling languages has appeared that is based on acausal and object-oriented modeling principles, enabling good reuse of models. READ MORE

  5. 3. ForSyDe-Atom: Design of Heterogeneous Embedded Systems : Taming Complexity with Layers, Atoms and Patterns

    Author : George Ungureanu; Ingo Sander; Reinhard von Hanxleden; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; system design languages; modeling; simulation; synthesis; embedded systems; cyber-physical systems; domain specific languages; systemdesignspråk; modellering; simulering; syntes; inbyggda system; cyberfysiska system; domänspecifika språk; Informations- och kommunikationsteknik; Information and Communication Technology;

    Abstract : The design of embedded systems is inherently complex for two main reasons. Firstly, it entails the combined knowledge and results from a vast set of mature, well-established, yet separate disciplines, such as electrical engineering, computer science, mechanical engineering, etc. READ MORE

  6. 4. SEMANTIC INFORMATION AND PHYSICAL MULTI-DOMAIN MODELING AND SIMULATION FOR POWER SYSTEMS

    Author : Francisco José Gómez; Luigi Vanfretti; Svein Olsen; Peter Palensky; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; POWER SYSTEMS; MODELING; SIMULATION; CIM; MODELICA; ISO 15926; MULTI-DOMAIN; UML; SYSML; Energy Technology; Energiteknik;

    Abstract : There are different reasons for combining different modeling languages and simulationlanguages: Exchange of more detailed information about power network components, theirparameters and, most importantly, mathematical equations describing their behavior andthe exchange of a mathematical description, using equation-based languages (e.g. READ MORE

  7. 5. On Formal Methods in Development of Control Logic Using IEC 61499

    Author : Goran Cengic; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Modeling; Synthesis; Verification; Formal Methods; Supervisory Control Theory; IEC 61499; Control Logic Development;

    Abstract : In the present global economy the manufacturing industry is faced with the challenges that need to be overcome in order to remain competitive and avoid outsourcing. One of the challenges is the efficient development of the control logicfor the distributed control systems that are often used to control the manufacturing equipment in the industry. READ MORE