Search for dissertations about: "high-level modeling languages"

Showing result 1 - 5 of 7 swedish dissertations containing the words high-level 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. Design and Implementation of Object-Oriented Model Libraries using Modelica

    Author : Hubertus Tummescheit; Institutionen för reglerteknik; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; modeling languages; thermo-fluid systems; process modeling; process control; control systems; thermo-hydraulic systems; non-linear models; model library design; object-oriented; modeling; simulation; Automation; robotics; control engineering; Automatiska system; robotteknik; reglerteknik;

    Abstract : This thesis describes basic models for thermo-fluid systems and the implementation of the models using a flexible object-oriented structure in the ThermoFluid library. Model libraries provide an excellent way to package engineering knowledge of systems to be reused by non-experts. READ MORE

  5. 3. Model and tool integration in high level design of embedded systems

    Author : Jianlin Shi; Martin Törngren; Johan Lilius; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Model integration; Model transformation; Tool integration; Model based development; Embedded Systems; Engineering mechanics; Teknisk mekanik;

    Abstract : The development of advanced embedded systems requires a systematic approach as well as advanced tool support in dealing with their increasing complexity. This complexity is due to the increasing functionality that is implemented in embedded systems and stringent (and conflicting) requirements placed upon such systems from various stakeholders. READ MORE

  6. 4. 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

  7. 5. Towards Semantically Enabled Complex Event Processing

    Author : Robin Keskisärkkä; Eva Blomqvist; Henrik Eriksson; Daniele Dell'Aglio; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Semantic Web; RDF stream processing; Complex Event Processing; Event modeling; Query abstraction;

    Abstract : The Semantic Web provides a framework for semantically annotating data on the web, and the Resource Description Framework (RDF) supports the integration of structured data represented in heterogeneous formats. Traditionally, the Semantic Web has focused primarily on more or less static data, but information on the web today is becoming increasingly dynamic. READ MORE