Sökning: "programmable logic controller PLC"

Hittade 4 avhandlingar innehållade orden programmable logic controller PLC.

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

    Detta är en avhandling från Chalmers University of Technology

    Författare :Oscar Ljungkrantz; Chalmers tekniska högskola.; Chalmers University of Technology.; [2011]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Informationsteknik; Information technology; manufacturing automation software; programmable logic controller PLC ; safety logic; software requirements and specification; formal verification; model checking; temporal logic; reusable automation component RAC ; IEC 61131; function block;

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

  2. 2. A Simulation-Based Optimisation Method for PLC Systems

    Detta är en avhandling från Göteborg : Chalmers

    Författare :Bo Svensson; Högskolan Väst.; Chalmers tekniska högskola.; Chalmers University of Technology.; [2012]
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Manufacturing and materials engineering; Produktions- och materialteknik; Simulation based optimisation; Virtual manufacturing; Industrial control system; PLC; Continuous simulation; Parameter tuning; Optimisation methods; Produktionsteknik; Manufacturing engineering;

    Sammanfattning : Tuning of process parameters such as time constants, cam values, velocities and robot paths, in order to increase capacity utilisation, is today a challenging manual on-line task in many automated manufacturing systems. On-line methods interfere with production and will cause unwanted downtime, which indeed reduces capacity utilisation. LÄS MER

  3. 3. On Industrial Automation Software Components

    Detta är en avhandling från Chalmers University of Technology

    Författare :Oscar Ljungkrantz; Chalmers tekniska högskola.; Chalmers University of Technology.; [2008]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Informationsteknik; Information technology; Manufacturing automation software; Programmable Logic Controller PLC ; software reusability; software specification; formal verification; Reusable Automation Component RAC ; IEC 61131; IEC 61499;

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

  4. 4. Operation Specification for Sequence Planning and Automation Design

    Detta är en avhandling från Chalmers University of Technology

    Författare :Kristofer Bengtsson; Chalmers tekniska högskola.; Chalmers University of Technology.; [2010]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Systemteknik; Systems engineering;

    Sammanfattning : When designing an automation system, an important challenge is to specify the different tasks, or operations, of the system. This has become a problematic bottle-neck in industry, since the rising needs on manufacturing flexibility increases the complexity of the entire manufacturing system, as well as its control function. LÄS MER