Sökning: "Batch Recipes"

Hittade 4 avhandlingar innehållade orden Batch Recipes.

  1. 1. A Graphical Language for Batch Control

    Författare :Charlotta Johnsson; Institutionen för reglerteknik; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Automation; Batch Recipes; Batch Processes; Sequential Control; Grafcet; Petri nets; robotics; control engineering; Automatiska system; robotteknik; reglerteknik;

    Sammanfattning : In this thesis a graphical language for sequential control is presented and its application to batch control is examined and discussed. The name of the language is Grafchart. Its main feature is that it makes it possible to express complicated control problems in a compact and intuitive manner. LÄS MER

  3. 2. Control Synthesis for Batch Processes

    Författare :Michael Tittus; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; batch control; hybrid systems; modeling; control synthesis; supervisory control; object-orientation; resource allocation;

    Sammanfattning : Batch applications form an important application class within the field of process industries. In this thesis we propose multiple models, frameworks and design concepts in order to apply formal methods to the control synthesis in batch control. The thes is can be divided into two main parts. LÄS MER

  4. 3. Recipe-Based Batch Control Using High-Level Grafchart

    Författare :Charlotta Johnsson; Institutionen för reglerteknik; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Batch control; Grachart;

    Sammanfattning : High-Level Grafchart is a graphical programming language for control of sequential processes. Sequential control is important in all kinds of industries: discrete, continuous and batch. Sequential elements show up both on the local control level and on the supervisory control level. LÄS MER

  5. 4. Methods and Tools in Supervisory Control Theory: Operator Aspects, Computational Efficiency, and Applications

    Författare :Knut Åkesson; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : This thesis presents a tool together with efficient algorithms for verification and synthesis of discrete-event supervisors that might share responsibilities with human operators. It is also shown how the supervisory control theory can be used to solve resource allocation problems for flexible manufacturing systems. LÄS MER