################################################################################ ########### symbolic controller synthesis toolbox information added ############ ################################################################################ #scots dimension: 5 #scots grid parameter eta: 0.2 0.2 0.2 0.3 0.3 #scots measurement error bound: 0 0 0 0 0 #scots coordinate of first grid point: 0 0 -3.4 -0.9 -0.9 #scots coordinate of last grid point: 10 10 3.4 0.9 0.9 #scots number of grid points (per dim): 51 51 35 7 7 #scots index of bdd variables: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 .ver DDDMP-2.0 .mode B .nnodes 10805 .nvars 24 .nsuppvars 24 .ids 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 .permids 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 .nroots 1 .rootids -10805 .nodes dccxxcccbzclgxxccskhmsxxcccacCkssjxxcccHxkczs e}ccccpxccsz4ss4i$kacxcj,(xxccs asHxccxs\sacccqcsz icicksckHxccxs ss0m,ccccypi:kkqmxxcchssss"s@skksi@k\kDyDk*xxcccyzmccccm*xxccs y@sq**xxccsyZi$phsssPBxcckbcksm,ccccypysm^cckk hcy>hs8sssj4qlhsssj$e,cccxsXkZsss"sJssssVi~ ckkz0mccccz0yZpRkssb&yzA,ccczxysjyysskkkihyk|ykxkka$ki8shPirssqiyssyq$kq*k8siPDiBpzssq>ksicy$kjsssjyyhjxlxxccykssik4jBysik$Akk~ckysss skzjrFkPiNiBsssjBkiB$sBsiH*xccs*jssss sBcsBbHxi,cccczkiz(siNpcckrsAcccyNiBsssr$j,z\saccyyaccczdjssss&ccs^sdbasqsbPiXsbyZssbyzajssssxcr8z4q2z,sq*z>jhs*zsscbcccyNjB:sssj4i^cccczzsrssscs0sLiBNzss$jzsssccrqzsiԔkzbckszs sxD|ssszsvss0sHshxccysi:ssqss ss"bdzaBysarqNsssrLs p:sssss$cqZi*sXsjsVz8sjzLrJavy@ssscjzszss2ss2b8azzsjhzssscsqssJz:sszi$kZrh$ssrilcysq 2rhksssii$hsacccs\hkssacckNzBqڮhk>ssss0ssVsnsssh@xccxkZAccckdh:ssjXzvp.xccxhk>ssshkpxccyj>nssiksztjjzZzVsfsczXsjsssjihsshkjzss szs4rssTqk@jfsi Rkh @sss ihkzjDz4iJczh*ss sszsz8rzsj<hckzzsscjZz>q2z.s>sjr$zsjRp ^z@ssszs$q:zszzcj Rzssjssbcxkrnssszs"idcys i< cks Nsincy$s rssq  r bjsqzi fs,ssszzs8shj4zs>h RsvjN zfss ikh>ksizsrsszszlrJsVsz cr&sLz&si<ckAxxcch csssj vsssj  Pr :siiB>i*sss szhrszTjzxsssxssTshss2sk i$y>q nsirh shfk Rsssi k q sq DiBsq nsj 6ij$6sss i ccyixxccxsi>icyss j~ckmxxkcxsikZsss@ccccs`iisih ssq :$zizss iHkssr"8ssscccci ~k "ypkNs k sj jsivyhk ls ssscccisiZ nsi^xxccxki$kZssjj*sbcxkZjssscccsHsvsciyj sj i>zVssipz vibkcy>a"kssi ki>zss s"z s r Lz sj zss z s si6dk@zhjfj @ Ps0ssj$ kZsfj Jj* `sshssz :s :zs*iq srv si0cy k i jsssi"pq|srz Hsj< Fck"j sj ksssz |s |zh6k@z r  s sj"r siNz sssz s m,*xxccczidk siDrssmxxcck licy:sj si:ki s2ss s&z r ZssJslsizjBysi kqipsssj ik sj$j ksssz s r sjZz6r4r2ssj*0j Hsr, bs ssz i,ccccskj z sj jcm,cckcs sjp kdssm^*ccccsk&iTcyj ss a dccckNkjy sss0z s z r F 4s\j* r shzsdssz s jcyki sr jssi Ryksj hkssz i y r8z*zsss0sXsi>i 0sq yZiy&ss i6ih$ysi k `ssczr8jz2i z sZs^sczsi Zzq~ip6ksssq&ks"i&iZ ssscz>qR$kyqF kPi ssikiPz^ss zjni szss*sRiBVz i fsq Ҩq ssiizsi isssczr dssjsiN*z Xsssczsim*xxccxksi fj @ Jss si,xxkcy>k z4jzdiz6sssczi RykkiyikPjD sssz@ikykaz Nitsbr ssjrzjjJzfss ss(sDsssPss .stjssi l$yzj@psssca"i ~ .say sixayssb \y4aysi izsssy&s0iHzsss$y&k(srkkrPsTzscz$i cy By kik ksji NckBz`sa ly i>sssy&k(s0sDidk@zzr sssczji ~$sqsj"i^ccccyyssaccy b4ysiiHy sssy&k(sqk sij<ckszpirlssikz~rN`sjsscziys&s*q ksi(iPssrH j sssyss2sj sssy&k(s$j(idkk,iXvk qZ6ssqDi"Lyqf^sssz ss$s(shsci yi.ZiZssi6i*sm,xxkccyi sssci\6kayk|z>siiysi irssiZiHysj ^i@k ssss&s6sbb,q*@k(i *ytsifk\i z ss csii sm,cckckXk i~ ckyssi Ryisj\j  sssscs8sVi:id ~sk$i *issi cksiBsj\kss csiiB .ysi( iPssqzi kssRs xi ByzjXk issi qZsi<ckzvss ssvs(sHsfi4kkjnjsscjxkiyxsirt(sidss iBk&zljJiysssqk iykjTss ssci ssi kaissscji @k\si Xzb ysj ssii 0sj ~i Bssi6zi bsss ss4sTb"jrsriBbyjsssssijsivk(i Pssi6 ikzsrssjzssjk$i Lcrdssji$ksiivksssss&sNsjs sqZjsir$yissi jsjss cxxcj "yhrk zszcxxxsqi nsi issi@sr&z"ss cxxci kykcxxxss6sts Vi kyikksitkkiPjykyyi.skssi`i6sj`lyHsyi skkzi vkkii sk sss*ciyykyccccy@i zbsjzNccczkvsik iksiti Bysqtissscq 0iy8si>yDi@^kRss zsj2s6z"z"s"s jBq <ti R fyssiiskqz sszDsDrFHss&iZcy>yyq$siyiyysszjsjz&i*i6ssi ByszszsjLzkJikXi fksk\szzss0sTi$zyi&yjyss zszni@tiskLssxcccs(iccyq ,si ^izsshxcccy zJi zi>ksssxcccjsis\sik`i yi@sssxcccs$s\ci*y$ivk(j"yss i zhj(i$sssi V Dy`ajrsiPss i 4 i Xsa y ki xkcykiy sirk ipyss i j$si $k i ~y@ss ss2s@s`b8i8 sjPi ~pyssi|kiHz>k@sscs i i si y issii bccysj Dsb|ck fz\iFsss scs6sZia:ysj&ki,xxccyk6ssjXk6i sazi Dsssay y`zikyiHssiiFiksssci6kyyjTkzDsysjRyh^issi6izsi ss yyssRiy!i ysiykii<kssscr:ikiPssik y,idysssys z8jkycr*!Hs0ysi>k k,i^$k,sik"k!i y^s^ssyjss$s6sxsss q`i kPssq4z i ly kziryirssii:si Bsqsszi ~kcy>yissjzVsss8sHsji k!iDy&si0i y sszsrssii#si^cccckkiP#ssicy$yyi^z:sszsh ylsi y,j &ssz*qxyjz ss z s:ss&sXi i$xsj id!|ssisJjsi$i`kssszdsdzikyy#~zztstiB Byi ZsiXysi Tksi^k#nssz ss$s2srijjvsiki!zssitsvjry,ss czj(pyjksys:sqd!^j@ky!fscziyiskyq6#i^Zj #ssisi kss zss(s8i>yjPksi,i!ksscz.i 0@k@i!s#si!@s#i Zsss yssj! Lik,i *z!Psi |i!isss i#sVsZzNssns$s(s^sciipss0i!'&k@ysxcxxikidksivz#sipyyDiz#isssxcxid:k kq#shsssi)isjP%kPsi i @kPsiki*s0ss sci*y%@ij%Fssi4y%Hiazsssi 8%>k 6j Lk 6si Vi 8%si 8j Lsssss:ik Vj'say i!Dssih4k 4yi ^a^y ssss*cs*b0pjsi>say|sq2xi y!ssi 4 iy sj'@i>yssscss.s6ii si(az'ssi 6zi (azsssci%>sj%F'kishkssssssFs^s|sri(zsi6j Xsiy Nss ikniBysi>zFi>Bi "kssssss@sRslq8ki rksi Nki i Lssscisjsrrssxsbr&sXssq%<s#s#s#xcxxii+tsjXs siyzjXyj!zssszVsVrXZss(rZj<sjzsiyzj)i$ksssz~s~z(rlzij @ kXssql#iLyj!bssszsj Jk'zzjDjsJss zFsFi:isk,r#D:sipyz:iz8sszdq,irssr)tssstss0sHsrssss ss)j)+xi@yksj8+jZxsscxxxi q'sis%k\si@kXik ijy ss sxcccs*ickkz0iZksiisik i sssxccci@k)q#k,sj8i(Zi,Hsss xcccs sLcq%q#BRsivk(i-`ssq6$i+z*ssi 8-k 6i 4 i Lssi 8zk Zi jssscik8k yTj -i *ssq/2yi ijyHsssziy>y,i j'Fssi>`kkiki`k.ss ss~s&sFsZssq ti:ytsj6 s siti3#sj6#s sscidsnk$iissq18|i+z/sszsr sq!tjytsj'Tk6s sj @'\k3k,iytj6%nssscq >z'jXszsis z szZsz>s>i^kj'tiytszi B)y#k3itj6'ssscr j s ~sik3Ds ~z nszsj k'q'LPsj yiDy#sj0sscj3< k,srvj'snsszsi*s k,ivkji-2 fkpss q *+i->hksq ,-Hsszr3rPsr3sssss4sfssss i 4 Dy`i!>k 4z3$si 4pz1i 'ssczi* Bk 4y`i!>k 4jx'`ssizs i lz'lk sss$s$s$i ifsi @kr%J'nssi$i%sj +Lsi &ik ssssPsPsPs.r't'bksicyksi Dj$'pkZsssss0sHsZsr5'j4j )0ssj )Hs5jkz'6iZ Dissssss$s2sPscjBstsxi #srj+sjss ci1i kss'LiBs'Hi(kks'Lsszsjsslr+sRsz.s.sizisj$/"kss iz!(r-ij`s'LssszTsTj srbsslsbsbss6iyjid ssq~sqyqissszsrsi>z/zi#sj./dsss zsr'RkiByz'Ni+ss ziFidytsjBhslsij Lsjhk0ssss s4sLsriĨiksiy&sj -0k,iy8ss zsjNs~sDr>j D-srsszssrnbz1kBs2sii@j1ssj s ssss"s@sNsxsi<Zz2s8ssiyk%sicypki%Fsadzi%ZssszFs,iyk%s,q"$kz jzssz`s`si^:yts@js>si sii Fsi  jssjZ JisiB7zy)~ssz Hss$sFj51z&z >iLyz 8s @sczxj'&k&ipyksi%$kisj%,y+rsszss"j3 sz 4s k!k'"iki sssz ss&s4sli&jzj3i fytssrzhjksssczj&iyk%siysqssszPsPsrjrdi *z3:sss cz rFqDk%sirzsBssci)Ni-&iNssj'i"yPy52ss xcxxj,'i&z'siBkiy+2i-yss sxcxiDj 0&si+ yPsi+9i '&si/zjxk zzsss$sDsni zsj 7Fsqssczi=k qzszczsi11Bq3 sjdik@siZs3sscza :iP Bss>q4i/y'sszj72Fk9>j%7k sRsz ss&sBj1(jz7ss0j-$z"zscz8zis0siy8s0sczLj9:zz7^rtsj7szshxk p|zxshy3svsssrs(skksi,i*i>?.sk0sszsj k'z,q&3s*szzss4sdj<+ckyxk3q%si;iysszszijytsiizNssiizXk,ss zsi !$kjXysz%zz ss6jRj-ytslcccckdi)sksi=,icyyks sz>s>zqkAiz^ksj6Xk0s:szXsXi-zk,zjsi-HssznqLzzvsvss s:snssss si3pxk$i yy%"si 5piy5vssczi727Rk9tzzshs is s i3k3isss czi'Dkss s"ss,s\iFy,h@kdk5hsi'Ty,j!zss cz\j9>\zzdssj=k zq|3Fk3zxsczxr|i;:i-'si=kkszsss*rNk3zj,i6(sssczixsk7,j7>szsjsik)i */i@9ssik`q9pdi@ Dssshi kssxitzhi3Fsssssss:s`sci* i3ksq'xrk).sikViydk7 ssi8ksCi%Fksi%Fs j%j%Z5sssi;XRk&j )6jr)ssq~:kZi/2siby=z9xsss s:sXb&i%6yk=i Zssss|cs&sDj<k)Niiz6ssiZBki Ly+2i^sssi8ksi#k'si.Apkq7Hk7bss cjC7bzrx7\r9Fssi+|Rsrsri/=y ssss"s>baNckcyz)kyii%ssiG Xq?`kDsi>s?sscxxxs&sLss @i" .kzXi'fksi%Z@ssNscipkzZi%Zssszsi6z/k&iyRksiCsj/iRssss2s2s"r68jXXz'ixFi ssikyj hFkkss ssZsZs&s*iH .yFshi i!Dssi%k6iH$hssj+silkcyki'f;ssj%F1ps?ii%ZsssziZi nsiCsqAiksqA(sssssFs`sri7RVsi @s)sj h/ysssssihykszssi%>s?5si'fksii%Fsj%ss zq1Zy1BjZ)lyEsizjAsiE ss sss8sRstscbccj5:zIs6iy0s6siy z4iAxs4ssccccs&iy,jDsriNykss z!ds!r!!hssihj+six+ siyDiri|sssz!s!>z"rLi3k,z!xsz!s!NayyGfiDy+ss+z!r!rsss&sFiRyk3i!zKsj;Ki4%.ssz!s!r!Z!s!sr!!iss!iss!sz!s!i BPs+Lkhq;-krsz!z!ss(r73y5`qK0?issj#tkziksisK.k/"ssz#s!ziz#4s!Nj3z#,sz#,s!j32i yzKs'cz^siiLsij# /^ssq;Zy!iN DijkZsssczi kisiEBi Assj X;sIHiAAktj1sscr?znjnKRi 6sKRsi ih PsKHssrKfKFisOsinC`i>i ֶksssssjs.ssDsz-z-ss$j -z4zz-s-zrpi)N/qEfBs0si!kVq ƨjsssz/r/+sss"s0shsri .kzi'fksi%FCsO&iy@sS2sszsss"rJ ssPsjsjC5\i'fksr3sziEBzRs`zFzs ssj%DsrSpikiBy@ss szs(srts0sss$sDi?#~iy0kk#sci ki i"ssiiBsiE=ss zsq*Az"s"siki&#siyGsiIM&i?^kGssz@s@rBDss"iki$?sjAy?siGy?i\ fk$issszhshz(iI0i?Z#y?bszvsvi'Eizk?siGbyGfi#n?sszi?!y#~zsss s.sTikz1k?i ykAszszniI.!iy#|si  yy?bszsiAJkAHikGyGszzss(j i?siPkGsiGi$^iA/sss zsziA0kk#kA8zsj Ak iDi$ssi".kHipk#nss zi#?y#i0k#si%#j%2sss2ss2s@s`ssJss \ss%F3K>.end