Search for dissertations about: "programmable controllers"

Showing result 6 - 10 of 11 swedish dissertations containing the words programmable controllers.

2. 6. On the Implementation of Discrete Event Supervisory Control with Focus on Flexible Manufacturing Systems

   Author : Anders Hellgren; Chalmers tekniska högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

   Abstract : In modern day production, the ability to quickly implement a control system is of increasing importance. In order to meet demands on shorter development times and easier reconfigurability, the design and implementation of the control system should be automated and provably correct. READ MORE

4. 7. Reliable Virtual Commissioning

   Author : Henrik Carlsson; Bengt Lennartson; Högskolan Väst; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Virtual commissioning; Simulation based PLC control code verification; Virtual manufacturing; Industrial control system; PLC; Continuous simulation; Manufacturing and materials engineering; Produktions- och materialteknik;

   Abstract : Virtual commissioning is a technique for programming, optimising and verifying industrial automated production, such as robot controllers and programmable logic controllers (PLC), off-line in a simulated environment. Compared with traditional robot off-line programming and simulation, the scope is wider and can include an entire production cell. READ MORE

5. 8. Enabling Test Automation for Industrial PLC Programs

   Author : Mikael Ebrahimi Salari; Eduard Paul Enoiu; Wasif Afzal; Cristina Seceleanu; Jee Eunkyoung; Mälardalens universitet; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; PLC; PLC Testing; Automated Testing; PyLC; EARS Syntax; FBD; ST; Computer Science; datavetenskap;

   Abstract : Testing safety-critical systems, particularly those controlled by Programmable Logic Controllers (PLC), is crucial for ensuring the safe and reliable operation of industrial processes. This thesis addresses the critical need for automated testing of safety-critical PLC systems used in various industrial settings. READ MORE

6. 9. Towards the safe-IOCOS relation -- On testing and correction of errors in an implementation to ensure safety

   Author : Adnan Khan; Chalmers tekniska högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; PLC; Safety; Supervisory control theory; Input-output conformance simulation relation; Model-based testing;

   Abstract : The technological advancement that has occurred at a blistering pace in the past decades has enabled manufacturing companies to conceive innovative products. However, to meet growing demands of consumers, manufacturing companies are expected to maintain a steady production rate without compromising product quality. READ MORE

7. 10. A Seamless Framework for Control Function Generation

   Author : Sajed Miremadi; Chalmers tekniska högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Discrete Event Systems; Supervisory Control Theory; Deterministic Finite Automata; Binary Decision Diagrams; Extended Finite Automata;

   Abstract : As we progress in time, the dependence and inseparability of our daily lives to computer and software systems grow rapidly; some transparent to many of us. It is therefore crucial to have efficient design of correct and well-functioning computer and software systems. READ MORE