A computer based simulation technique has been developed to aid the procurement and testing of programmable logic controllers (PLC) and condition monitoring software for electro-pneumatic and electro-hydraulic systems...
详细信息
A computer based simulation technique has been developed to aid the procurement and testing of programmable logic controllers (PLC) and condition monitoring software for electro-pneumatic and electro-hydraulic systems working in an industrial manufacturing environment. Condition monitoring, using measurable parameters such as pressure, flow rate and fluid quality, can provide a useful indication of the current running condition of such systems and a warning of possible mechanical failure. At relatively low cost, substantial improvements in the testing and development capability has been obtained.
With the rise of the intelligent manufacturing industry, industrial robots have also become a new development trend in today's industrial production and manufacturing technology. To understand and enhance the leve...
详细信息
This paper presents a technique of calculating the worst-case execution time of PLC application programs written in Relay Ladder logic. The concept of generic PLC and RLL block is introduced to develop a system-indepe...
详细信息
This paper presents a technique of calculating the worst-case execution time of PLC application programs written in Relay Ladder logic. The concept of generic PLC and RLL block is introduced to develop a system-independent prediction algorithm. The technique divides an RLL program into several RLL blocks and then transforms them into boolean logic equations. The internal states of an RLL program is analyzed and their dependencies are used as constraints when we solve the boolean logic equations. Since the time for solving boolean logic equations increases exponentially as the number of independent variable increases, the algorithm for partitioning variables in the boolean logic equations is also developed.
We present a translation from languages for programmable logic controllers (PLC) into refinement calculus of reactive systems (RCRS). RCRS is a compositional formal framework for modeling and reasoning about reactive ...
详细信息
In this paper, a scheduling algorithm is proposed for a programmablelogic controller (PLC) with remote I/Os, assuming the multi-tasking facilities. Since sequence programs are executed on the application processor an...
详细信息
In this paper, a scheduling algorithm is proposed for a programmablelogic controller (PLC) with remote I/Os, assuming the multi-tasking facilities. Since sequence programs are executed on the application processor and I/O data are transmitted by the network processor concurrently, the proposed algorithm schedules the data transmission as well as the sequence program execution. The suggested algorithm guarantees the bounded response time, which is the one third of the worst case response time in the absence of scheduling. Computer simulation shows that the algorithm can be easily applied to a real PLC without critical constraints on utilization of resources and inter-relation among tasks.
This paper introduces ***, a verification platform for programmable logic controllers (PLCs). The tool supports static analysis as well as ACTL and past-time LTL model checking using counterexample-guided abstraction ...
详细信息
Railway interlockings are dominated by highly proprietary systems. We present the development project Alister 2.0 - an interlocking system based on industry-proven standard components: Safety PLCs in distributed nodes...
详细信息
Supervisory Control and Data Acquisition (SCADA) systems are widely used in automated manufacturing and in all areas of our nation's infrastructure. Current research on SCADA security focuses on the primary SCADA ...
详细信息
PLCREX is an open source programmablelogic controller project developed as a modular command line application in PYTHON. It is designed to simplify, analyze, validate and, in particular, transform existing IEC 61131-...
详细信息
This paper presents an application for mill control. In this application a mill is controlled by software running on programmable logic controllers. The paper handle a few topics from cement industry, such are: critic...
详细信息
ISBN:
(纸本)9789604742387
This paper presents an application for mill control. In this application a mill is controlled by software running on programmable logic controllers. The paper handle a few topics from cement industry, such are: critical speed, mill speed control. If the peripheral speed of the mill is too great, it begins to act like a centrifuge and the balls do not fall back. Therefore, this application conceived a PID controller for control the mill speed, using programmable logic controllers.
暂无评论