programmable logic controllers (PLC) are embedded systems that are widely used in industry. We propose a formal semantics of the Instruction List (IL) language, one of the five programing languages defined in the IEC ...
详细信息
ISBN:
(纸本)9780769544397
programmable logic controllers (PLC) are embedded systems that are widely used in industry. We propose a formal semantics of the Instruction List (IL) language, one of the five programing languages defined in the IEC 61131-3 standard for PLC programing. This semantics support a significant subset of the IL language that includes on-delay timers. We formalized this semantics in the proof assistant Coq and used it to prove some safety properties on an example of PLC program.
This paper presents a model-driven engineering approach to model and verify PLC programs written in Ladder Diagram. PLC and plant are modeled in FIACRE language according to transformation models. A verification toolc...
详细信息
ISBN:
(纸本)9781457700187
This paper presents a model-driven engineering approach to model and verify PLC programs written in Ladder Diagram. PLC and plant are modeled in FIACRE language according to transformation models. A verification toolchain is built around FIACRE, in order to guarantee the satisfaction of generic and application-oriented properties. The potential of this approach and associated toolchain is tested on a PLC controlled pneumatic system. Transformation from Ladder Diagram to FIACRE models is described in details and verification of PLC alone or linked with a plant is discussed in the application context.
A remote control system is designed to achieve the stable and economical operation of far-infrared laser interferometer on the EAST Machine (Experimental Advanced Superconducting Tokamak). Based on the PLC controller,...
详细信息
ISBN:
(纸本)9780791849293
A remote control system is designed to achieve the stable and economical operation of far-infrared laser interferometer on the EAST Machine (Experimental Advanced Superconducting Tokamak). Based on the PLC controller, the system is set up as two parts: gas flow control for adjusting working gas, feedback control for stabilizing output power of the laser. We demonstrate the feasibility that, according to the need of experiment, the working gas ratio mode can be changed in order to save gas (CD4) instead of keeping a single-mode ratio. Meanwhile, the changes of the output power and power supply of the laser have been measured due to the mode conversion. The output power of the DCN laser, as a laser source, is influenced by a number of parameters, especially the gas ratio and a variety of disturbances. Therefore, the feedback control system has been developed to make the laser power stable near the maximum available power. The whole system has been applied to the DCN laser, and has been proved to be effective.
In this paper we describe the development of an online graduate engineering technology course in programmable devices. The course is intended to provide the graduate engineering technology student with an overview of ...
详细信息
In this paper we describe the development of an online graduate engineering technology course in programmable devices. The course is intended to provide the graduate engineering technology student with an overview of programmable devices and systems for industrial and embedded applications. Microprocessors, microcontrollers, Field programmable Gate Arrays (FPGAs), and programmable logic controllers (PLCs) are compared with respect to suitability, performance, and cost (both device and implementation costs) in industrial and embedded environments. Industry standard development and modeling tools are introduced and used to develop representative control programs and to predict performance. A key feature of the course is the extensive use of web-based laboratory exercises using equipment housed in Drexel University's PLC Laboratory. This equipment includes Dragon12 microcontroller development boards, Digilent Spartan-3E FPGA boards, and Amatrol PLC workstations. For microprocessor experiments students use their own PCs or PCs in the lab.
In this paper an approach that utilizes the paradigm of agent-orientation for the software development of automation systems, is presented. We discuss different methods for agent-oriented software development in gener...
详细信息
A substantial portion of the literature on fuzzy control deals with the usage of fuzzy rules to implement PID type control and also fuzzy supervisory control. Fuzzy models have received significant attention from vari...
详细信息
ISBN:
(纸本)9781457700187
A substantial portion of the literature on fuzzy control deals with the usage of fuzzy rules to implement PID type control and also fuzzy supervisory control. Fuzzy models have received significant attention from various fields of interest. Especially so called the Takagi-Sugeno-type fuzzy model which superbly describes a nonlinear system. In this paper we present implementation of universal fuzzy PS/PD function block implemented to the PLC Simatic S7 300/400. We also present implementation of universal function block of fuzzy expert system and PID regulator for PLC Simatic S7 300/400. Control system with implemented fuzzy expert system and PID regulator and control system with implemented PS/PD regulator with visualizations are designed.
The instruction of industrial controls employing programmable logic controllers (PLCs) is vital for many industries including manufacturing, mining, and production. PLCs are self-contained industrial grade microcontro...
详细信息
The instruction of industrial controls employing programmable logic controllers (PLCs) is vital for many industries including manufacturing, mining, and production. PLCs are self-contained industrial grade microcontrollers with user-friendly input and output buffering. They are typically programmed using a visual ladder logic based language. In response to requests from our constituents, we implemented an industrial control course based on both PLC and microcontroller technology. In developing the course, a graduate student worked closely with an industrial control company to develop a series of practical, hands on laboratory exercises to educate students on the fundamentals of PLC application design and implementation. In conjunction with development of laboratory courseware, an Industrial Control Laboratory was developed and equipped with state-of-the-art PLC and control instrumentation and test equipment. This paper discusses the development and content of the laboratory exercises and physical laboratory. We have now taught this course twice and have gathered student perceptions on the quality and utility of the Industrial Control course. Students have requested additional emphasis in this area. We conclude the paper with plans for future course enhancements.
In this paper, a novel General Flow Measurement Chip is implemented in Globalfoundries' 0.35um technology with the galaxy flow of Synopsys softwares. This novel chip consists of DW8051 IP core, I2C controller, MBI...
详细信息
In this paper we study the security threats to Supervisory Control and Data Acquisition (SCADA) systems via intentional and unintentional software errors. We claim that current programming practices and security mecha...
详细信息
In this paper we present a software/hardware co-debug platform to deal with the various debug problems in multiple-core SOC systems with multiple-clock domains. This platform allows designers to debug embedded process...
详细信息
暂无评论