Sökning: "formal modeling"

Visar resultat 1 - 5 av 90 avhandlingar innehållade orden formal modeling.

  1. 1. State-Oriented Business Process Modeling : Principles, Theory and Practice

    Författare :Ilia Bider; KTH; []
    Nyckelord :business process; dynamical system; formal semantics; persistent action; law-based programming; business analysis; business modeling; object-oriented modeling; conceptual modeling; workflow;

    Sammanfattning : In the last 50 years, a considerable amount of research workhas been completed in the mathematical system theory and theoryof control. Implementation of the results from this researchinto practice has drastically decreased the production costs.Most production processes are highly automated, and the use ofrobots in industry is growing. LÄS MER

  3. 2. Formal Approaches to Service-oriented Design : From Behavioral Modeling to Service Analysis

    Författare :Aida Čaušević; Paul Pettersson; Jonathan P. Bowen; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; service-oriented software engineering; formal modeling; service-oriented systems; resources; analysis; behavior; correctness check; Computer science; Datavetenskap; Computer Science; datavetenskap;

    Sammanfattning : Service-oriented systems (SOS) have recently emerged as context-independent component-based systems. In contrast to components, services can be created, invoked, composed and destroyed at run-time. Services are assumed to be platform independent and available for use within heterogeneous applications. LÄS MER

  4. 3. Formal Methods and Safety for Automated Vehicles: Modeling, Abstractions, and Synthesis of Tactical Planners

    Författare :Jonas Krook; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; automated vehicles; Formal methods; formal synthesis; tactical planning; supervisory control theory; automatic abstraction.; safety case; model checking; formal verification; reactive synthesis;

    Sammanfattning : One goal of developing automated road vehicles is to completely free people from driving tasks. Automated vehicles with no human driver must handle all traffic situations that human drivers are expected to handle, possibly more. LÄS MER

  5. 4. Design and Implementation of Object-Oriented Model Libraries using Modelica

    Författare :Hubertus Tummescheit; Institutionen för reglerteknik; []
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER

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

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

    Sammanfattning : 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. LÄS MER