Modeling and algorithm design for the logical analysis of relay control circuit

ZhengXiang Song,Jianhua Wang

1998-01-01

Abstract:Relays are classified according to their logical functions and their models are established. Relay control circuit is understood as a topography. The method of logical simulation is designed according to this model. This method is concerned with the technique of event list and it can solve the problem of event conflict.

What problem does this paper attempt to address?

Synthesis of logical controllers and discrete-event systems supervisory control theory

Ji-liang LUO,Hui SHAO,Wei-min WU,Hong-ye SU

DOI: https://doi.org/10.7641/CTA.2017.60929

2018-01-01

Abstract:More and more control elements are incorporated into a single system by the information technology such as internet of things.Consequently,the scale of a control system increases quickly,and the control specification becomes more and more complicated.Any logic mistake that violates a given control specification may lead to a serious industrial failure and even security issue.Besides,there is a"state space explosion"for discrete event systems.These make a challenge for designing and debugging programs running in programmable logic controllers(PLCs)or field programmable gate arrays (FPGAs).The supervisory control theory of discrete event systems is to implement a given complicated logic specification by formal methods. The specification such as interlock,sequence,mutual exclusion,and language is expressed by a Petri net or automata.It is in turn translated into codes that can be executed by a PLC or FPGA.This paper surveys these formal methods for synthesis of logical controller,which are to shorten the costed time for control programs,to ease the reuse of them,and to increase the safety and reliability of them.
Method of checking competition risk in relay circuits based on logic simulation

ZHANG Ying-yao,GENG Ying-san,ZHANG Guo-gang,DENG Yong-qing

DOI: https://doi.org/10.3969/j.issn.1003-3076.2008.02.018

2008-01-01

Abstract:Relay system is one of the most broadly used control systems.Relay circuit design is a key part of relay system.CAD software,even those specifically created for relay circuit design,has no effective support to simulate relay circuits,and it is problematic because it requires manual analysis and verification,which wastes valuable design time and introduces design errors inevitably.The research and development of relay circuit simulation software is a significant and valuable work.In this paper,relays' model classified according to their functions and their models are established.Relay control circuit is understood as a topography.The method of checking the competition risk is based on the simulation of the delay circuit according to the models.
The Function Simulation System of Relay Control Circuit

ZHANG Yingyao,GENG Yingsan,DENG Yongqing,ZHANG Guogang

DOI: https://doi.org/10.16628/j.cnki.2095-8188.2008.03.013

2008-01-01

Abstract:The fault diagnosis and reliability design of relay control circuit play an important role in electromechanical equipments.How to guarantee its correctness is a difficult problem.According to function simulation,the simulation models of relay components and circuit were established,then the function simulation algorithm was designed and a race-hazard detection algorithm was presented.
Study of Rreliability Mmodeling for Rrelay Pprotection Ssystem in Ddigital Ssubstations

何奔腾,李一泉,刘玮,张弛,王超,王慧芳

2013-01-01

Abstract:Compared with the traditional substation relay protection, the structure and content of relay protection system ones in digital substation have changed greatly in structure and content, and there is no standard model and method to evaluate their reliability. Based on the analysis of the formconstitution of digital substation relay protection systems, the information flow is divided into three kinds, which are time synchronization flow, SV flow and GOOSE flow, and their possible topology for each kind of flow is analyzed detailed.. Then it uses the minimal path sets algorithm to calculate the connected rate of three kinds of information flow, and uses series and parallel model to calculate the overall reliability of relay protection systems. At last the paper discusses the software realization of this modeling algorithm, and the example analysis shows that this modeling method provides effective means to evaluate the reliability of different schemes of relay protection systems.
Study of Reliability Modeling for Relay Protection System in Digital Substations

HE Ben-teng

2013-01-01

Abstract:Compared with the traditional substation relay protection, the structure and content of relay protection system in digital substation have changed greatly and there is no standard model and method to evaluate their reliability. Based on the analysis of the constitution of digital substation relay protection systems, the information flow is divided into three kinds, which are time synchronization flow, SV flow and GOOSE flow, and their possible topology for each kind of flow is analyzed. Then it uses the minimal path sets algorithm to calculate the connected rate of three kinds of information flow, and uses series and parallel model to calculate the overall reliability of relay protection systems. At last the paper discusses the software realization of this modeling algorithm, and the example analysis shows that this modeling method provides effective means to evaluate the reliability of different schemes of relay protection systems.
Generating Detailed Software Models Of Microprocessor-Based Relays

Tao Zhu,Xiaorong Xie,Dakang Zhu,Wenjin Cui

DOI: https://doi.org/10.1109/ICPST.2006.321637

2006-01-01

Abstract:Computer models of relays play an important role in evaluating the performance of protection systems during system faults and other disturbances. The use of relay models would enable us to investigate the relays with closed-loop simulations and approximate actual relays' characteristics so that their performance can be evaluated for a variety of operation conditions. This paper describes a unified approach for computer-based simulation of microprocessor-based relays. The software relay model developed is a detailed digital model, which closely follows the hardware and firmware architecture of the physical relays. The model is employed for testing the performance of the relay with a variety of simulation tests. Results obtained have verified the effectiveness of the presented method and the relay models.
A Logical Formula Extracting Method of Relay Circuit Based on Network Topology

ZHANG Yingyao,GENG Yingsan,ZHANG Guogang,DENG Yongqing

DOI: https://doi.org/10.3969/j.issn.1001-5531.2007.21.001

2007-01-01

Abstract:The reliability design and functional verification in relay circuit play an important role in the secure running of electrical power system.It is a new idea to functional verification to apply the logic analysis.In this paper,a method to extract the logical formula by the DFS(Depth-First-Search) was introduced based on that all of the circuit loops were searched.Finally,the logical formula was stored by binary tree.
Study on distributed digital simulation analysis system of aerospace electromagnetic relay based on Ethernet network

Wenying Yang,Guofu Zhai

DOI: https://doi.org/10.1109/ICEPE-ST.2011.6123017

2011-01-01

Abstract:The design of aerospace electromagnetic relay is complicated and the process refers to the multi-fields problem including the kinematic, electricity, magnet and thermal. Aim to the problem, a new modeling language named RML and a distributed simulation method were proposed for the design of the aerospace electromagnetic relay. Through the secondary development of the related software, such as FLUX, ANSYS, ADAMS et al., the model of the relay built by RML could be recognized by any software above. The integrated simulation system of the aerospace electromagnetic relay was developed by the C++ Builder software. The system has the functions of the parameter design and kinematic analysis. The design and analysis of the relay are simplified for a certain extent when the system in the paper was adopted. The research in the paper is useful for the design of the digital analysis system of the other similar type switch apparatus.
Automatic Generation of Relay Logic for Interlocking System Based on Statecharts

Chen Xiangxian,Huang Hai,He Yulin

DOI: https://doi.org/10.1109/WCSE.2010.31

2010-01-01

Abstract:Computer-based Interlocking System (CIS) is a kind of widely applied safety-critical system in current signaling industry. CIS always uses relay logic to describe interlocking safety logic. Normally, all logic is designed by experienced signaling engineer manually, this develop mode is low-efficient and expensive. This paper presents a new logic design model. In this new model, a component-based model is used to describe topology of station layout, the topology data is analyzed and state charts are used to describe safety logic of interlocking. Finally the state charts are transformed to relay logic. The entire logic generating procedure can be fulfilled by software tools automatically, so efficiency is improved greatly. The introduction of state charts also makes formal verification of safety logic possible, which can guarantee that the generated logic is safe.
Study on Software of Relay Settings Examination and Rectification

Hui-fang WANG,Ben-teng HE

DOI: https://doi.org/10.3969/j.issn.1003-8930.2006.02.020

2006-01-01

Abstract:In order to avoid relay settings from being a hidden failure source,an idea of relay settings examination and rectification is proposed and a software for relay settings examination and rectification is developed.The software includes two main functions: one is relay-setting examination,which is used to examine the selectivity,sensitivity and speed of relay settings under certain operating condition,and gives an opinion whether these settings are wrong;the other is relay-setting rectification,which is used to calculate new relay settings when error is found by the examination.This paper analyses the process of relay setting examination and rectification,and presents the software's realization model.This software can adjust the relay-setting according to the change of power network structure or operating condition,and prevent the accident due to wrong setting calculation.
Design on the Testing System of Relay Reliability and Error Analysis

Bin YANG,Yong FENG,Zhi-gang LI,Lan Mu

DOI: https://doi.org/10.3969/j.issn.1001-5531.2005.04.008

2005-01-01

Abstract:The structure, function and characteristic of the testing system of relay reliability was introduced. Dealing with the digital value with mathematical arithmetic, and the factors that arose error were discussed. The testing system overcomes some failures of tranditonal testing system for relay reliability, and raises the level of automation. The system has been put into practical operation.
Interactive relay controlled power system modeling

J.N. Peterson,R.W. Wall

DOI: https://doi.org/10.1109/61.103726

IF: 4.825

1991-01-01

IEEE Transactions on Power Delivery

Abstract:Four fundamental algorithms that make it possible to simulate numerous types of protective relay systems are identified. The characteristics of these fundamental modules necessary for building an embedded relay model within an EMTP (electromagnetic transient program) are discussed. A directional time overcurrent relay model is used to provide a detailed demonstration of relay model development and to illustrate the utilization of the fundamental modules. The results of using this relay model in a modeled power system reveal the power of this concept to enhance power systems education, applications engineering, and relay design procedures.<>

engineering, electrical & electronic
Survey on Relay Protection Based on Model Recognition

Jia-le SUONAN,Cheng YANG,Guo-bing SONG,Liu WANG

DOI: https://doi.org/10.3969/j.issn.1674-3415.2010.24.005

2010-01-01

Abstract:Based on the analysis of the characteristics of the external fault and the internal fault of the component, both the external fault model and the internal fault model are established. The internal fault and external fault can be identified through using time domain medium short data window to compute the matching degree between real-time fault signals and the two fault models, which construct a novel protection theory for model identification. The physical analysis indicates that as for the fault model matching the real-time fault signals, the model equation coefficient is determined by real component parameters, and it is unique and steady with steady zero model error; as for the fault model not matching the real-time fault signals, the computed model coefficient is of no physical significance, and the model error is large and unstable. The mathematical analysis shows that the fault model matching the real-time fault signals has a steady valid equation and a zero model error; as for the fault model not matching the real-time fault signals, the equation coefficient is relevant to frequency and the model error is quite large. ATP simulation proves the above analysis results, and shows that relay protection based on model recognition can be realized by using whole frequency domain information in fault transient process. The new principle has high reliability and the operation is fast.
Design and analysis on switched reluctance motor system using field-circuit coupled method

chun gan,jianhua wu,lifeng zhang,shiyou yang,hairong wang

DOI: https://doi.org/10.1109/ICEMS.2014.7014061

2014-01-01

Abstract:Switched reluctance motor (SRM) system is a very highly nonlinear control system. While the traditional magnetic circuit methods and the analytical methods are hard to analyze the dynamic process of the motor, in order to improve the analysis precision, the two-dimensional transient electromagnetic field model is built in ANSOFT platform, and the control circuit model is built in SIMPLORER platform based on the working characteristics of SRM system. The coupled simulation system is designed in the paper from the two models. The transient simulation is made to the SRM system though field-circuit coupled analysis, and the simulation results and the experimental results have a good consistency. The research of the paper provides the simulation basis and practical values for improving design reliability of SRM system.
Study on Automatic Formation of Relay Setting Coordination Figure

Hui‐Fang Wang

2013-01-01

Abstract:In the paper,automatic formation of relay setting coordination figures has been studied and corresponding software has been developed.The part lists are connected via power network topology of setting software,and subordinate and superordinate equipment are searched on the basis of the setting parts designated by consumers;then layout algorithm is employed to calculate rendering location of matched parts and simulated setting coordination figure in conformity with consumers' habit is finally rendered by virtue of part rendering functions.It is proved that the function is of practicality and beneficially supplements to relay setting software.
Research on programmable logical relay protection

Likai Liang,Yuyin Zhang,Xiaocong Zhang

DOI: https://doi.org/10.4028/www.scientific.net/AMM.229-231.828

2012-01-01

Applied Mechanics and Materials

Abstract:In order to improve the flexibility of computer protection on relay protection and to simplify the development process, this paper presents a new method which a programmable logic is applied to relay protection in form of software and hardware platform. The method can better satisfy the needs of relay protection. Aiming at the shortage of traditional relay protection deceive, this paper mainly discuss how to realize the modularization of the new hardware and software platform and to make the theoretical analysis about logic hardware and software platform. © (2012) Trans Tech Publications, Switzerland.
Modeling, simulating and online setting-checking for protective relay

Hongbin Sun,Boming Zhang,Ying Lü,Zhelong Pan,Wenchuan Wu

DOI: https://doi.org/10.1109/PSCE.2009.4840108

2009-01-01

Abstract:In order to find hidden cascading outage caused by protective relays, methods for modeling, simulating and online setting-checking of protective relays are studied here. A user-defined model is proposed based on a kind of scrip language and concept of component firstly. Based on that, the power system simulator in a commercial dispatcher training simulator is embedded with protective relay simulator, which can be utilized to train operators under some typical cascading outages more realistically. Meanwhile, a new online application software named as protective relay early warning is designed and implemented in a commercial energy management system to check protective relay setting online. Any warning of invalid setting of relay can be timely raised to awake operator to concern hidden cascading outage in relays. A case study and some results from field site applications are reported.
Research on the Co-simulation System of Subway Control Circuits

Yinfeng Lu,Wenchuan Zhang,Xuejun Qian,Jiacheng Luo

DOI: https://doi.org/10.1088/1742-6596/2613/1/012009

2023-10-01

Journal of Physics: Conference Series

Abstract:Abstract In order to solve the problems of complex control logic and the difficulty of simulating function modules due to the high coupling degree of subway control circuits, a subway control circuit co-simulation system is designed in this paper. By analysing the components data and connection relationship in the subway control circuit schematic diagrams, the network topologies are automatically generated, and the mathematical relationships between nodes, branches and components states are established, so as to build a complete logical control model. The depth-first search (DFS) algorithm is adopted to search the effective path across the topology, the event management unit is added to solve the linkage control of the relay, and the logic function simulation of the function module is realized by embedded script. Finally, the feasibility of the simulation system is verified through the simulation test of the subway door control circuits and the analysis of the simulation results. The system is conducive to the functional test and algorithm verification at the subway design stage, and has a good application prospect in the field of subway driver training.
A Modeling Method On Electromagnetic Interference Coupling Path Of Digital Relay In Power System

Bo Niu,Zhengxiang Song,Yingsan Geng,Jianhua Wang,Jing Wang

DOI: https://doi.org/10.1109/APEMC.2008.4559910

2008-01-01

Abstract:To realize systematic analysis for electromagnetic susceptibility (EMS), forecast for electromagnetic compatibility (EMC), a modeling method on electromagnetic interference coupling path of digital relay in power system was presented. The simulated model of electromagnetic interference coupling path can he gotten by this method through the system identifying according to the experiment data. A mathematical modeling of the input port of alternate current (AC) signal in digital relay under Electrical Fast Transients (EFT) interference was also been constructed according to the input and output response of this module measured by oscillograph. Good agreements between the simulated result and the measurements demonstrate the validity of this modeling method.
Analysis on Dynamic Characteristics of Ultra-Compact High Power Relay Based on Virtual Prototype Technology

YE Xuerong,ZHAO Han,WANG Yingqi,CAI Zhaowen,YAN Jihong

DOI: https://doi.org/10.3969/j.issn.1001-5531.2013.02.003

2013-01-01

Abstract:An electromagnetic system model and mechanical system model were built by using finite element software Flux 3D and multi-body dynamics simulation software ADAMS,while Matlab/Simulink was used to do the coupling calculation between the electromagnetic system and mechanical system model based on the virtual prototype technology.In this way,dynamic simulation analysis on this relay was realized.The correctness of the model was verified by comparing the simulation results and test data,which provided a basis for the structure optimization and performance improvement.

Modeling and algorithm design for the logical analysis of relay control circuit

Synthesis of logical controllers and discrete-event systems supervisory control theory

Method of checking competition risk in relay circuits based on logic simulation

The Function Simulation System of Relay Control Circuit

Study of Rreliability Mmodeling for Rrelay Pprotection Ssystem in Ddigital Ssubstations

Study of Reliability Modeling for Relay Protection System in Digital Substations

Generating Detailed Software Models Of Microprocessor-Based Relays

A Logical Formula Extracting Method of Relay Circuit Based on Network Topology

Study on distributed digital simulation analysis system of aerospace electromagnetic relay based on Ethernet network

Automatic Generation of Relay Logic for Interlocking System Based on Statecharts

Study on Software of Relay Settings Examination and Rectification

Design on the Testing System of Relay Reliability and Error Analysis

Interactive relay controlled power system modeling

Survey on Relay Protection Based on Model Recognition

Design and analysis on switched reluctance motor system using field-circuit coupled method

Study on Automatic Formation of Relay Setting Coordination Figure

Research on programmable logical relay protection

Modeling, simulating and online setting-checking for protective relay

Research on the Co-simulation System of Subway Control Circuits

A Modeling Method On Electromagnetic Interference Coupling Path Of Digital Relay In Power System

Analysis on Dynamic Characteristics of Ultra-Compact High Power Relay Based on Virtual Prototype Technology