Search for dissertations about: "thesis using programmable logic controller"

Showing result 1 - 5 of 7 swedish dissertations containing the words thesis using programmable logic controller.

  2. 1. On Formal Specification and Verification of Function Block Applications in Industrial Control Logic Development

    Author : Oscar Ljungkrantz; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; safety logic; function block; IEC 61131; software requirements and specification; formal verification; reusable automation component RAC ; temporal logic; manufacturing automation software; programmable logic controller PLC ; model checking;

    Abstract : Developing a control system for an automated manufacturing system is a challenging task. In addition to controlling and coordinating the machines and robots used in the production, the safety of the operators must be assured. READ MORE

  4. 2. On Industrial Automation Software Components

    Author : Oscar Ljungkrantz; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; IEC 61131; Programmable Logic Controller PLC ; IEC 61499; formal verification; Manufacturing automation software; software reusability; Reusable Automation Component RAC ; software specification;

    Abstract : This thesis deals with Programmable Logic Controller (PLC) programs in the manufacturing industry, that is to say programs that coordinate robots and machines. The last years there has been increased competition and shorter life-cycles of many mass-produced products. READ MORE

  5. 3. 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

  6. 4. Acquisition and control in basic and applied physics : methods and means in some instrument development projects

    Author : Benny Hovander; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : Advanced instrumentation for experimental physics, be it basic or applied, involves to an increasing degree, the use of complex analogue and digital electronic components. This is especially true for nuclear and particle physics where massive data acquisition systems are being developed. READ MORE

  7. 5. Collision-free path coordination and cycle time optimization of industrial robot cells

    Author : Domenico Spensieri; Stiftelsen Fraunhofer-Chalmers Centrum för Industrimatematik (FCC); []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; cycle time optimization; multi-robot collision avoidance; production planning; multi-robot routing and coordination;

    Abstract : In industry, short ramp-up times, product quality, product customization and high production rates are among the main drivers of technological progress. This is especially true for automotive manufacturers whose market is very competitive, constantly pushing for new solutions. READ MORE