!

!"#$%&%'()*+,$(-.,+%&'%/,(0*1'.*$

-2/%23(4,#',56,.(73(899:

;$6,.'*(<,5#*.2+

http://www.dii.unisi.it/~bemporad

=1%/,.>%'?(*@(4%,12A@*B1+,+(%1(C8D9E

!"#$%&'"(&)*+),(+*%'$&-*().(/-(""%-(/

AF*%1'(>B./,?(#2#,.(G%'H(;$,>>21+.*(;$,>>%*E

"

#$%&'()*&%+,-+.&(/$0-*$'

1*$,&223$%&'4562&%($1-+3+7&*

+018-

u9t:

x9t:2-6-&

1*&%+,-&%(2-6-&2

360+18'6-&%;018-2

t t<! t<N

ut<k

*&=&*&0,&xt<k

>0'?(611'?

@A&,&%&B(C$*+7$0

D(*&1&6-(E(t<!

F

#)/($=(G+0&6*(H?2-&32(I(J86%*6-+,(/$2-2

#)/('6K(%&L0&%(5?(-C&(2$'8-+$0($=(6(

A&*1/,"E(IB2+.2'%&(-.*J.25(AI-E

)&*=$*360,&(+0%&M

/$02-*6+0-2(

(G+0&6*(3$%&'

N

#)/($=(G+0&6*(H?2-&32(I(@G+0&6*B(/$2-2

)&*=$*360,&(+0%&M

/$02-*6+0-2(

(G+0&6*(3$%&'

9C$'%2(=$*(21?(283($=(,$0.&M(1+&,&K+2&(6O0&(,$2-2: 9H,C&,C-&*P(!QRS:

#)/('6K(%&L0&%(5?(-C&(2$'8-+$0($=(6(K%1,2.(-.*J.25(AK-E

T

#)/($=(U?5*+%(H?2-&32

9V&31$*6%P(#$*6*+(!QQQ:

#+M&%(G$W+,6'(X?063+,6'(9#GX:(H?2-&32

9H$0-6W(!QR!:

!"#$#%&'()*#!")$+%

)+&,&K+2&(YO0&(9)ZY:(H?2-&32

X+2,*&-&(U?5*+%(Y8-$36-69[$**+2+P(V&31$*6%P("\\N:

#)/('6K(%&L0&%(5?(-C&(2$'8-+$0($=(6(

)%",+(L1',J,.(K%1,2.(*.(IB2+.2'%&(-.*J.25(A)LK-M)LI-E

9V&31$*6%P("\\":

9]&?&*P([$**+2+P(#$*6*+P("\\F:

^

_(/$318-6-+$0(-+3&(36?(5&(-$$('$0W`(

(($a(=$*('6*W&(2631'+0W(-+3&2(9>\b!2:P(58-(0$-(=$*(=62-42631'+0W(

((611'+,6-+$02(9<!32:b(Z$*2-4,62&(/)c(-+3&(C6*%(-$(&2-+36-&b

_(A&d8+*&2(*&'6-+.&'?(&M1&02+.&(C6*%K6*&(90$-(28+-65'&($0(+0&M1&02+.&(

((R45+-(µ4,$0-*$''&*2(K+-C(=&K(aV(AY#:

_(H$=-K6*&(,$31'&M+-?`(,$0-*$'(1*$L'&(u9x:(C6*%(-$(80%&*2-60%P

((2$'.&*(,$%&(%+O,8'-(-$(,&*-+=?(956%(+0(26=&-?(,*+-+,6'(6112:

Y0?(K6?(-$(82&(#)/(G%'H*B'($04'+0&(2$'.&*2(e

#6+0(X*6K56,a2($=(>04'+0&(>1-+3+76-+$0

_(fM,&''&0-(G)gJ)g#;)ghG)(2$'.&*2(&M+2-(((-$%6?(,-./!'"!$!#%+0(121345!6!78!914:;(

6B'(NNN

S

>i4'+0&($1-+3+76-+$0

_(X&-&*3+0&(*OP$%1,(-C&($1-+3+7&*(@B1&'%*1

KC&*&(X(+2(6(W+.&0(2&-($=(2-6-&2(x($=(+0-&*&2-

_(/C6*6,-&*+7+0W(-C&($1-+3+7&*(3&602(-$(K*+-&(-C&(#)/(,$0-*$'('6K((+0(60(,"#$%&%'(=$*3

/60(K&(,$318-&(u9x:(+0(6%.60,&P(+0(&M1'+,+-(-&*32(e

R

j0$K0(1*$1&*-+&2($=(9'+0&6*:(#)/

95&=$*&(?&6*("\\\:

Q

80,$02-*6+0&%('+0&6*(#)/(!(2-60%6*%('+0&6*(2-6-&4=&&%56,a

c0,$02-*6+0&%('+0&6*(#)/

_(G+0&6*(3$%&'P(d86%*6-+,(,$2-2P(1*(&*1>'.2%1'>`

!\

G+0&6*(#)/(60%(GJA

_(G+0&6*(3$%&'P(d86%*6-+,(,$2-2P(A+,,6-+(-&*3+06'(K&+WC-(60%(W6+0`

Q2&*#*(R.21&,>&*(S%&&2'%(AC7T7PCTUDE

(9c0,$02-*6+0&%:(#)/(!(GJA

_([C&0P(=$*(60?(,C$+,&($=(-C&(C$*+7$0(N

_(V%'H(&*1>'.2%1'>`(k$*(60?(,$316,-(2&-($=(2-6-&2("N(28,C(-C6-(((#)/(!(,$02-*6+0&%(GJA 9/C3+&'&K2a+P(#60$82+$8-C6a+2P(!QQ^:

9H,$a6&*-(60%(A6K'+0W2P(!QQR:

!!

G+0&6*(%&1&0%&0,&($0(-C&(2-6-&

_()61&*(5?(l6L*+$8(9!QQ\:`

!"

fM1'+,+-(9'+0&6*:(#)/

9?&6*("\\\:

!F

k8''(,C6*6,-&*+76-+$0($=('+0&6*(#)/('6K[C*&&(161&*2(611&6*&%(+0("\\\($0(-C&(2$'8-+$0(u9x:($=('+0&6*(#)/`

9m$C602&0P()&-&*2&0P(H'811C68WP(/X/("\\\:

9H&*$0P(X&(X$0nP(]$$%K+0P(/X/("\\\:

9V&31$*6%P(#$*6*+P(X86P()+2-+a$1$8'$2P(Y//("\\\:

&083&*6-&(6''(1$22+5'&('$,6-+$02($=($1-+3+7&*(+0(60(&d8+.6'&0-(3+0+383(%+2-60,&(1*$5'&3

9+018-(,$02-*6+0-2($0'?:

285$1-+36'(K6?($=(2$'.+0W(,$02-*6+0&%(GJA`

_(2&'&,-(6(0835&*($=(6,-+.&(((,$02-*6+0-(,$35+06-+$02

_(,$316*&($04'+0&(KC&*&(((*&W+$02($.&*'61

*&,8*2+.&'?(16*-+-+$0-C&(2-6-&4216,&(+0(6(2&-($=(1$'?C&%*6P(&6,C($0&,$**&21$0%+0W(-$(6(80+d8&$1-+36'(2$'8-+$0(6O0&(+0(x

,<=1(:0%'>?!@1=A$4; ,@%A+$"#2%?!B*"#=$2'$; ,C*='+0?!7A'#D%=2$(:;

5B$'%#2.25,'.%&(I-

!N

#8'-+16*63&-*+,(1*$W*633+0W(1*$5'&3

]+.&0(-C&($1-+3+76-+$0(1*$5'&3

%&-&*3+0&`

!T

#8'-+16*63&-*+,(J86%*6-+,()*$W*633+0W

_(>5o&,-+.&`(2$'.&(-C&(J)($i('+0&(@*.(2$$(x#X(-$(L0%((-C&(#)/(,$0-*$'('6K(upu9x:(,"#$%&%'$?

9V&31$*6%P(#$*6*+P(X86P()+2-+a$1$8'$2P("\\":

_(Y22831-+$02` 6'K6?2(26-+2L&%(+=(31J)(,$3&2(=*$3(60($1-+36'(,$0-*$'(1*$5'&3(q

6'K6?2(26-+2L&%(+=(K&+WC-(36-*+M(R>\

!^

#8'-+16*63&-*+,(J)(6'W$*+-C3

;0(2$3&(0&+WC5$*C$$%($=(x\P(!(60%(z(6*&(%E)2'+'#(

2W1,(=80,-+$02($=(x

2$'.&(J)(-$(L0%

(+%&0-+=?(6,-+.&(,$02-*6+0-2(6-

(=$*3(36-*+,&2((((((((((((5?(,$''&,-+0W((6,-+.&(,$02-*6+0-2`

_(k+M(x\(#(X

_(k$*(-C&(LM&%(,$35+06-+$0($=(6,-+.&(,$02-*6+0-2((((((((((((W&-(zP!((=*$3(-C&(jj[(,$0%+-+$02($=($1-+36'+-?`

x4216,&

E\_(

X

9l6L*+$8P(!QQ\:

!S

#8'-+16*63&-*+,(J)(6'W$*+-C3

_(;31$2&(1*+36'(60%(%86'(=&62+5+'+-?`

_(A&3$.&(*&%80%60-(,$02-*6+0-2(9-C+2(*&d8+*&2(2$'.+0W(G)r2:`

(,*+-+,6'(*&W+$0(CR\

CRF

x4216,&

E\_(

_(CR\(+2(-C&(2&-($=(6''(60%($0'?(16*63&-&*2(x(=$*(KC+,C

((+2(-C&($1-+36'(,$35+06-+$0($=(6,-+.&(,$02-*6+0-2(6-(-C&($1-+3+7&*

('+0&6*(+0&d86'+-+&2(+0(x(q

X

!R

CR\

x4216,&

x0• R!

R"

RN

RF

X

RN

#&-C$%(s!`(H1'+-(60%(1*$,&&%(+-&*6-+.&'?(

A&,8*2+$02(-&*3+06-&(5&,682&(,$35+06-+$02($=(6,-+.&(,$02-*6+0-2(6*&(L0+-&

#8'-+16*63&-*+,(J)(6'W$*+-C3

9V&31$*6%P(#$*6*+P(X86P()+2-+a$1$8'$2P("\\":

9[t0%&'P(m$C602&0P(V&31$*6%P("\\F:

#&-C$%(s"`(6%%gK+-C%*6K,$02-*6+0-2(=*$3(6,-+.&(2&-

⇒(6%%

⇒(K+-C%*6K

#&-C$%(sF`(&M1'$+-(-C&(G$+%#H#1HG$+%#(1*$1&*-?

H-&1($8-("($8-2+%&(&6,C(=6,&-P(2$'.&(J)P(W&-(0&K(*&W+$0P(+-&*6-&b9V6$-+,P("\\":

CR!

9H1ot-.$'%P(j&**+W60P(m$0&2P([t0%&'P(m$C602&0P("\\^:

CR\CR\

x4216,&

X

x4216,&

9H1ot-.$'%P("\\R:

!Q

]&-(&M1'+,+-(#)/('6K

A&W+$02(KC&*&(-C&(L*2-(,$31$0&0-($=(-C&(2$'8-+$0(+2(-C&(263&,60(5&(o$+0&%(9KC&0(-C&+*(80+$0(+2(,$0.&M:b

9V&31$*6%P(k8a8%6P([$**+2+P("\\!:

4"bT 4" 4!bT 4! 4\bT \ \bT ! !bT " "bT4"bT

4"

4!bT

4!

4\bT

\

\bT

!

!bT

"

"bT/A!/A"/AF/AN/AT/A^/AS/AR/AQ

4"bT 4" 4!bT 4! 4\bT \ \bT ! !bT " "bT4"bT

4"

4!bT

4!

4\bT

\

\bT

!

!bT

"

"bT/A!/A"/AF/AN/AT/A^/AS

S,>B$'X([C&('+0&6*(#)/(,$0-*$''&*(+2(6(+1(#'(*1*"!)'%+%A'"%!$I(%!=80,-+$0($=(-C&(2-6-&(.&,-$*

"\

X$85'&(+0-&W*6-$*(&M631'&

P p(2$'8-+$0(A+,,6-+(&d86-+$0

"!

[C&($*+W+02($=(938'-+:16*63&-*+,(1*$W*633+0W

""

93$0$:416*63&-*+,(G)

9]622(60%(H66-?P(!QTT:

Y'2$(&M-&0%&%(-$("(16*63&-&*2(+0(!QTT(5?(]622(60%(H66-?

"F

38'-+416*63&-*+,(,$0.&M(1*$W*633+0W

9#60W626*+60(60%(A$2&0P(!Q^N:

"N

38'-+416*63&-*+,(G)

9]6'(60%(h&%$36P(!QS":

"T

38'-+416*63&-*+,(hG)(4(!QRF

9k+6,,$P(!QRF:

u&*?(W&0&*6'(-*&6-3&0-($=(38'-+16*63&-*+,(1*$W*633+0W

"^

#8'-+16*63&-*+,(1*$W*633+0W(6'W$*+-C32

)*$5'&3 zv9x: Vv9x:

5#PK- ,$0-+08$82P

)ZY

,$0.&M(9,$0-b:P()ZY

5#PI- ,$0-+08$82P

)ZY

,$0.&M(9,$0-b:(1+&,&K+2&(d86%*6-+,P(/!(9+=(0$(%&W&0b:

5#P)LK- )ZY 90$0,$0.&M:

)ZY

5#PK0- ,$0-+08$82P

)ZY

w80%&L0&%x

5#P&*1/,"(A5#P4Y-E

)ZY9611*$Mb:

,$0.&M(9611*$Mb:

5#PL- )Z(,$02-60- )ZY

Z6?2(-$(C60%'&(:%3%(%=$+4(+0(31J)g31G)(C6.&(5&&0(2-8%+&%9[t0%&'P(V&31$*6%P(m$C602&0P("\\F5:

9m$0&2P(j&**+W60P(#6,+&o$K2a+b("\\S:

9]6'P(h&%$36P(!QS":

9Y,&.&%$P()+2-+a$1$8'$2P(!QQS:

9V&31$*6%P("\\F:

9V&31$*6%P(#$*6*+P(X86P()+2-+a$1$8'$2P("\\":

9V$**&''+P(V&31$*6%P(#$*6*+P("\\F:

9[t0%&'P(V&31$*6%P(m$C602&0P("\\F6:

9/*&36P(!QQQ:

9]6'(!QQT:

9H&*$0P(X&(X$0nP(]$$%K+0P("\\\:

9X86P()+2-+a$1$8'$2P("\\\:

9m$0&2P(#$*6*+P("\\^:

9V&31$*6%P(k+'+11+b("\\F:

9/$'83560$P(k8a8%6P(m$0&2P("\\R:

9V6$-+,P("\\":

"S

#8'-+16*63&-*+,(2$'8-+$02`(U?5*+%(#)/

[C&(H?6.%+()-0(,$0-*$''&*(+2(#%,&,G%>,(2W1,(+0(x9,$0-*$'('6K(36?(5&(:'"+1(#'(*1*":

h$-&`(Z+-C(d86%*6-+,(,$2-2P(16*-+-+$0(36?(0$-(5&(=8''?(1$'?C&%*6'b([C&0(5&--&*(a&&1($.&*'611+0W(1$'?C&%*6

9Y'&22+$P(V&31$*6%P(YXUH("\\^:

9V&31$*6%P(V$**&''+P(#$*6*+P("\\\:

_(c2&(3+M&%4+0-&W&*(9#GX:(3$%&'(60%(2$'.&(314#;G)

_(c2&()ZY(3$%&'(<(%?063+,(1*$W*633+0W(<(31G)g31J)9V$**&''+P(V6$-+,P(V&31$*6%P(#$*6*+P("\\T:

_()ZY(<(&083&*6-&(2K+-,C+0W(2&d8&0,&2(<(31J)9#6?0&P(f//("\\!: 9#6?0&P(A6a$.+,P("\\":

_()ZY(<(X)(=$*(&083&*6-+$0(<(31J)g31G)(<(,$2-(,$316*+2$09V&31$*6%P("\\N:

"R

#8'-+16*63&-*+,(2$'8-+$02`(#+0436M(#)/

_($1&04'$$1(1*&%+,-+$0P($40$*32`(2$'.&%(.+6(31G)((9((((((((((((:9V&31$*6%P(V$**&''+P(#$*6*+P("\\F:

_(,'$2&%4'$$1(1*&%+,-+$0P($40$*32`

4(31G)(+-&*6-+$02(9%?063+,(1*$W*633+0W(2$'8-+$0:9V&31$*6%P(V$**&''+P(#$*6*+P("\\F:

4(31G)(2$'.+0W(2+0W'&(G)(1*$5'&3($=(H,$a6&*-4#6?0&9j&**+W60P(#6,+&o$K2a+P("\\N:

_(3+0436M(#)/(K+-C(d86%*6-+,(,$2-2 9A63+*&7P(/636,C$P("\\^:

80,&*-6+0('+0&6*(3$%&'

9#80$7P(Y'63$P(A63+*&7P(/636,C$P("\\S:

fM1'+,+-(3+0436M(#)/(,$0-*$'('6K(+2(1+&,&K+2&(6O0&

"Q

/$31'&M+-?

6.&*6W&($0("\*60%$3(H;H>2?2-&329+018-(26-8*6-+$0:

_(h835&*($=(*&W+$02(%(s(,$35+06-+$02($=(6,-+.&(,$02-*6+0-2

4(G6*W&'?(%&1&0%2($0(s,$02-*6+0-2(((98286''?(,$35+06-$*+6''?:

4(Y'2$(%&1&0%2($0(s=*&&(.6*+65'&2

4(Z&6a'?(%&1&0%2($0(s2-6-&2(

s(,$02-*

6+0-2

s(2-6-&2

s(*&W+$02

fM1'+,+-(#)/(-?1+,6''?('+3+-&%(-$(^4R(=*&&(,$0-*$'(3$.&2(60%(R4!"(2-6-&2<*&=&*&0,&2

_(fM631'&

F\

Y.&*6W&(-+3&($0(!\\(*60%$3FX(16*63&-&*2(9"h(,$02-*6+0-2:

Z$*2-4,62&(-+3&($0(!\\(*60%$3FX(16*63&-&*2(9"h(,$02-*6+0-2:(

9;0-&'(/&0-*+0$(!bN(]U7:

/$31'&M+-?(4(J)(.2b(fM1'+,+-

h&&%(-$(.+2+-(*&W+$02(3$*&(&O,+&0-'?(-C60('+0&6*(2&6*,C

h&&%(-$(*&%8,&(0835&*($=(*&W+$02

F!

)$+0-('$,6-+$0(1*$5'&3

;0(KC+,C(*&W+$0($=(-C&(16*-+-+$0(+2(x9t:(e

9[t0%&'P(m$C602&0P(V&31$*6%P("\\F:

_(H-$*&(6''(*&W+$02(60%(2&6*,C('+0&6*'?(-C*$8WC(-C&3

_(fM1'$+-(1*$1&*-+&2($=(31G)(2$'8-+$0(-$('$,6-&(x9t:(=*$3(.6'8&(((=80,-+$0(96'2$(&M-&0%&%(-$(31J): 9V6$-+,P(V$**&''+P(V&31$*6%P(#$*6*+("\\R:

_(>*W60+7&(*&W+$02($0(6(-*&&(=$*('$W6*+-C3+,(2&6*,C

9m$0&2P(]*+&%&*P(A6a$.+,P("\\F:

9H1ot-.$'%P(A6a$.+,P([t0%&'P(m$C602&0P("\\^:

_(k$*(31G)P(*&,62-(62(K&+WC-&%(0&6*&2-(0&+WC5$8*(1*$5'&3((9'$W6*+-C3+,(2&6*,C:

_(fM1'$+-(*&6,C65+'+-?(606'?2+29Z60WP(m$0&2P(#6,+&o$K2a+P("\\S:

_(c2&(5$80%+0W(5$M&2(60%(-*&&2 9/C*+2-$1C&*2&0P(j.620+,6P(m$0&2P(#$*6*+P("\\S:

Z

F"

A&W+$0(*&%8,-+$0

_(m$+0(*&W+$02(3$*&(&O,+&0-'?9]&?&*P([$**+2+P(#$*6*+P("\\R:

_(/C60W&(,$2-(=80,-+$0(9&bWb(3+0+383(-+3&:9]*+&%&*P(#$*6*+P("\\F:

_(A&'6M(jj[(,$0%+-+$02(9285$1-+36'(31J):9V&31$*6%P(k+'+11+P("\\F:

_(c2&($*-C$W$06'(-*&&2(9285$1-+36'(2$'8-+$02:9m$C602&0P(]*60,C6*$.6P("\\F:

FF

A&W+$0(*&%8,-+$0(4(;0-&*1$'6-+$0

_(;0-&*1$'6-&(2$'8-+$0(=*$3(*&%8,&%(0835&*($=(*&W+$029/C*+2-$1C&*2&0P(l&+'+0W&*P(m$0&2P(#$*6*+P("\\S:

9Y'&22+$P(V&31$*6%P(h#)/("\\R:

&M6,-(2$'8-+$0(9QQ(*&W+$02:F(3$2-(.+2+-&%(,$35+06-+$02$=(6,-+.&(,$02-*6+0-2(6*&(2-$*&% +018-(-*6o&,-$*?

9)600$,,C+6P(A6K'+0W2P(Z*+WC-P("\\S:

36M(.+$'6-+$0(9C$K(38,C(x(+2($8-2+%&*&W+$0((((((((((((:

$*(2&-

FN

A&W+$0(*&%8,-+$0(4(;0-&*1$'6-+$0

fM6,-(&M1'+,+-(2$'8-+$0(9^S!(*&W+$02:

fM631'&`(C?5*+%(#)/($=(36W0&-+,(6,-86-$*2 9X+(/6+*60$P(V&31$*6%P(j$'360$.2a?P(U*$.6-P("\\^:

FT

A&W+$0(*&%8,-+$0(4(;0-&*1$'6-+$0

H85$1-+36'(2$'8-+$0 9V&31$*6%P(2833&*("\\S:

hp^\(*&W+$02($8-($=(^S!(a&1-

F^

A&W+$0(*&%8,-+$0(4(;0-&*1$'6-+$0

9V&31$*6%P(2833&*("\\S:

hp!\(*&W+$02($8-($=(^S!(a&1-

H85$1-+36'(2$'8-+$0 9V&31$*6%P(2833&*("\\S:

FS

A&W+$0(*&%8,-+$0(4(;0-&*1$'6-+$0

_(c2&(60?($))=1E'>$#'1(!#%+0('J*%(-$(W&-(#)/(,$0-*$'('6K(=*$3(((@(2631'&2(uipuv9xi:P(-C&0(,C&,a(1&*=$*360,&(60%(1*$.&(2-65+'+-?`

4(G$$a81(-65'&2(9'+0&6*(+0-&*1$'6-+$0:

4(h&8*6'(0&-K$*a2

4()ZY(+%&0-+L,6-+$0

9)6*+2+0+P(l$11$'+(!QQT:

9/606'&P(k6W+60$P(#+'60&2&(h#)/r\R:4(hG(+%&0-+L,6-+$0

_(c2&(W*+%%+0W(3&-C$%2(=*$3(%?063+,(1*$W*633+0W

+*="%!1G!:'>%("'1($2'#4!>$4!K%!$(!'""*%

FR

Y8-$3$-+.&(611'+,6-+$02($=(&M1'+,+-(#)/

U$3$W&0&$82 H-*6-+L&%

'.2&'%*1(&*1'.*$

,1J%1,(&*1'.*$

>,5%2&'%/,>B>#,1>%*1>

%+$,(>#,,+(&*1'.*$52J1,'%&(2&'B2'*.>

9V$**&''+P(V&31$*6%P(k$%$*P(U*$.6-P("\\!:

9hb]+$*W&--+P]b(A+16,,+$'+P(YVP(;b(j$'360$.2a?P(XbU*$.6-P("\\^:

9X+(/6+*60$P(V&31$*6%P(j$'360$.2a?P(U*$.6-P("\\^:

9X+(/6+*60$P(y606a+&.P(V&31$*6%P(j$'360$.2a?P(U*$.6-P("\\R:9]+$*W&--+P(V&31$*6%P([2&0WP(U*$.6-P("\\T:

FQ

U?5*+%([$$'5$M(=$*(#6-'65

_(/$318-&*46+%&%(C?5*+%(#)/(%&2+W0(+0(#6-'65gH+38'+0a

_(fM1'+,+-(,$0-*$''&*(2?0-C&2+2(60%(/4,$%&(W&0&*6-+$0

9V&31$*6%P("\\N:

H811$*-`

http://www.dii.unisi.it/hybrid/toolbox

[8999(+*G1$*2+.,\B,>'>(%1(D(?,2.>

_(>-C&*(-$$'2`()B$'%P-2.25,'.%&(]**$6*" 9j.620+,6P(]*+&%&*P(V6$-+,P(#$*6*+:

http://control.ee.ethz.ch/~mpt

N\

9X+(/6+*60$P(y606a+&.P(V&31$*6%P(j$'360$.2a?P(U*$.6-P(/X/("\\R:

fM1'+,+-(#)/(=$*(+%'&(21&&%(,$0-*$'

_(k$*%(1+,a81(-*8,aP(uR(Nb^G(W62$'+0&(&0W+0&

_()*$,&22`

4(L!1*#)*#(9&0W+0&(21&&%:(-$(*&W8'6-&4(M!'()*#"(96+*z$KP(216*a(6%.60,&:4(+018-(:%2$4"

4(=%3*2$#%!%(3'(%!")%%:(6-(,$02-60-(*134("$#*=$#'1(('+3+-2($0(6+*z$K(60%(216*a4(21A%=!K1*(:($0(&0W+0&(21&&%(9&(NT\(*13:

_(>5o&,-+.&2(60%(21&,2`

_(A&'6-&%(-$(3$2-(,'622+,6'(1*$5'&3(+0(,$0-*$'`((Z6--r2(W$.&*0$*(9!SRS:

_()*$5'&3(28+-65'&(=$*(#)/(%&2+W0 9U*$.6-P(!QQ^:

N!

H+38'+0a(3$%&'

#)/(2&-819$04'+0&(J):

,$0-*$'(21&,2

38'-+416*63&-*+,2$'.&*

#6-'65(-$$'`(^?6.%+(]**$6*"

1*&%+,-+$0(3$%&'

%H16,&(1'6-=$*3

+%&0-+L,6-+$0

)ZY(,$0-*$'('6K9/4,$%&:

,'$2&%4'$$1(2+38'6-+$0

&M1&*+3&0-2

*&.+2&(G,%JH'>D(*6>,./,.(

6%%(+0-&W*6'(6,-+$0

fM1'+,+-(#)/(X&2+W0(k'$K

N"

fM1'+,+-(#)/(=$*(+%'&(21&&%(4(fM1&*+3&0-2

562&'+0&(,$0-*$''&*(9'+0&6*:

&M1'+,+-(#)/

2&-41$+0-

.1$:!#1=J*%!,)1A%=!"#%%='(3; /1A%=!"#%%='(3!&!$'=!+1(:'#'1('(3

1&6a(*&%8,&%(5?(T\{ ,$0.&*W&0,&(!\2(=62-&*

9X+(/6+*60$P(y606a+&.P(V&31$*6%P(j$'360$.2a?P(U*$.6-P(/X/("\\R:

NF

31J)(+0(1$*-=$'+$($1-+3+76-+$0

#6*a$K+-7(1$*-=$'+$($1-+3+76-+$0

pi(p(&M1&,-&%(*&-8*0($=(622&-(i

#ij(p(,$.6*+60,&($=(622&-2(i$ j

x(p(&M1&,-&%(3+0+383(((((((*&-8*0($=(1$*-=$'+$

zi(p(3$0&?(+0.&2-&%(+0(622&-(i

>5o&,-+.&`(3+0+3+7&(.6*+60,&(9p*+2a:

/$02-*6+0-`(W86*60-&&(6(3+0+383(&M1&,-&%(*&-8*0

9V&31$*6%P("\\R:

NN

31J)(+0(1$*-=$'+$($1-+3+76-+$0

#8'-+16*63&-*+,(J)(2$'8-+$09V&31$*6%P("\\R:

NT

/$0,'82+$02(60%($1&0(+228&2

_(G+0&6*(60%(C?5*+%(#)/`(&M6,-(2$'8-+$02(K&''(2-8%+&%

_(fM1'+,+-(#)/(0$-(W$$%(=$*(5+W(1*$5'&32P(58-(&M-*&3&'?(W$$%((=$*(236''(2+7&(g(=62-42631'+0W(1*$5'&32(9&bWb`(68-$3$-+.&:

4(4B6*#'%52$(>*$B'%*1>`(KC?(W&--+0W(-C&(9,$31'&M:(&M6,-(((2$'8-+$0(+=(#)/(K&+WC-2(6*&(8286''?(,C$2&0(.&*?(*$8WC'?(e(

4(4,5%P,"#$%&%'(2##.*2&H,>`(W&-($i4'+0&(6(2+31'&*()$=#'$2(((2$'8-+$0P(%$(6('+--'&($1-+3+76-+$0($04'+0&

4()*.,(.*6B>'(5B$'%#2.25,'.%&(>*$/,.>`(0&&%(5&--&*(((1$'?C&%*6'(,$318-6-+$0(9&bWb`(&M6,-(6*+-C3&-+,2:

4(-%,&,G%>,P1*1$%1,2.(>*$B'%*1>`()ZY(36?(0$-(5&(-C&(5&2-((*&1*&2&0-6-+$0(+0(6''(,62&2

4(4#.,2+('**$>(%1(%1+B>'.%2$(#.2&'%&,

_()$22+5'&(*&2&6*,C(%+*&,-+$02`

N^

Y,a0$K'&%W&3&0-2

Yb(Y'&22+$#b(V6$-+,Xb(V&*06*%+0+kb(V$**&''+Hb(X+(/6+*60$

/b(k+'+11+hb(]+$*W&--+#b(U&&3&'2Xb(U*$.6-[bYb(m$C602&0

;b(j$'360$.2a?#b(G676*Xb(#+W0$0&#b(#$*6*+Xb(#80$7(%&('6()&06

]b()600$,,C+6]b(A+16,,+$'+)b([t0%&'kbXb([$**+2+(fb([2&0W

]H,(!1+

#)/(,$0-*$''&*

X/4H&*.$3$-$*

U?5*+%([$$'5$M

NR

Y,a0$K'&%W&3&0-2

_(_1+(VLY!(-HY(4&H**$(*1(`,'G*.a,+(0*1'.*$(4?>',5>((9H+&06P(3+%(m8'?("\\Q:

f8*$1&60(1*$o&,-(k)S;hkH>4;/[4""N!^R(

Yb(Y'&22+$#b(V6$-+,Xb(V&*06*%+0+kb(V$**&''+Hb(X+(/6+*60$/b(k+'+11+hb(]+$*W&--+

#b(U&&3&'2Xb(U*$.6-[bYb(m$C602&0;b(j$'360$.2a?#b(G676*XbJb(#6?0&Xb(#+W0$0&

#b(#$*6*+Xb(#80$7(%&('6()&06]b(A+16,,+$'+)b([t0%&'kbXb([$**+2+(fb([2&0W

Y00$80,&3&0-