%PDF-1.5
%
1 0 obj
<<
/OpenAction <<
/S /GoTo
/D [2 0 R /XYZ 0 10000 1]
>>
/SaveStreams <<
/q 3 0 R
/Q 4 0 R
>>
/Metadata 5 0 R
/Type /Catalog
/Outlines 6 0 R
/Pages 7 0 R
>>
endobj
8 0 obj
<<
/Creator (Appligent AppendPDF Pro 5.5)
/ModDate (D:20200717023047-04'00')
/IEEE#20Article#20ID (9141308)
/IEEE#20Issue#20ID (5446437)
/CreationDate (D:20200714144707-04'00')
/Producer <7064665465582D312E34302E31383B206D6F646966696564207573696E67206954657874AE20352E352E3620A9323030302D323031352069546578742047726F7570204E5620284147504C2D76657273696F6E29>
/Subject (IEEE Transactions on Smart Grid; ;PP;99;10.1109/TSG.2020.3009401)
/IEEE#20Publication#20ID (5165411)
/Title (Verification of Neural Network Behaviour: Formal Guarantees for Power System Applications)
/Appligent (AppendPDF Pro 5.5 Linux Kernel 2.6 64bit Oct 2 2014 Library 10.1.0)
>>
endobj
2 0 obj
<<
/QInserted true
/Contents [9 0 R 10 0 R 11 0 R]
/Type /Page
/Resources <<
/ProcSet [/PDF /Text]
/Font <<
/T1_0 12 0 R
/T1_2 13 0 R
/T1_1 14 0 R
/Xi0 15 0 R
/T1_4 16 0 R
/T1_3 17 0 R
/T1_5 18 0 R
>>
>>
/Parent 19 0 R
/MediaBox [0 0 612 792]
>>
endobj
3 0 obj
<<
/Length 11
/Filter /FlateDecode
>>
stream
xS(T e
endstream
endobj
4 0 obj
<<
/Length 11
/Filter /FlateDecode
>>
stream
xST %
endstream
endobj
5 0 obj
<<
/Length 3772
/Subtype /XML
/Type /Metadata
>>
stream
IEEE
IEEE Transactions on Smart Grid; ;PP;99;10.1109/TSG.2020.3009401
Neural networks
mixed-integer linear programming
security assessment
small-signal stability.
Verification of Neural Network Behaviour: Formal Guarantees for Power System Applications
endstream
endobj
6 0 obj
<<
/Type /Outlines
/Count 0
>>
endobj
7 0 obj
<<
/Kids [19 0 R 20 0 R]
/Type /Pages
/Count 16
/ITXT (2.1.7)
/MediaBox [0.0 0.0 612.0 792.0]
>>
endobj
9 0 obj
<<
/Length 10
/Filter /FlateDecode
>>
stream
x+ |
endstream
endobj
10 0 obj
<<
/Length 6810
/Filter /FlateDecode
>>
stream
HWK670GkRK{4$t{YmXW뷪HI&Kz|zIσ`?`7wϐliPRnnVQ~1۬xCvӧɑJDs˶gq:o컻͛A4rT; r# #\QvP)BwF
?9kwƻAj]#jlRgK|v, ˳<,W
JGPVUu-N`,4WXvgB`)yþ<^iqE 2`NNza dy^ބ^m|>zϢ0[?`8$n7AsAMnj(-~d
,(PSd~ă8͌"dל<9$(-11~Y-, 7aȵqr`~y$-w8T^D