%PDF-1.7
%
1 0 obj
<<
/PageMode /UseOutlines
/Names 2 0 R
/Outlines 3 0 R
/Metadata 4 0 R
/Pages 5 0 R
/PageLayout /SinglePage
/OpenAction [6 0 R /FitH 804]
/Threads [7 0 R]
/StructTreeRoot 8 0 R
/Type /Catalog
/Lang (EN)
/PageLabels 9 0 R
>>
endobj
10 0 obj
<<
/CreationDate (D:20190930124129+05'30')
/Subject (Journal of Computational Design and Engineering, 6 \(2019\) 527-541. doi:10.1016/j.jcde.2019.04.002)
/Author (Sirasak Tepjit)
/Creator (Elsevier)
/Producer (Acrobat Distiller 8.0.0 \(Windows\))
/ElsevierWebPDFSpecifications (6.5)
/robots (noindex)
/ModDate (D:20190930124143+05'30')
/doi (10.1016/j.jcde.2019.04.002)
/Title (The state of framework development for implementing reasoning mechanisms in smart cyber-physical systems: A literature review)
/Trapped /False
>>
endobj
2 0 obj
<<
/Dests 11 0 R
>>
endobj
3 0 obj
<<
/First 12 0 R
/Count 29
/Last 12 0 R
>>
endobj
4 0 obj
<<
/Length 6716
/Subtype /XML
/Type /Metadata
>>
stream
application/pdf
doi:10.1016/j.jcde.2019.04.002
The state of framework development for implementing reasoning mechanisms in smart cyber-physical systems: A literature review
Sirasak Tepjit
Imre Horváth
Zoltán Rusák
Cyber-physical systems
System smartness
Development framework
System level reasoning
Compositionality
Journal of Computational Design and Engineering, 6 (2019) 527-541. doi:10.1016/j.jcde.2019.04.002
Society for Computational Design and Engineering
journal
Journal of Computational Design and Engineering
© 2019 Society for Computational Design and Engineering. Publishing Services by Elsevier.
2288-4300
6
4
October 2019
527-541
527
541
10.1016/j.jcde.2019.04.002
https://doi.org/10.1016/j.jcde.2019.04.002
VoR
10.1016/j.jcde.2019.04.002
noindex
Elsevier
2019-09-30T12:41:43+05:30
2019-09-30T12:41:29+05:30
2019-09-30T12:41:43+05:30
True
Acrobat Distiller 8.0.0 (Windows)
False
uuid:63ba1d86-e71b-4f6f-929e-c4f94a9c4fa8
uuid:ed386ac6-e7ca-484e-ad1b-e63f98ad646b
http://creativecommons.org/licenses/by-nc-nd/4.0/
endstream
endobj
5 0 obj
<<
/Count 16
/Type /Pages
/Kids [13 0 R 14 0 R]
>>
endobj
6 0 obj
<<
/CropBox [0 0 595.276 793.701]
/Annots [15 0 R 16 0 R 17 0 R 18 0 R 19 0 R 20 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]
/Parent 13 0 R
/B [29 0 R 30 0 R 31 0 R 32 0 R 33 0 R 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 44 0 R 45 0 R 46 0 R]
/StructParents 1
/Contents [47 0 R 48 0 R 49 0 R 50 0 R 51 0 R 52 0 R 53 0 R 54 0 R]
/Rotate 0
/MediaBox [0 0 595.276 793.701]
/Resources 55 0 R
/Type /Page
>>
endobj
7 0 obj
<<
/F 29 0 R
/I <<
/Title
>>
>>
endobj
8 0 obj
<<
/K [56 0 R 57 0 R 58 0 R 59 0 R 60 0 R 61 0 R 62 0 R 63 0 R 64 0 R 65 0 R
66 0 R 67 0 R 68 0 R 69 0 R 70 0 R 71 0 R 72 0 R]
/ParentTree 73 0 R
/ParentTreeNextKey 8
/Type /StructTreeRoot
>>
endobj
9 0 obj
<<
/Nums [0 74 0 R]
>>
endobj
11 0 obj
<<
/Kids [75 0 R 76 0 R 77 0 R 78 0 R]
>>
endobj
12 0 obj
<<
/First 79 0 R
/Parent 3 0 R
/Dest [6 0 R /FitR 0 794 596 794]
/Count 28
/Last 80 0 R
/Title
>>
endobj
13 0 obj
<<
/Parent 5 0 R
/Count 11
/Type /Pages
/Kids [81 0 R 6 0 R 82 0 R 83 0 R 84 0 R 85 0 R 86 0 R 87 0 R 88 0 R 89 0 R
90 0 R]
>>
endobj
14 0 obj
<<
/Parent 5 0 R
/Count 5
/Type /Pages
/Kids [91 0 R 92 0 R 93 0 R 94 0 R 95 0 R]
>>
endobj
15 0 obj
<<
/Rect [42.52 601.455 42.633 614.891]
/Subtype /Link
/Border [0 0 0]
/Dest
/Type /Annot
>>
endobj
16 0 obj
<<
/Rect [42.52 562.45 42.633 572.995]
/Subtype /Link
/Border [0 0 0]
/Dest
/Type /Annot
>>
endobj
17 0 obj
<<
/Rect [110.494 566.362 115.54 579.288]
/Subtype /Link
/Border [0 0 0]
/Dest
/Type /Annot
>>
endobj
18 0 obj
<<
/Rect [42.52 548.39 42.576 554.74]
/Subtype /Link
/Border [0 0 0]
/Dest
/Type /Annot
>>
endobj
19 0 obj
<<
/Rect [42.52 516.813 42.633 525.77]
/Subtype /Link
/Border [0 0 0]
/Dest
/Type /Annot
>>
endobj
20 0 obj
<<
/Rect [135.439 464.428 135.496 470.778]
/Subtype /Link
/Border [0 0 0]
/Dest
/Type /Annot
>>
endobj
21 0 obj
<<
/Rect [207.099 516.756 207.156 525.713]
/Subtype /Link
/Border [0 0 0]
/Dest
/Type /Annot
>>
endobj
22 0 obj
<<
/Rect [386.646 334.885 558.142 342.085]
/Subtype /Link
/A <<
/URI (http://creativecommons.org/licenses/by-nc-nd/4.0/)
/S /URI
>>
/Border [0 0 0]
/Type /Annot
>>
endobj
23 0 obj
<<
/Rect [42.52 55.502 169.852 61.852]
/Subtype /Link
/A <<
/URI (https://doi.org/10.1016/j.jcde.2019.04.002)
/S /URI
>>
/Border [0 0 0]
/Type /Annot
>>
endobj
24 0 obj
<<
/Rect [227.792 38.381 379.842 44.731]
/Subtype /Link
/A <<
/URI (http://creativecommons.org/licenses/by-nc-nd/4.0/)
/S /URI
>>
/Border [0 0 0]
/Type /Annot
>>
endobj
25 0 obj
<<
/Rect [101.424 73.474 154.998 79.824]
/Subtype /Link
/A <<
/URI (mailto:s.tepjit@tudelft.nl)
/S /URI
>>
/Border [0 0 0]
/Type /Annot
>>
endobj
26 0 obj
<<
/Rect [198.652 739.445 406.431 745.852]
/Subtype /Link
/A <<
/URI (https://doi.org/10.1016/j.jcde.2019.04.002)
/S /URI
>>
/Border [0 0 0]
/Type /Annot
>>
endobj
27 0 obj
<<
/Rect [328.365 711.779 379.502 719.773]
/Subtype /Link
/A <<
/URI (http://www.sciencedirect.com/science/journal/22884300)
/S /URI
>>
/Border [0 0 0]
/Type /Annot
>>
endobj
28 0 obj
<<
/Rect [279.156 656.05 421.568 663.987]
/Subtype /Link
/A <<
/URI (http://www.elsevier.com/locate/jcde)
/S /URI
>>
/Border [0 0 0]
/Type /Annot
>>
endobj
29 0 obj
<<
/N 30 0 R
/P 6 0 R
/R [40 723 296 729]
/T 7 0 R
/V 96 0 R
>>
endobj
30 0 obj
<<
/N 31 0 R
/P 6 0 R
/R [40 580 495 621]
/T 7 0 R
/V 29 0 R
>>
endobj
31 0 obj
<<
/N 32 0 R
/P 6 0 R
/R [535 595 565 661]
/T 7 0 R
/V 30 0 R
>>
endobj
32 0 obj
<<
/N 33 0 R
/P 6 0 R
/R [535 619 565 637]
/T 7 0 R
/V 31 0 R
>>
endobj
33 0 obj
<<
/N 34 0 R
/P 6 0 R
/R [40 519 565 578]
/T 7 0 R
/V 32 0 R
>>
endobj
34 0 obj
<<
/N 35 0 R
/P 6 0 R
/R [40 391 179 529]
/T 7 0 R
/V 33 0 R
>>
endobj
35 0 obj
<<
/N 36 0 R
/P 6 0 R
/R [204 331 565 531]
/T 7 0 R
/V 34 0 R
>>
endobj
36 0 obj
<<
/N 37 0 R
/P 6 0 R
/R [40 302 565 320]
/T 7 0 R
/V 35 0 R
>>
endobj
37 0 obj
<<
/N 38 0 R
/P 6 0 R
/R [40 295 296 310]
/T 7 0 R
/V 36 0 R
>>
endobj
38 0 obj
<<
/N 39 0 R
/P 6 0 R
/R [46 266 565 291]
/T 7 0 R
/V 37 0 R
>>
endobj
39 0 obj
<<
/N 40 0 R
/P 6 0 R
/R [63 238 565 272]
/T 7 0 R
/V 38 0 R
>>
endobj
40 0 obj
<<
/N 41 0 R
/P 6 0 R
/R [46 228 565 243]
/T 7 0 R
/V 39 0 R
>>
endobj
41 0 obj
<<
/N 42 0 R
/P 6 0 R
/R [63 209 565 234]
/T 7 0 R
/V 40 0 R
>>
endobj
42 0 obj
<<
/N 43 0 R
/P 6 0 R
/R [46 199 565 215]
/T 7 0 R
/V 41 0 R
>>
endobj
43 0 obj
<<
/N 44 0 R
/P 6 0 R
/R [63 171 565 205]
/T 7 0 R
/V 42 0 R
>>
endobj
44 0 obj
<<
/N 45 0 R
/P 6 0 R
/R [46 161 565 176]
/T 7 0 R
/V 43 0 R
>>
endobj
45 0 obj
<<
/N 46 0 R
/P 6 0 R
/R [63 132 565 167]
/T 7 0 R
/V 44 0 R
>>
endobj
46 0 obj
<<
/N 97 0 R
/P 6 0 R
/R [40 123 565 138]
/T 7 0 R
/V 45 0 R
>>
endobj
47 0 obj
<<
/Length 1057
/Filter /FlateDecode
>>
stream
HUr6#2|;;vv2R' IyQIZ} iKhrK'a""\DFR 4b32ƙ)?RZp)0ҊjoxC0Ks/(Rk>C%[\'f%U9)M1I,X'_,TaǰQ6ԑM7 )|ߎՒMGGMf_{%q~w"j:7;+.Wx"u5>{*P存K-uK3ZA[D;IUGȾATi=[MNzݓUC?MT㔂XZ. @f JG!uoRd+pVfߓ|h
Y[۹tCxLm%cPH_}0G |a,gW
$
}a{UԀj4~uuMsgaXr/J'W3 B]5]|7MaH*3p-e̹i4`E
&D4@D E
㣉8nzT8p'101UQ`:e6C8ݯ}=yUP &][#X\?K Id1Y:W^=k~Q1Ʌ,Nw@j}>6}6_|2`I'+#Y!1p'o{*}ՀkOd {vځJ@7CxDk2x])VƗ1!cr*Sߴ4噆9as' |
endstream
endobj
48 0 obj
<<
/Length 1004
/Filter /FlateDecode
>>
stream
HlUM6HA)j疝 V<>$l