Title: A FULL AUTOMATED FAULT DIAGNOSIS SYSTEM BASED ON COLORED PETRI NET
1A FULL AUTOMATED FAULT DIAGNOSIS SYSTEM BASED ON
COLORED PETRI NET
10th Workshop and Tutorial on Practical Use of
Coloured Petri Nets and the CPN Tools
- Giovanni Cordeiro Barroso
- Raimundo Furtado Sampaio
- Robson Alencar Azevedo
- Ruth Pastôra Saraiva Leão
- Federal University of Ceará (UFC)
- Ana Lucia Gondim Colaço
- Eudes B. de Medeiros
- Energy Company of Ceará (COELCE)
2OUTLINE
- Motivation
- Power Electrical System
- The FDS with Interpretation through a Lookup
Table - The FDS Using Interpretation through Colored
Petri Net - Case Study
- Conclusion
3FDS Lookup Table
Power Electrical System
FDS Colored Petri Net
Case Study
Motivation
Conclusion
- The avalanche of information reported by the
SCADA system to the operators at the Operation
Control during events in the power system. - The need of a fast and accurate fault diagnosis
to restore the power system with security. - How to deal with the updating of the topology
change of the power system.
4FDS Lookup Table
Power Electrical System
FDS Colored Petri Net
Case Study
Motivation
Conclusion
Transmission (69kV)
Distribution (13.8kV)
4.863 km Transmission Line
72.056 km
97 Substation
2.855 MVA
3.834 MVA
UFC
5FDS Lookup Table
Power Electrical System
FDS Colored Petri Net
Case Study
Motivation
Conclusion
69 kV 230 kV
500 kV
6FDS Lookup Table
Power Electrical System
FDS Colored Petri Net
Case Study
Motivation
Conclusion
Sobral Regional
7FDS Lookup Table
Power Electrical System
FDS Colored Petri Net
Case Study
Motivation
Conclusion
Control Center
8FDS Lookup Table
Power Electrical System
FDS Colored Petri Net
Case Study
Motivation
Conclusion
Sobral Regional
08 Buses 11 Lines 69 kV
9FDS Lookup Table
Power Electrical System
FDS Colored Petri Net
Case Study
Motivation
Conclusion
Bus Protection
08 Buses 11 Lines 69 kV
10FDS Lookup Table
Power Electrical System
FDS Colored Petri Net
Case Study
Motivation
Conclusion
Bus Protection
08 Buses 11 Lines 69 kV
11FDS Lookup Table
Power Electrical System
FDS Colored Petri Net
Case Study
Motivation
Conclusion
Line Protection
08 Buses 11 Lines 69 kV
12FDS Lookup Table
Power Electrical System
FDS Colored Petri Net
Case Study
Motivation
Conclusion
Line Protection
08 Buses 11 Lines 69 kV
13FDS Lookup Table
Power Electrical System
FDS Colored Petri Net
Case Study
Motivation
Conclusion
The fault diagnosis report and the equipment
involved in the event.
Process the diagnosis
Collect and filter out data from the SCADA system
14FDS Lookup Table
Power Electrical System
FDS Colored Petri Net
Case Study
Motivation
Conclusion
15FDS Lookup Table
Power Electrical System
FDS Colored Petri Net
Case Study
Motivation
Conclusion
Select and convert data in initial marking to
CPN1.
- CRE Substation Code CARIRÉ
- 12J7 Equipment Code
- 50A Protection Function
- CPN Token 1(CRE,12,J7,50A)
16Power Electrical System
FDS Colored Petri Net
FDS Lookup Table
Case Study
Motivation
Conclusion
- Compare the final marking with a lookup table.
- Requires a previous study by an expert of the
system to update the table.
17FDS Lookup Table
FDS Colored Petri Net
Power Electrical System
Case Study
Motivation
Conclusion
- Update of the network topology.
- An off line study to update the table.
18FDS Colored Petri Net
FDS Lookup Table
Case Study
Power Electrical System
Conclusion
Motivation
Framework
The fault diagnosis report and the equipment
involved in the event.
Process the diagnosis
Collect and filter data from the SCADA system
19FDS Colored Petri Net
FDS Lookup Table
Case Study
Power Electrical System
Conclusion
Motivation
- Differences between FDS lookup table and FDS
Colored Petri Net -
- Lookup Table is replaced by a new CPN2.
- To update the topology is just necessary the
inclusion/update of the tokens.
20FDS Colored Petri Net
FDS Lookup Table
Power Electrical System
Case Study
Motivation
Conclusion
GLOBAL DECLARATIONS ----------------------
--------------------------------------------------
----------------- colset INT int colset DATA
string colset MNEMONIC product DATA DATA
DATADATAINTDATA colset MNEMONIC3 product
DATA DATA DATADATAINT colset MNEM3 list
MNEMONIC3 var x,x1,x2,x3,x4, y,y1,y2,y3,y4, z,z1
DATA var m6,m1,m2,m4MNEM3 var k,p INT var
m5,m8,m3,m7 MNEMONIC3 ( Functions ) (
Returns true if x is a member of list l, else
returns false ) fun mem(x, l) List.exists (fn
y gt x y) l ( Intersection of two lists.
) fun intersect(l1, l2) List.foldr (fn
(x, ys) gt if mem(x, l2) then x ys else ys)
l1
21FDS Colored Petri Net
FDS Lookup Table
Power Electrical System
Case Study
Motivation
Conclusion
( Removes the first occurrence of x from l
) fun remElem(x, )
remElem(x, yys) if x y then ys else
yremElem(x,ys) fun removeRandom1(l1, l2)
let val l1Andl2
intersect(l1,l2) val len
List.length(l1Andl2) - 1 val randElem
List.nth(l1Andl2, discrete(0, len))
val l1' remElem(randElem, l1) val
l2' remElem(randElem, l2) in
(randElem, randElem,l1', l2') end
fun removeRandom2(l1, l2) let
val len1 List.length(l1)- 1 val
len2 List.length(l2) - 1 val
randElem1 List.nth(l1, discrete(0, len1))
val randElem2 List.nth(l2, discrete(0,
len2)) val l1' remElem(randElem1,
l1) val l2' remElem(randElem2,
l2) in (randElem1,
randElem2, l1', l2') end
22FDS Colored Petri Net
FDS Lookup Table
Power Electrical System
Case Study
Motivation
Conclusion
Main Page
SC short-circuited TL transmission line
HV high voltage MV medium voltage
23FDS Colored Petri Net
FDS Lookup Table
Power Electrical System
Case Study
Motivation
Conclusion
- Analysis Diagnosis Subpage
24FDS Colored Petri Net
FDS Lookup Table
Power Electrical System
Case Study
Motivation
Conclusion
25FDS Colored Petri Net
FDS Lookup Table
Power Electrical System
Case Study
Motivation
Conclusion
26FDS Lookup Table
FDS Colored Petri Net
Power Electrical System
Case Study
Motivation
Conclusion
Sobral Regional
27FDS Lookup Table
FDS Colored Petri Net
Power Electrical System
Case Study
Motivation
Conclusion
28FDS Lookup Table
FDS Colored Petri Net
Power Electrical System
Case Study
Motivation
Conclusion
29FDS Lookup Table
FDS Colored Petri Net
Power Electrical System
Case Study
Motivation
Conclusion
30FDS Lookup Table
FDS Colored Petri Net
Power Electrical System
Case Study
Motivation
Conclusion
31FDS Lookup Table
FDS Colored Petri Net
Power Electrical System
Case Study
Motivation
Conclusion
32FDS Lookup Table
Power Electrical System
FDS Colored Petri Net
Case Study
Motivation
Conclusion
- The power system topology is recorded as the
initial marking. - A fast and concise fault diagnosis to the power
system operator has been developed. - Reliable diagnosis and fast restoration of the
power system is possible.
33