Search for dissertations about: "Batch Recipes"

Found 4 swedish dissertations containing the words Batch Recipes.

2. 1. A Graphical Language for Batch Control

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

   Abstract : 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. READ MORE

4. 2. Control Synthesis for Batch Processes

   Author : Michael Tittus; Chalmers tekniska högskola; []
   Keywords : 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;

   Abstract : 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. READ MORE

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

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

   Abstract : 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. READ MORE

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

   Author : Knut Åkesson; Chalmers tekniska högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

   Abstract : 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. READ MORE