%PDF-1.5
%
1 0 obj
<<
/Subtype/Type1
/Type/Font
/BaseFont/Helvetica
/Encoding/WinAnsiEncoding
>>
endobj
2 0 obj
<<
/Meeting#20Starting#20Date(25 June 2019)
/Creator(PaperCept Conference Management System)
/ModDate(D:20240329143605+00'00')
/IEEE#20Article#20ID(8795696)
/IEEE#20Issue#20ID(8795605)
/CreationDate(D:20190718032357-07'00')
/Producer(PDFsharp 1.50.5147 \(www.pdfsharp.com\) \(Original: PDFlib+PDI 8.0.1p8 \(Perl 5.10.0/Linux-x86_64\); modified using iText 5.5.6 2000-2015 iText Group NV \(AGPL-version\)\))
/Subject(Reactive Synthesis and Supervisory Control Theory are both systematic approaches for the automatic construction of controllers from requirements. However, their underlying technicalities differ significantly. This paper provides an empirical comparison between these two approaches from the modelling perspective through case studies. Using the synthesis tools TuLiP and Supremica, two examples are modelled in the typical modelling formalism supported by each tool, and the algorithms are applied to synthesize controllers. Based on the obtained models and experiences, we compare how the models are derived, and how the characteristics of the examples and the underlying synthesis algorithms influence the modelling choices.)
/IEEE#20Publication#20ID(8778424)
/Title(Comparative Case Studies of Reactive Synthesis and Supervisory Control)
/Meeting#20Ending#20Date(28 June 2019)
/Author(Ramezani, Z., Krook, J., Fei, Z. et al)
/Keywords()
>>
endobj
3 0 obj
<<
/Subtype/XML
/Type/Metadata
/Length 3803
>>
stream
EUCA
2019 18th European Control Conference (ECC);2019; ; ;10.23919/ECC.2019.8795696
Comparative Case Studies of Reactive Synthesis and Supervisory Control
Zahra Ramezani
Jonas Krook
Zhennan Fei
Martin Fabian
Knut Akesson
endstream
endobj
4 0 obj
<<
/Filter/FlateDecode
/Length 10
>>
stream
x+ |
endstream
endobj
5 0 obj
<<
/Filter/FlateDecode
/Length 185
>>
stream
xAo0W8$ԅ
1ĵj_iP%)ː-,L?y3+[R
,7c'rkjv!8Q
>
stream
x+ |
endstream
endobj
7 0 obj
<<
/Filter/FlateDecode
/Length 186
>>
stream
xn0s
&sC{klMmHF#^b>nH%Xu4
o\Ú]H0N31q-mi;gg)M!
4W+2|Y)t1#WB6(
\z+3CF\@v07*4HBY
endstream
endobj
8 0 obj
<<
/Filter/FlateDecode
/Length 10
>>
stream
x+ |
endstream
endobj
9 0 obj
<<
/Filter/FlateDecode
/Length 186
>>
stream
xAo0W8$ԅ
1ĵj_iP%)-,L?y3
kwZM\>vcě_n`M.$қ8JCWٞ}ՙgJ'Hu}
_rV&4:Zs+Tj[k\Dz,qxoћ:q0)L?t3}qBV
endstream
endobj
10 0 obj
<<
/Filter/FlateDecode
/Length 10
>>
stream
x+ |
endstream
endobj
11 0 obj
<<
/Filter/FlateDecode
/Length 186
>>
stream
xn0sR
h
0(W74#7
G{MɱnI%
9l|m=vcě7fSMLeCWٞ}ř&NΉۄvTM:jYBPmEz]%pP
2|_*5HO~@BW
endstream
endobj
12 0 obj
<<
/Filter/FlateDecode
/Length 10
>>
stream
x+ |
endstream
endobj
13 0 obj
<<
/Filter/FlateDecode
/Length 186
>>
stream
xAo0W8$ԅ
1ĵj_iP%)-,L?y39-)lzo=}؉7]H0N71q=3ϔ&NΉˋvTM:it*W"ԶȓZ/=eY6X7u4aS~PBgBX
endstream
endobj
14 0 obj
<<
/Filter/FlateDecode
/Length 10
>>
stream
x+ |
endstream
endobj
15 0 obj
<<
/Filter/FlateDecode
/Length 186
>>
stream
xn0sRL
h
0(W74#7
G{M)nI%(Y|m=vcě7fSMLeCWٞ}ř&NΉۄvTM:j\PmEz]%pP
2|_*5HOBZ
endstream
endobj
16 0 obj
<<
/Filter/FlateDecode
/Length 10
>>
stream
x+ |
endstream
endobj
17 0 obj
<<
/Filter/FlateDecode
/Length 186
>>
stream
xn0s
&Vh
0(W74#7
G{MYa
ݐKF7̱dkh9Vyp
k*v!8Qv8\OiijX8߹fKJY8k\EQ['ћ*qe1TRLGzKB\
endstream
endobj
18 0 obj
<<
/Filter/FlateDecode
/Length 10
>>
stream
x+ |
endstream
endobj
19 0 obj
<<
/Filter/FlateDecode
/Length 186
>>
stream
xAo0WȤ
TkվLi^C-,H4tK
/-ްr-WnxB1p*lq*۳8 Bs9rps.×ܝIGqC>s+Tj͓\eY:X'ћ:q0)ÇRәB]
endstream
endobj
20 0 obj
<<
/Subtype/Type1
/FirstChar 5
/BaseFont/IQABXX+CMR10
/Type/Font
/FontDescriptor 21 0 R
/LastChar 111
/Widths 22 0 R
>>
endobj
21 0 obj
<<
/Descent -194
/CharSet(/Pi/Sigma/bracketleft/bracketright/circumflex/colon/d/dotaccent/equal/exclam/four/m/nine/o/one/parenleft/parenright/percent/plus/seven/three/two/zero)
/CapHeight 683
/FontFile 23 0 R
/StemV 69
/Type/FontDescriptor
/Flags 4
/XHeight 431
/FontBBox[-40 -250 1009 750]
/FontName/IQABXX+CMR10
/ItalicAngle 0
/Ascent 694
>>
endobj
22 0 obj
[
750 722.2 777.8 722.2 777.8 722.2 583.3 555.6 555.6 833.3 833.3 277.8 305.6 500 500 500 500 500 750 444.4 500 722.2 777.8 500 902.8 1013.9 777.8 277.8 277.8 500 833.3 500 833.3 777.8 277.8 388.9 388.9 500 777.8 277.8 333.3 277.8 500 500 500 500 500 500 500 500 500 500 500 277.8 277.8 277.8 777.8 472.2 472.2 777.8 750 708.3 722.2 763.9 680.6 652.8 784.7 750 361.1 513.9 777.8 625 916.7 750 777.8 680.6 777.8 736.1 555.6 722.2 750 750 1027.8 750 750 611.1 277.8 500 277.8 500 277.8 277.8 500 555.6 444.4 555.6 444.4 305.6 500 555.6 277.8 305.6 527.8 277.8 833.3 555.6 500
]
endobj
23 0 obj
<<
/Length1 1775
/Length2 11187
/Filter/FlateDecode
/Length 12346
/Length3 0
>>
stream
xڍP\.4%4Hc\!<$w
푙3wWW]uoZRj0Y:fv6~:;Vj]\A`2pA^0I3ȋ# f`ggcpх i( @WZ G'/
%^ v>>?b@d:d0h8Z`@YY=<