A FULL AUTOMATED FAULT DIAGNOSIS SYSTEM BASED ON COLORED PETRI NET

1
A 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)

2
OUTLINE

• Motivation
• Power Electrical System
• The FDS with Interpretation through a Lookup
  Table
• The FDS Using Interpretation through Colored
  Petri Net
• Case Study
• Conclusion

3
FDS 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.

4
FDS 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
5
FDS Lookup Table
Power Electrical System
FDS Colored Petri Net
Case Study
Motivation
Conclusion
69 kV 230 kV
500 kV
6
FDS Lookup Table
Power Electrical System
FDS Colored Petri Net
Case Study
Motivation
Conclusion
Sobral Regional
7
FDS Lookup Table
Power Electrical System
FDS Colored Petri Net
Case Study
Motivation
Conclusion
Control Center
8
FDS Lookup Table
Power Electrical System
FDS Colored Petri Net
Case Study
Motivation
Conclusion
Sobral Regional
08 Buses 11 Lines 69 kV
9
FDS Lookup Table
Power Electrical System
FDS Colored Petri Net
Case Study
Motivation
Conclusion
Bus Protection
08 Buses 11 Lines 69 kV
10
FDS Lookup Table
Power Electrical System
FDS Colored Petri Net
Case Study
Motivation
Conclusion
Bus Protection
08 Buses 11 Lines 69 kV
11
FDS Lookup Table
Power Electrical System
FDS Colored Petri Net
Case Study
Motivation
Conclusion
Line Protection
08 Buses 11 Lines 69 kV
12
FDS Lookup Table
Power Electrical System
FDS Colored Petri Net
Case Study
Motivation
Conclusion
Line Protection
08 Buses 11 Lines 69 kV
13
FDS Lookup Table
Power Electrical System
FDS Colored Petri Net
Case Study
Motivation
Conclusion

• Framework

The fault diagnosis report and the equipment
involved in the event.
Process the diagnosis
Collect and filter out data from the SCADA system
14
FDS Lookup Table
Power Electrical System
FDS Colored Petri Net
Case Study
Motivation
Conclusion
15
FDS Lookup Table
Power Electrical System
FDS Colored Petri Net
Case Study
Motivation
Conclusion

• Input Interface Layer

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)

16
Power Electrical System
FDS Colored Petri Net
FDS Lookup Table
Case Study
Motivation
Conclusion

• Diagnosis Table

• Compare the final marking with a lookup table.
• Requires a previous study by an expert of the
  system to update the table.

TRIPPED FUNCTION OPEN CIRCUIT BREAKER DIAGNOSIS
CRE,12J1,50A CRE,12J1,52 Short-Circuit at 69kV bus at the substation Cariré
CRE,12J6,50A CRE,12J6,52 Short-Circuit at 69kV bus at the substation Cariré
CRE,12J7,50A CRE,12J7,52 Short-Circuit at 69kV bus at the substation Cariré
17
FDS Lookup Table
FDS Colored Petri Net
Power Electrical System
Case Study
Motivation
Conclusion

• Drawback

• Update of the network topology.
• An off line study to update the table.

18
FDS 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
19
FDS 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.

20
FDS 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
21
FDS 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
22
FDS 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
23
FDS Colored Petri Net
FDS Lookup Table
Power Electrical System
Case Study
Motivation
Conclusion

• Analysis Diagnosis Subpage

24
FDS Colored Petri Net
FDS Lookup Table
Power Electrical System
Case Study
Motivation
Conclusion

• Fault Analysis

25
FDS Colored Petri Net
FDS Lookup Table
Power Electrical System
Case Study
Motivation
Conclusion

• Diagnosis Subpage

26
FDS Lookup Table
FDS Colored Petri Net
Power Electrical System
Case Study
Motivation
Conclusion
Sobral Regional
27
FDS Lookup Table
FDS Colored Petri Net
Power Electrical System
Case Study
Motivation
Conclusion
28
FDS Lookup Table
FDS Colored Petri Net
Power Electrical System
Case Study
Motivation
Conclusion
29
FDS Lookup Table
FDS Colored Petri Net
Power Electrical System
Case Study
Motivation
Conclusion
30
FDS Lookup Table
FDS Colored Petri Net
Power Electrical System
Case Study
Motivation
Conclusion
31
FDS Lookup Table
FDS Colored Petri Net
Power Electrical System
Case Study
Motivation
Conclusion
32
FDS 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

• Thank You!!
• Questions?