scholarly journals Vacuum-pump control system using programmable logic controllers on the TCP/IP network for the 2.5-GeV storage ring

2003 ◽  
Author(s):  
N. Kanaya ◽  
S. Asaoka ◽  
H. Maezawa
Keyword(s):  
Control System ◽  
Storage Ring ◽  
Vacuum Pump ◽  
Programmable Logic ◽  
Programmable Logic Controllers ◽  
Ip Network ◽  
Logic Controllers

scholarly journals Temporal Logic for Programmable Logic Controllers

2020 ◽  
Vol 27 (4) ◽  
pp. 412-427
Author(s):  
Natalia Olegovna Garanina ◽  
Igor Sergeevich Anureev ◽  
Vladimir Evgenyevich Zyubin ◽  
Sergey Mikhailovich Staroletov ◽  
Tatiana Victorovna Liakh ◽  
...  
Keyword(s):  
Control System ◽  
Model Checking ◽  
Control Object ◽  
Transition System ◽  
State Transitions ◽  
Programmable Logic ◽  
Critical Systems ◽  
Programmable Logic Controllers ◽  
Property A ◽  
Logic Controllers

We address the formal verification of the control software of critical systems, i.e., ensuring the absence of design errors in a system with respect to requirements. Control systems are usually based on industrial controllers, also known as Programmable Logic Controllers (PLCs). A specific feature of a PLC is a scan cycle: 1) the inputs are read, 2) the PLC states change, and 3) the outputs are written. Therefore, in order to formally verify PLC, e.g., by model checking, it is necessary to describe the transition system taking into account this specificity and reason both in terms of state transitions within a cycle and in terms of larger state transitions according to the scan-cyclic semantics. We propose a formal PLC model as a hyperprocess transition system and temporal cycle-LTL logic based on LTL logic for formulating PLC property. A feature of the cycle-LTL logic is the possibility of viewing the scan cycle in two ways: as the effect of the environment (in particular, the control object) on the control system and as the effect of the control system on the environment. For both cases we introduce modified LTL temporal operators. We also define special modified LTL temporal operators to specify inside properties of scan cycles. We describe the translation of formulas of cycle-LTL into formulas of LTL, and prove its correctness. This implies the possibility ofmodel checking requirements expressed in logic cycle-LTL, by using well-known model checking tools with LTL as specification logic, e.g., Spin. We give the illustrative examples of requirements expressed in the cycle-LTL logic.

PLC Based Bottling Process Control System

2014 ◽  
Vol 615 ◽  
pp. 361-364
Author(s):  
Jin Wen Zhu
Keyword(s):  
Control System ◽  
Process Control ◽  
Manufacturing Industry ◽  
Process Control System ◽  
Programmable Logic ◽  
Programmable Logic Controllers ◽  
Packaging Process ◽  
Industrial Environments ◽  
Logic Controllers

As the use of automation increases in the manufacturing industry as well as other industrial environments, more programmable logic controllers (PLCs) are used in these areas to increase reliability and flexibility, reduce cost, and increase maintainability. In this proposed paper, a basic of PLC in automation environments is introduced and a bottle filling and packaging process control implemented by using Allen Bradly CompactLogix PLC is discussed.

scholarly journals Fuel Control of Gas Turbines by Programmable Logic Controllers

1993 ◽  
Author(s):  
Dan A. King
Keyword(s):  
Control System ◽  
Natural Gas ◽  
Control Systems ◽  
Gas Turbine ◽  
Gas Turbines ◽  
Programmable Logic Controller ◽  
Programmable Logic ◽  
Programmable Logic Controllers ◽  
Control Functions ◽  
Logic Controllers

NOVA Corporation of Alberta has developed a programmable logic controller based gas turbine fuel control system for natural gas compressor set applications. The system carries out all necessary fuel control functions and was integrated into the existing programmable logic controller used for sequencing and shutdown. The system has been successfully implemented on several different aero derivative gas turbines to date. This paper discusses the development of the system, its performance and advantages over standalone hardware-based fuel control systems typically used in the application.

Range and Value-Set Analysis for Programmable Logic Controllers

2012 ◽  
Vol 45 (29) ◽  
pp. 378-383 ◽  
Author(s):  
Sebastian Biallas ◽  
Stefan Kowalewski ◽  
Bastian Schlich
Keyword(s):  
Programmable Logic ◽  
Programmable Logic Controllers ◽  
Value Set ◽  
Logic Controllers
Sign in / Sign up

Export Citation Format

Share Document