Search for dissertations about: "Logic Controllers"

Showing result 1 - 5 of 25 swedish dissertations containing the words Logic Controllers.

  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. Field Programmable Gate Arrays and Reconfigurable Computing in Automatic Control

    Author : Carl Wilhelmsson; Förbränningsmotorer; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; systems analysis; FPGA; Field Programmable Gate Array; programming; Compendex: Field programmable gate arrays FPGA ; programming environments; computer science; programmable controllers; observers; adaptive control; modelling; closed loop systems; logic CAD; control systems; reconfigurable architectures; field programmable gate arrays; Computer Programming; telecommunication control; Control system applications; Real time control; Computer control systems; Control systems; Engine Control; Heat release analysis; Cylinder pressure; power-train control; Vehicle control; High speed; Rapid Prototyping; Combustion control; Automotive control; Control application; High frequency; Computer control; Feedback Control; Closed loop systems; Control; Reconfigurable computing; Reconfigurable hardware; VLSI; Closed loop control; programmable logic arrays; Automatic Control; System on Chip SoC ;

    Abstract : New combustion engine principles increase the demands on feedback combustion control, at the same time economical considerations currently enforce the usage of low-end control hardware limiting implementation possibilities. Significant development is simultaneously and continuously carried out within the field of Field Programmable Gate Arrays (FPGAs). READ MORE

  5. 3. Performance of programmable logic controllers in industrial environment

    Author : Kurt Johnsson; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; industrial adaptation; fault tolerance; human element; PLC; fail safety; fault detection; safety systems; ESD;

    Abstract : .... READ MORE

  6. 4. Reinforcement Learning Endowed Robot Planning under Spatiotemporal Logic Specifications

    Author : Peter Varnai; Dimos V. Dimarogonas; Ufuk Topcu; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Formal methods; temporal logic; autonomous systems; reinforcement learning; Electrical Engineering; Elektro- och systemteknik;

    Abstract : Recent advances in artificial intelligence are producing fascinating results in the field of computer science. Motivated by these successes, the desire to transfer and implement learning methods on real-life systems is growing as well. READ MORE

  7. 5. Discrete Event Process Modeling of Manufacturing Systems Using Sensor Graphs

    Author : Tord Alenljung; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; State Estimation; Fault Detection and Diagnosis; Process Modeling; Discrete Event Systems; Logic Controllers; Formal Verification; State Feedback Control;

    Abstract : The design of control programs for manufacturing systemsis becoming more and more complex as the demands for flexibility,efficiency and reconfigurability increase, due tochanging consumer demands and fierce competition.There are methods stemming from academia that can assist the control programmersin facing these challenges. READ MORE