%PDF-1.3
%
1 0 obj
<<
/FICL#3AEnfocus 2 0 R
/PageMode /UseOutlines
/Outlines 3 0 R
/Metadata 4 0 R
/Pages 5 0 R
/PageLayout /SinglePage
/OpenAction 6 0 R
/Type /Catalog
/PageLabels 7 0 R
>>
endobj
8 0 obj
<<
/CrossMarkDomains#5B2#5D (elsevier.com)
/CrossmarkMajorVersionDate (2010-04-23)
/CreationDate (D:20041203133206+02'00')
/Subject (Electronic Notes in Theoretical Computer Science, 109 \(2004\) 43-56. doi:10.1016/j.entcs.2004.02.055)
/Author (Aditya Agrawal)
/Creator (Elsevier)
/Keywords (Graph Transformations; Embedded Systems; Semantics; Hybrid Systems)
/Producer (Acrobat Distiller 4.0 for Windows)
/ElsevierWebPDFSpecifications (6.4)
/CrossmarkDomainExclusive (true)
/robots (noindex)
/ModDate (D:20141007150245+05'30')
/doi (10.1016/j.entcs.2004.02.055)
/CrossMarkDomains#5B1#5D (sciencedirect.com)
/Title (Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations)
>>
endobj
2 0 obj
<<
/PitStop 9 0 R
>>
endobj
3 0 obj
<<
/First 10 0 R
/Count 11
/Last 11 0 R
/Type /Outlines
>>
endobj
4 0 obj
<<
/Length 7013
/Subtype /XML
/Type /Metadata
>>
stream
application/pdf
doi:10.1016/j.entcs.2004.02.055
Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations
Aditya Agrawal
Gyula Simon
Gabor Karsai
Graph Transformations
Embedded Systems
Semantics
Hybrid Systems
Electronic Notes in Theoretical Computer Science, 109 (2004) 43-56. doi:10.1016/j.entcs.2004.02.055
Elsevier B.V.
journal
Electronic Notes in Theoretical Computer Science
Copyright © 2004 Elsevier B.V. Open access under CC BY-NC-ND license.
1571-0661
109
14 December 2004
2004-12-14
43-56
43
56
10.1016/j.entcs.2004.02.055
http://dx.doi.org/10.1016/j.entcs.2004.02.055
2010-04-23
true
10.1016/j.entcs.2004.02.055
elsevier.com
sciencedirect.com
6.4
10.1016/j.entcs.2004.02.055
noindex
2010-04-23
true
sciencedirect.com
elsevier.com
Elsevier
2004-12-03T13:32:06+02:00
2014-10-07T15:02:45+05:30
2014-10-07T15:02:45+05:30
True
Graph Transformations; Embedded Systems; Semantics; Hybrid Systems
Acrobat Distiller 4.0 for Windows
uuid:f89cfed2-d9be-4b6e-9c8a-00e6e6bc72eb
uuid:f9ec7437-8c8e-4df0-98f6-757b37b49b4d
endstream
endobj
5 0 obj
<<
/Count 14
/Type /Pages
/Kids [12 0 R 13 0 R]
>>
endobj
6 0 obj
<<
/D [14 0 R /FitH -32768]
/S /GoTo
>>
endobj
7 0 obj
<<
/Nums [0 15 0 R]
>>
endobj
9 0 obj
<<
/CC 16 0 R
>>
endobj
10 0 obj
<<
/Parent 3 0 R
/A 17 0 R
/Next 18 0 R
/Title (Introduction)
>>
endobj
11 0 obj
<<
/Parent 3 0 R
/A 19 0 R
/Prev 20 0 R
/Title (References)
>>
endobj
12 0 obj
<<
/Parent 5 0 R
/Count 10
/Type /Pages
/Kids [14 0 R 21 0 R 22 0 R 23 0 R 24 0 R 25 0 R 26 0 R 27 0 R 28 0 R 29 0 R]
>>
endobj
13 0 obj
<<
/Parent 5 0 R
/Count 4
/Type /Pages
/Kids [30 0 R 31 0 R 32 0 R 33 0 R]
>>
endobj
14 0 obj
<<
/CropBox [0 0 467.716 680.314]
/Annots [34 0 R 35 0 R 36 0 R 37 0 R 38 0 R 39 0 R 40 0 R 41 0 R 42 0 R 43 0 R]
/Parent 12 0 R
/Contents [44 0 R 45 0 R 46 0 R]
/Rotate 0
/MediaBox [0 0 467.716 680.314]
/Thumb 47 0 R
/Resources <<
/XObject <<
/Im0 48 0 R
/Im1 49 0 R
/Im2 50 0 R
/Im4 51 0 R
>>
/ColorSpace <<
/CS0 [/ICCBased 52 0 R]
>>
/Font <<
/TT0 53 0 R
/T1_0 54 0 R
/T1_1 55 0 R
/T1_2 56 0 R
/T1_3 57 0 R
/T1_4 58 0 R
/T1_5 59 0 R
/T1_6 60 0 R
/T1_7 61 0 R
/T1_8 62 0 R
/F11 63 0 R
/F12 64 0 R
/F13 65 0 R
>>
/ProcSet [/PDF /Text /ImageB]
/ExtGState <<
/GS0 66 0 R
/GS1 67 0 R
>>
>>
/Type /Page
>>
endobj
15 0 obj
<<
/St 43
/S /D
>>
endobj
16 0 obj
<<
>>
endobj
17 0 obj
<<
/D [14 0 R /XYZ null 262 null]
/S /GoTo
>>
endobj
18 0 obj
<<
/First 68 0 R
/Parent 3 0 R
/A 69 0 R
/Next 70 0 R
/Count -2
/Last 71 0 R
/Prev 10 0 R
/Title (The inputs and outputs of the semantic translator)
>>
endobj
19 0 obj
<<
/D [32 0 R /XYZ null 304 null]
/S /GoTo
>>
endobj
20 0 obj
<<
/Parent 3 0 R
/A 72 0 R
/Next 11 0 R
/Prev 73 0 R
/Title (Acknowledgement)
>>
endobj
21 0 obj
<<
/CropBox [0 0 467.716 680.314]
/Annots [74 0 R]
/Parent 12 0 R
/Contents 75 0 R
/Rotate 0
/MediaBox [0 0 467.716 680.314]
/Thumb 76 0 R
/Resources <<
/ColorSpace <<
/CS0 [/ICCBased 52 0 R]
>>
/Font <<
/T1_0 55 0 R
/T1_1 77 0 R
/T1_2 78 0 R
/T1_3 62 0 R
>>
/ProcSet [/PDF /Text]
/ExtGState <<
/GS0 66 0 R
/GS1 67 0 R
>>
>>
/Type /Page
>>
endobj
22 0 obj
<<
/CropBox [0 0 467.716 680.314]
/Annots [79 0 R 80 0 R]
/Parent 12 0 R
/Contents 81 0 R
/Rotate 0
/MediaBox [0 0 467.716 680.314]
/Thumb 82 0 R
/Resources <<
/ColorSpace <<
/CS0 [/ICCBased 52 0 R]
>>
/Font <<
/T1_0 54 0 R
/T1_1 77 0 R
/T1_2 55 0 R
/T1_3 83 0 R
/T1_4 78 0 R
/T1_5 62 0 R
>>
/ProcSet [/PDF /Text]
/ExtGState <<
/GS0 66 0 R
/GS1 67 0 R
>>
>>
/Type /Page
>>
endobj
23 0 obj
<<
/CropBox [0 0 467.716 680.314]
/Annots [84 0 R]
/Parent 12 0 R
/Contents 85 0 R
/Rotate 0
/MediaBox [0 0 467.716 680.314]
/Thumb 86 0 R
/Resources <<
/XObject <<
/Im0 87 0 R
>>
/ColorSpace <<
/CS0 [/ICCBased 52 0 R]
/CS1 [/Indexed [/ICCBased 52 0 R]
255 88 0 R]
>>
/Font <<
/T1_0 55 0 R
/T1_1 54 0 R
/T1_2 77 0 R
/T1_3 59 0 R
/T1_4 78 0 R
/T1_5 62 0 R
>>
/ProcSet [/PDF /Text /ImageC /ImageI]
/ExtGState <<
/GS0 66 0 R
/GS1 67 0 R
>>
>>
/Type /Page
>>
endobj
24 0 obj
<<
/CropBox [0 0 467.716 680.314]
/Annots [89 0 R 90 0 R 91 0 R 92 0 R]
/Parent 12 0 R
/Contents 93 0 R
/Rotate 0
/MediaBox [0 0 467.716 680.314]
/Thumb 94 0 R
/Resources <<
/XObject <<
/Im0 95 0 R
>>
/ColorSpace <<
/CS0 [/ICCBased 52 0 R]
/CS1 [/Indexed [/ICCBased 52 0 R]
255 96 0 R]
>>
/Font <<
/T1_0 55 0 R
/T1_1 77 0 R
/T1_2 59 0 R
/T1_3 97 0 R
/T1_4 98 0 R
/T1_5 99 0 R
/T1_6 54 0 R
/T1_7 100 0 R
/T1_8 78 0 R
/T1_9 62 0 R
>>
/ProcSet [/PDF /Text /ImageC /ImageI]
/ExtGState <<
/GS0 66 0 R
/GS1 67 0 R
>>
>>
/Type /Page
>>
endobj
25 0 obj
<<
/CropBox [0 0 467.716 680.314]
/Annots [101 0 R 102 0 R]
/Parent 12 0 R
/Contents 103 0 R
/Rotate 0
/MediaBox [0 0 467.716 680.314]
/Thumb 104 0 R
/Resources <<
/ColorSpace <<
/CS0 [/ICCBased 52 0 R]
>>
/Font <<
/T1_10 105 0 R
/T1_11 78 0 R
/T1_12 62 0 R
/T1_0 55 0 R
/T1_1 98 0 R
/T1_2 99 0 R
/T1_3 100 0 R
/T1_4 97 0 R
/T1_5 54 0 R
/T1_6 77 0 R
/T1_7 106 0 R
/T1_8 83 0 R
/T1_9 107 0 R
>>
/ProcSet [/PDF /Text]
/ExtGState <<
/GS0 66 0 R
/GS1 67 0 R
>>
>>
/Type /Page
>>
endobj
26 0 obj
<<
/CropBox [0 0 467.716 680.314]
/Annots [108 0 R 109 0 R 110 0 R 111 0 R 112 0 R]
/Parent 12 0 R
/Contents 113 0 R
/Rotate 0
/MediaBox [0 0 467.716 680.314]
/Thumb 114 0 R
/Resources <<
/ColorSpace <<
/CS0 [/ICCBased 52 0 R]
>>
/Font <<
/T1_10 78 0 R
/T1_11 62 0 R
/T1_0 54 0 R
/T1_1 55 0 R
/T1_2 98 0 R
/T1_3 97 0 R
/T1_4 99 0 R
/T1_5 100 0 R
/T1_6 105 0 R
/T1_7 83 0 R
/T1_8 106 0 R
/T1_9 77 0 R
>>
/ProcSet [/PDF /Text]
/ExtGState <<
/GS0 66 0 R
/GS1 67 0 R
>>
>>
/Type /Page
>>
endobj
27 0 obj
<<
/CropBox [0 0 467.716 680.314]
/Annots [115 0 R 116 0 R 117 0 R 118 0 R 119 0 R]
/Parent 12 0 R
/Contents 120 0 R
/Rotate 0
/MediaBox [0 0 467.716 680.314]
/Thumb 121 0 R
/Resources <<
/ColorSpace <<
/CS0 [/ICCBased 52 0 R]
>>
/Font <<
/T1_0 55 0 R
/T1_1 77 0 R
/T1_2 54 0 R
/T1_3 78 0 R
/T1_4 62 0 R
>>
/ProcSet [/PDF /Text]
/ExtGState <<
/GS0 66 0 R
/GS1 67 0 R
>>
>>
/Type /Page
>>
endobj
28 0 obj
<<
/CropBox [0 0 467.716 680.314]
/Annots [122 0 R 123 0 R 124 0 R]
/Parent 12 0 R
/Contents 125 0 R
/Rotate 0
/MediaBox [0 0 467.716 680.314]
/Thumb 126 0 R
/Resources <<
/XObject <<
/Im0 127 0 R
/Im1 128 0 R
>>
/ColorSpace <<
/CS0 [/Indexed [/ICCBased 52 0 R]
255 129 0 R]
/CS1 [/ICCBased 52 0 R]
/CS2 [/Indexed [/ICCBased 52 0 R]
255 130 0 R]
>>
/Font <<
/T1_0 55 0 R
/T1_1 77 0 R
/T1_2 59 0 R
/T1_3 54 0 R
/T1_4 78 0 R
/T1_5 62 0 R
>>
/ProcSet [/PDF /Text /ImageC /ImageI]
/ExtGState <<
/GS0 66 0 R
/GS1 67 0 R
>>
>>
/Type /Page
>>
endobj
29 0 obj
<<
/CropBox [0 0 467.716 680.314]
/Annots [131 0 R]
/Parent 12 0 R
/Contents 132 0 R
/Rotate 0
/MediaBox [0 0 467.716 680.314]
/Thumb 133 0 R
/Resources <<
/XObject <<
/Im0 134 0 R
>>
/ColorSpace <<
/CS0 [/ICCBased 52 0 R]
/CS1 [/Indexed [/ICCBased 52 0 R]
255 135 0 R]
>>
/Font <<
/T1_0 55 0 R
/T1_1 77 0 R
/T1_2 59 0 R
/T1_3 54 0 R
/T1_4 78 0 R
/T1_5 62 0 R
>>
/ProcSet [/PDF /Text /ImageC /ImageI]
/ExtGState <<
/GS0 66 0 R
/GS1 67 0 R
>>
>>
/Type /Page
>>
endobj
30 0 obj
<<
/CropBox [0 0 467.716 680.314]
/Annots [136 0 R 137 0 R 138 0 R 139 0 R 140 0 R 141 0 R 142 0 R]
/Parent 13 0 R
/Contents 143 0 R
/Rotate 0
/MediaBox [0 0 467.716 680.314]
/Thumb 144 0 R
/Resources <<
/XObject <<
/Im0 145 0 R
>>
/ColorSpace <<
/CS0 [/ICCBased 52 0 R]
/CS1 [/Indexed [/ICCBased 52 0 R]
255 146 0 R]
>>
/Font <<
/T1_0 55 0 R
/T1_1 59 0 R
/T1_2 54 0 R
/T1_3 77 0 R
/T1_4 78 0 R
/T1_5 62 0 R
>>
/ProcSet [/PDF /Text /ImageC /ImageI]
/ExtGState <<
/GS0 66 0 R
/GS1 67 0 R
>>
>>
/Type /Page
>>
endobj
31 0 obj
<<
/CropBox [0 0 467.716 680.314]
/Annots [147 0 R 148 0 R 149 0 R 150 0 R 151 0 R 152 0 R 153 0 R 154 0 R]
/Parent 13 0 R
/Contents 155 0 R
/Rotate 0
/MediaBox [0 0 467.716 680.314]
/Thumb 156 0 R
/Resources <<
/XObject <<
/Im0 157 0 R
>>
/ColorSpace <<
/CS0 [/ICCBased 52 0 R]
/CS1 [/ICCBased 52 0 R]
>>
/Font <<
/T1_0 59 0 R
/T1_1 55 0 R
/T1_2 77 0 R
/T1_3 54 0 R
/T1_4 78 0 R
/T1_5 62 0 R
>>
/ProcSet [/PDF /Text /ImageC]
/ExtGState <<
/GS0 66 0 R
/GS1 67 0 R
>>
>>
/Type /Page
>>
endobj
32 0 obj
<<
/CropBox [0 0 467.716 680.314]
/Annots [158 0 R 159 0 R 160 0 R]
/Parent 13 0 R
/Contents 161 0 R
/Rotate 0
/MediaBox [0 0 467.716 680.314]
/Thumb 162 0 R
/Resources <<
/ColorSpace <<
/CS0 [/ICCBased 52 0 R]
>>
/Font <<
/T1_0 55 0 R
/T1_1 54 0 R
/T1_2 59 0 R
/T1_3 163 0 R
/T1_4 78 0 R
/T1_5 62 0 R
>>
/ProcSet [/PDF /Text]
/ExtGState <<
/GS0 66 0 R
/GS1 67 0 R
>>
>>
/Type /Page
>>
endobj
33 0 obj
<<
/CropBox [0 0 467.716 680.314]
/Parent 13 0 R
/Contents 164 0 R
/Rotate 0
/MediaBox [0 0 467.716 680.314]
/Thumb 165 0 R
/Resources <<
/Font <<
/T1_0 59 0 R
/T1_1 78 0 R
/T1_2 62 0 R
>>
/ProcSet [/PDF /Text]
/ExtGState <<
/GS0 66 0 R
/GS1 67 0 R
>>
>>
/Type /Page
>>
endobj
34 0 obj
<<
/Type /Annot
/Subtype /Link
/A 166 0 R
/Rect [0.0 652.13007 467.716 680.314]
/F 0
/C [0.718 0.329 0.0]
>>
endobj
35 0 obj
<<
/Rect [184.433 438.039 190.78 445.695]
/Subtype /Link
/BS 167 0 R
/A 168 0 R
/Border [0 0 0]
/Type /Annot
>>
endobj
36 0 obj
<<
/Rect [270.828 438.039 277.173 445.695]
/Subtype /Link
/BS 169 0 R
/A 170 0 R
/Border [0 0 0]
/Type /Annot
>>
endobj
37 0 obj
<<
/Rect [360.128 438.039 366.474 445.695]
/Subtype /Link
/BS 171 0 R
/A 172 0 R
/Border [0 0 0]
/Type /Annot
>>
endobj
38 0 obj
<<
/Rect [172.185 167.964 179.324 176.789]
/Subtype /Link
/BS 173 0 R
/A 174 0 R
/Border [0 0 0]
/Type /Annot
>>
endobj
39 0 obj
<<
/Rect [62.6011 127.761 188.173 140.182]
/Subtype /Link
/BS 175 0 R
/A 176 0 R
/Border [0 0 0]
/Type /Annot
>>
endobj
40 0 obj
<<
/Rect [62.6011 117.152 183.413 129.574]
/Subtype /Link
/BS 177 0 R
/A 178 0 R
/Border [0 0 0]
/Type /Annot
>>
endobj
41 0 obj
<<
/Rect [62.6011 106.544 192.932 118.966]
/Subtype /Link
/BS 179 0 R
/A 180 0 R
/Border [0 0 0]
/Type /Annot
>>
endobj
42 0 obj
<<
/Rect [313.167 567.767 413.141 576.695]
/Subtype /Link
/BS 181 0 R
/A 182 0 R
/Border [0 0 0]
/Type /Annot
>>
endobj
43 0 obj
<<
/Rect [217.208 77.8127 285.849 83.2561]
/Subtype /Link
/BS 183 0 R
/A 184 0 R
/C [0 0 1]
/H /P
/Border [0 0 1]
/Type /Annot
>>
endobj
44 0 obj
<<
/Length 2375
/Filter /FlateDecode
>>
stream
HW[6~#5")RR: -ba"S,42gFIw8 Zl`:jvvDj%D2ZϤy7ĹYd"V֪h}K-۹bKQWΌX͋Te;4Xw-ov]۹VbXVտgI2VVkykc]_ޏݶKZP|/w}jуu0{[/:$#$TERlj1A1.,R*sǹ\傘RV\?%-tP6L_
1ULD8MĂb1DQw8gk"9i6a!Ke2δ.!_
RT|we?2NyΜ>gN_Z;G ejcr2MYfzX&'(r\E"vzgݵ.~}^QkVA'$P5զYIQ%721y"wa':C\>t3o9Qouu
Ɲu>!ǩ|x냄zk61D/8R=jb_6yz:Q)auhͦV>B#_=?ީ-GK29">6-
Dq9=:ߎkAnȷU{yn3/7TE'B.A)c9ݎ/4
4EF̪"Hr nO:U`^R#>UBT ii0cs
Ũ<ᖅA4-Yԩ;L|MniТߒ?rY9UXv2`.l?vM]8h"M#vN6%;$c2 "~,] QZy]W<
:O7Ťh>~kĘlW$!NGi1n6ݾ } }#S;E-%,LohT' 4Ka 6|X-Ӑ#y^D_xu
O\@u.C8|