Recursive Construction of Optimal Smoothing Spline Surfaces with Constraints

Size: px
Start display at page:

Download "Recursive Construction of Optimal Smoothing Spline Surfaces with Constraints"

Transcription

1 Prerin of he 1h IFAC World Congre Milano Ialy) Augu - Seember, 11 Recurive Conrucion of Oimal Smoohing Sline Surface wih Conrain Hiroyuki Fujioka Hiroyuki Kano Dearmen of Syem Managemen, Fukuoka Iniue of Technology, Fukuoka 11-9, JAPAN fujioka@fi.ac.j). School of Science and Engineering, Tokyo Denki Univeriy, Saiama 3-39, JAPAN kano@mail.dendai.ac.j) Abrac: In hi aer, we conider he roblem of recurively conrucing moohing line urface wih equaliy and/or inequaliy conrain each ime when a new e of daa i oberved. The line are coniued by uing normalized uniform B-line a he bai funcion. Then variou ye of conrain are formulaed a linear funcion of he o-called conrol oin, and he roblem i reduced o quadraic rogramming roblem. Baed on he reul, we develo he recurive deign mehod for conrucing uch conrained moohing line urface. The erformance i examined by ome numerical examle. Keyword: Sline, Smoohing, Conrain, Recurive algorihm. 1. INTRODUCTION Conrucing curve and urface for a given e of dicree obervaional daa i one of key roblem in many field of engineering and cience uch a comuer aided deign, numerical analyi, image roceing, roboic, daa analyi, ec. In uch roblem, inerolaing and aroximaing mehod uing line funcion have been ued frequenly and udied exenively e.g. Boor [1]). In addiion o radiional aroximaing or inerolaing line, here are a large cla of roblem where we need o imoe variou conrain on line uch a monoone moohing line Egered [3]), inequaliy conrain a iolaed oin Marin [1]), ec. By emloying B-line aroach, he auhor have alo develoed a mehod for deigning moohing line wih conrain over inerval or a iolaed oin, and he conrucion of he line hen become a quadraic rogramming roblem Kano [7]). Some of he reul uing B-line aroach have been exended o he cae of urface Fujioka [9a,b]). Mo of he above deign mehod may face he roblem ha he ize of relevan marice and vecor become large a he number of given daa increae. Furhermore, heir mehod may be undeirable in uch a cae where ome e of daa are oberved one afer anoher and we would like o conruc line curve and urface each ime when a new e i given. Such a cae yically arie in ome roboic alicaion uch a SLAM Simulaneouly Localizaion and Maing), ec. Thu, he o-called recurive deign mehod have been udied for conrucing line ee e.g. Frezza [199], Karaalo [7], Piccolo [9]), buheyare only for linecurve. We have alo develoed imilar deign mehod for boh he cae of curve and urface by emloying B-line aroach Fujioka [, 9c]). In aricular, he deign mehod for he cae of curve ha recenly been exended o he cae of conrained line Fujioka [1]). Thi aer i a coninuaion of our udie on he oimal deign of moohing line emloying B-line aroach. In aricular, baed on our udie Fujioka [9b,c]), we here develo a recurive deign algorihm of oimal moohing line urface wih equaliy and/or inequaliy conrain. The line are conruced by emloying normalized uniform B-line a he bai funcion. We hen how ha he equaliy and/or inequaliy conrain can be yemaically added a linear funcion of he o-called conrol oin and ha he conrucion of he line urface become convex quadraic rogramming roblem. Baed on uch formulaion, a recurive deign algorihm for conrained moohing line urface i develoed. The algorihm enable u o ue in he broad range of roboic alicaion. We here aly he reul o he 3-dimenional conour rereenaion uing a mobile robo and he effecivene and uefulne are examined by numerical udie. For deigning urface x,), we emloy normalized, uniform B-line funcion B k ) of degree k a he bai funcion, x,) = i= k j= k τ i,j B k α i ))B k β j )) 1) on a domain D = [, m1 ] [, m ] R. Here, τ i,j are he weighing coefficien called conrol oin, α, β> ) are conan, m 1, m > ) are ineger, and i, j are equally aced kno oin wih i+1 i = 1 α, j+1 j = 1 β. ) Coyrigh by he Inernaional Federaion of Auomaic Conrol IFAC) 7

2 Prerin of he 1h IFAC World Congre Milano Ialy) Augu - Seember, 11 We ummarize ome of he ymbol ha will be ued hroughou he aer: denoe he Lalacian oeraor, and he Kronecker roduc. Moreover, vec denoe he vec-funcion, i.e. for a marix A = [a 1 a a n ] R m n wih a i R m, vec A = [a T 1 a T a T n] T R mn ee e.g. Lancaer [19])).. OPTIMAL SPLINE SURFACES A reliminarie, we briefly review B-line and oimal moohing line urface..1 Normalized Uniform B-Sline Normalized uniform B-line B k ) of degree k i defined by { Nk j,k j) j < j + 1, j =,1,,k B k ) = 3) < or k + 1, and he bai elemen N j,k ) j =,1,,k), 1 are obained recurively by he following algorihm: Algorihm 1. Le N, ) 1 and, for i = 1,,,k, comue N,i ) = 1 N,i 1 ) i N j,i ) = i j + N j 1,i 1 ) j N j,i 1 ), i i ) j = 1,,i 1 N i,i ) = i N i 1,i 1). Thu, B k ) i a iece-wie olynomial of degree k wih ineger kno oin and i k 1 ime coninuouly differeniable. I i noed ha B k ) for k =,1,, i normalized in he ene of k j= N j,k) = 1, 1. Uing Algorihm 1, he bai elemen N j,k ) can readily be comued for arbirary degree k.. Oimal Smoohing Surface The conrol oin τ i,j in 1) may be deermined by he heory of moohing line a follow. Suoe ha we are given a e of daa {u i,v i ;d i ) : u i [, m1 ],v i [, m ], d i R,i = 1,,,N} ) and le τ R M1 M be he weigh marix defined by τ k, k τ k, k+1 τ k,m 1 τ k+1, k τ k+1, k+1 τ k+1,m 1 τ =... ) τ m1 1, k τ m1 1, k+1 τ m1 1,m 1 wih M 1 = m 1 + k and M = m + k. Then a andard roblem i o find uch a τ minimizing he co funcion Jτ) = λ I x,) ) N dd + w i xu i,v i ) d i ), i=1 7) where = [, m1 ], I = [, m ], λ> ) i a moohing arameer, and w i w i 1) are he weigh for aroximaion error. Leing ˆτ R M1M be a vec-funcion of τ defined a ˆτ = vec τ, ) he co funcion Jτ) in 7) can be rewrien a a quadraic funcion in erm of ˆτ ee e.g. Fujioka [] for deail), wih Jˆτ) = ˆτ T Gˆτ g T ˆτ + r, 9) G = λq + ΓWΓ T, g = ΓWd, r = d T Wd. 1) Here, Q R M1M M1M i a Gram marix defined by Q = b ) b 1 )) ) b ) b 1 )) ) T dd wih I b 1 ) = [B k α k )) B k α k+1 )) 11) B k α m1 1)] T, 1) b ) = [B k β k )) B k β k+1 )) B k β m 1))] T. 13) The marix Γ R M1M N in 9) i defined by Γ = [b v 1 ) b 1 u 1 ) b v N ) b 1 u N )]. 1) Alo, W R N N and d R N are given by W = diag{w 1, w,, w N } d = [d 1, d,, d N ] T. 1) I can be hown ha he marix G in 1) i oiiveemidefinie ee e.g. Fujioka []). Thu, he co Jˆτ) in 9) i a convex funcion in ˆτ. Hence, if we deign he moohing urface wihou imoing any conrain, he oimal oluion ˆτ minimizing he co funcion in 7) i given a a oluion of Gˆτ = g. 3. OPTIMAL SPLINE SURFACES WITH CONSTRAINTS There are variou ye of conrain uch a oinwie conrain on x,) and/or i derivaive, and conrain over inerval or domain in D, eiher equaliy or inequaliy. Uing B-line aroach, i can be hown ha uch conrain are formulaed a linear funcion of he conrol oin ee Fujioka [9b] for deail). A an examle, we here review only an inequaliy conrain over a domain, x,) f,),) [ κ, κ+1 ] [ µ, µ+1 ] 1) for a given coninuou funcion f,). Noe here ha he inequaliy may readily be relaced wih and equaliy = a we will ee in below. 79

3 Prerin of he 1h IFAC World Congre Milano Ialy) Augu - Seember, Exreion of Conrain We fir reen he baic formula for exreing he conrain. Noing ha x,) i conruced a a roduc of wo iecewie olynomial, we examine he olynomial in each kno oin region D κ,µ = [ κ, κ+1 ) [ µ, µ+1 ) for κ =,1,,m 1 1 and µ =,1,,m 1. For D κ,µ, he funcion x,) in 1) i wrien a x,) = κ µ i= k+κ j= k+µ and, by 3), we ge x,) = i= j= τ i,j B k α i ))B k β j )), τ κ k+i,µ k+j 17) N i,k α κ ))N j,k β µ )). 1) Then, by inroducing new variable u and v defined by u = α κ ), v = β µ ), 19) he region D κ,µ i normalized o he uni region E = [,1) [,1) for u,v). Now, x,) i exreed in erm of u,v) a x,) = ˆxu,v) wih ˆxu,v) = τ κ k+i,µ k+j N i,k u)n j,k v). ) i= j= Uing he exreion in ) and he idea of limiing line urface ee e.g. Fujioka []), heconrain in 1) can be imoed a follow: For he given funcion f,), we fir comue he limiing line urface x c,) wih he ame form and he ame degree k a in 1), i.e. x c,) = i= k j= k τ c i,jb k α i ))B k β j )). 1) From our a work e.g. ee Fujioka []), we have emirically confirmed ha he urface x c,) can aroximae funcion f,) fairly reciely, i.e. x c,) f,). We hu regard he conrain x,) f,) in 1) a x,) x c,). Then, uch a conrain may be realized by imoing he condiion τ i,j τi,j c for i = κ k,κ k + 1,,κ and j = µ k,µ k + 1,,µ, or in erm of vecor ˆτ and ˆτ c = vec τ c ) a E κµˆτ E κµ τˆ c, ) where E κµ R k+1) M 1M i defined by E κµ = [ k+1,µ I k+1 k+1,m µ k 1] [ k+1,κ I k+1 k+1,m1 κ k 1] 3) In fac, if ) hold, we have from 1)-) and N i,k ) [,1], x,) = ˆxu,v) = i= j= i= j= τκ k+i,µ k+jn c i,k u)n j,k v) τ κ k+i,µ k+j N i,k u)n j,k v) = ˆx c u,v) = x c,),) [ κ, κ+1 ) [ µ, µ+1 ). ) The above argumen can be readily exended o he cae of broader region [ κ, ζ ) [ µ, η ) for arbirary ζ> κ) and η> µ). I i noed ha he condiion in ) i only ufficien for x,) x c,) o hold. A imle bu ueful cae of he funcion f,) in 1) i a conan, i.e. f,) = c, where c R i ome conan. Then, i can be hown ha uch conrain i exreedwihou emloying he idea of limiing line urface a E κµˆτ c k+1), where c i = [c c c] T R i. 3. Conrained Sline Surface Uing he exreion of conrain a in Secion 3.1, a fairly large number of conrained line urface roblem may be reaed. The formulaion i quie imle and i very well fi for numerical oluion a quadraic rogramming roblem. Namely, he oimal moohing line urface are obained by minimizing he quadraic co Jˆτ) in 9), wherea a number of conrain on he line may be exreed a linear conrain on he vecor ˆτ, eiher equaliy or inequaliy or boh. Then, a general form of roblem can be wrien a quadraic rogramming roblem a follow: QP1) Find ˆτ uch ha min Jˆτ) = 1 ˆτ R M 1 M ˆτT Gˆτ + g T ˆτ ) ubjec o he conrain of he form Aˆτ = q, f 1 Eˆτ f, h 1 ˆτ h, ) for ome marice and vecor of aroriae dimenion. A very efficien numerical algorihm i available for hi uroe e.g. Nocedal []).. RECURSIVE DESIGN ALGORITHM OF CONSTRAINED SMOOTHING SPLINE SURFACES Baed on he foregoing develomen, we develo a recurive algorihm of oimal moohing line urface wih conrain. Such an algorihm reven he ize of relevan marice and vecor from kee growing due o he increaing number of given daa. Now uoe ha, u o he -h recurion, we are given a e of N daa, {u i,v i ;d i ) : u i [, m1 ],v i [, m ], d i R,i = 1,,,N }, 7) where = 1,,. Here, we aume ha he number of daa given a he i-h recurion i n i 1), i =,1,, and hence N = i= n i. Then, leing x [],) be he oimal moohing lineurface a-h recurion, we coniderhe following recurive line roblem of conrucing x [],) by minimizing J [] τ) = λ x [],) x [ 1],) ) dd I

4 Prerin of he 1h IFAC World Congre Milano Ialy) Augu - Seember, N x [] u i,v i ) d i ) ) N i=1 ubjec o ome conrain wih he form in ). Le τ [] R M 1 M be he oluion τ o hi roblem. Then, our ak i o develo an algorihm for recurively generaing he equence of τ [], i.e. τ [],τ [1],. Then, a equence of he aociaed oimal moohing urface, denoed a x [],),x [1],),, are generaed by 1). Such an algorihm i develoed a follow: We fir inroduce x [] and ˆτ [] defined by x [] = x [] x [ 1] 9) ˆτ [] = ˆτ [] ˆτ [ 1], 3) where ˆτ [] denoe he vec-funcion of τ [], i.e. ˆτ [] = vec τ []. Then, he co funcion J [] τ [] ) in ) i wrien a J [] ˆτ [] ), J [] ˆτ [] ) = ˆτ T [] G ˆτ [] + g T ˆτ [] + con. 31) Here, G R M1M M1M and g R M1M are defined a G = λq + 1 N Γ ΓT 3) g = 1 N Γ ΓT ˆτ [ 1] Γ d ), 33) where we e ˆτ [] a ˆτ [] = M1M. In 3) and 33), Γ R M1M N and d R N are defined a Γ = [ b v 1 ) b 1 u 1 ) b v N ) b 1 u N )] ] = [ Γ 1 ˆΓ ] 3) d = [d 1 d d N ] T = [ d T 1 ˆd T ] T, 3) where ˆΓ R M1M n and ˆd R n denoe ˆΓ = [ b v N 1+1) b 1 u N 1+1) b v N ) b 1 u N )] ] 3) ˆd = [d N 1+1 d N 1+ d N ] T. 37) By he exreion of Γ in 3) and d in 3), G in 3) and g in 33) are rewrien a 1 G = G ) Γ 1 ΓT N N ˆΓˆΓT 1 N 3) g = 1 Γ ΓT N ˆτ [ 1] Γ 1 d 1 ˆΓ ) ˆd. 39) The exreion in 3) and 39) yield efficien recurive mehod for comuing G and g. On he oher hand, by uing 3), he conrain ) on he line urface x [],) can be readily exreed a linear conrain in erm of ˆτ []. Then, he general form of hi roblem i idenical o he quadraic rogramming roblem QP1) in Secion 3.: QP) Find ˆτ [] uch ha min ˆτ [] R M 1 M J [] ˆτ [] ) = 1 ˆτT [] G ˆτ [] + g T ˆτ [] ) ubjec o he conrain of he form A ˆτ [] = q, f1 E ˆτ [] f, h 1 ˆτ [] h, 1) where q, fl, h l for l = 1, are comued by q = q Aˆτ [ 1], fl = f l Eˆτ [ 1], h l = h l ˆτ [ 1]. ) Thu, by olving hi roblem wih reec o ˆτ [], we ge he conrol oin vecor ˆτ [] for he -h recurion by 3) a ˆτ [] = ˆτ [ 1] + ˆτ []. 3) The recurive deign algorihm of conrained moohing line urface can be ummarized a follow. Algorihm. The recurive algorihm, afer iniializaion e I-1)-I-), i carried ou in he e R-1)-R-). Iniializaion e: I-1) Le =, and e he arameer k, α, β, λ,,, m 1 or M 1 = m 1 + k)) and m or M = m + k)). I-) Comue Q R M1M M1M in 11), Γ R M1M N in 3) and d R N in 3). I-3) Comue G R M M and g R M by 3) and 33). I-) Se he conrain in ) a required. I-) Find ˆτ [] by olving QP1). I-) Conruc x [],) by 1). Recurive e: R-1) Se = + 1, and comue ˆΓ R M1M n in 3) and ˆd R n in 37). R-) Comue G by 3). R-3) Se Γ ΓT = Γ 1 ΓT 1 + ˆΓ ˆΓT. R-) Comue g by 39). R-) Se Γ d = Γ 1 d 1 + ˆΓ ˆd. R-) Comue q, fl, hl, l = 1, by ) and e he conrain in 1) a required. R-7) Find ˆτ [] by olving QP) and comue ˆτ [] by 3). R-) Conruc he line curve x [],) by 1). Go o R- 1). Comared wih he ordinary deign mehod in Secion 3, he rooed mehod mu olve he quadraic rogramming roblem a each recurion in Se R-7). Thu, he comuaional comlexiy of rooed mehod may be modely increaed. However, we can reven he ize of relevan marice and vecor from kee growing a he oal number of daa N geing larger. I remain o rove he convergence roerie of he above mehod. However, when we aume ha he daa d i for conrucing moohing curve are obained by amling ome curve f,), we may exec ha he oimal oluion of hi roblem converge o he one of minimizing J [] τ) = λ I x [],) x [ 1],) ) dd 1

5 Prerin of he 1h IFAC World Congre Milano Ialy) Augu - Seember, 11 + I x [],) f,)) dd ) ubjec o ome conrain of he form in 1). Alo, he oimal oluion τ R M1 M of he roblem, denoed by τ[] c, can be comued recurively by he imilar algorihm a Algorihm. The aociaed line x c [],) are hen obained.. NUMERICAL EXAMPLES A yical alicaion of oimal moohing line urface wih conrain aear in he roblem of conrucing and reconrucing 3-dimenional conour in he roboic field. For examle, when a e of daa are meaured recurively byome range enorand we needo conruc and reconruc conour rereenaion of an environmen by uing ome coninuou eriodic urface, he mehod in he reviou ecion can be ued effecively. We here examine erformance of recurive deign algorihm in he reviou ecion by he following numerical udie. Le u conider a cae where a mobile robo wih ome range enor i in a cloed environmen in 3-dimenional ace o q a hown in Figure 1. Here, he mobile robo i illuraed a green cylinder. The blue urface how he cloed environmen. We here aume ha he cloed environmen i given a a eriodic urface, ) rc + r m,) = r c + r m ) co θ) r m co θ) r m ) rc + r m q,) = r c + r m ) inθ) r m in θ) r m,) [,1] [,1] ) wih r c = 1, r m = 1/ and θ) = 3π 1. Alo, leing f,) be he diance beween robo and environmen, f,) i wrien a f,) =,) + q,),,) [,1] [,1]. ) Now uoe ha he daa d i in 7) meaured by a range enor i obained by amling f,). Here he number of daa i e a n i = 3 a each recurion. u i,v i ) are randomly aced in he region D = [, m1 ] [, m ] = [,1] [,1], and he magniude of he addiive noie in d i i e a σ =.1. However, noe ha uch a meaured daa may be unreliable unle hey are wihin Fig. 1. Conrucing conour by a mobile robo wih range enor. he meaurable range of range enor. In Figure 1, uch a meaurable range i loed a a ink circle wih radiu r a = 13. For conrucing he reliable conour in o q ace, we conider conrucing he moohing line urface x [],) in he ime domain D recurively uch ha x,) r a = 13),,) [,1] [,1]. 7) We e k = 3, λ = 1, α = β = 1, = = and m 1 = m = 1 i.e. m1 = m = 1). Thu he kno oin i, j are aken a ineger a i = i, j = j. The eriodiciy conrain are e a l l x,) = l l x m1,), [, m ] ) for l =,1,. Noe ha he inequaliy conrain in 7) i imoed by emloying he mehod in Secion 3.1. In addiion, ) i conrain over inerval and he mehod in he aer Fujioka [9a]) can be ued. By Algorihm, oimal weigh τ [] for =,1, are comued ogeher wih he aociaed line urface x [],). Figure how he reul x [],) for a) =, b) = and c) = 3 in colored urface ogeher wih daa oin green quare). Alo, he correonding 3- dimenional conour loed in o q ace are hown in Figure 3, where we here emloy he following coordinae,),q,)) = x,)co θ), x,)inθ)). 9) From hee figure, we may ee ha he develoed mehod work quie well and he urface x [],) aifie all he conrain in 7) and ). Alo, Figure how he funcion error x c [3],) x [],) L and error of weigh marix τ[3] c τ []. Here x c [3],) i conruced from f,) by ), where he correonding conrol oin marix i denoed a τ[3] c. From hee figure, we may oberve ha x [],) converge o x c [],) a he ieraion number increae.. CONCLUDING REMARKS We develoed a yemaic mehod for recurive deign ofoimal moohinglineurface wih equaliy and/or inequaliy conrain. The line urface are coniued emloying normalized uniform B-line a he bai funcion. Then he cenral iue wa o deermine an oimal marix of he o-called conrol oin. Such an aroach enable u o exre variou ye of conrain a linear funcion of conrol oin. The deign roblem become a quadraic rogramming roblem in erm of vec-funcion of conrol oin marix, and very efficien recurive algorihm wa develoed. We examined he erformance ofhedeignmehodbynumericalexamle for 3-dimenional conour conrucing roblem wih equaliy andinequaliy conrain. Ii concludedhahemehod i very effecive a well a very ueful for many alicaion in variou field including roboic. REFERENCES C. de Boor, A racical guide o line, Revied Ediion, Sringer-Verlag, New York, 1.

6 Prerin of he 1h IFAC World Congre Milano Ialy) Augu - Seember, 11 daa oin daa oin daa oin x,) 1 x,) 1 x,) a) x[], ) b) x[], ) c) x[3], ) b) x[], ) c) x[3], ) Fig.. oimal moohing line. a) x[], ) Fig. 3. Periodic urface x, ) rereened in he o q ace. 1 norm of τc[3] τ[] 3 [] 1 [3] m1mxc,) x,))dd 1 3 a) 1 xc[3], ) 1 3 x[], ) L 1 b) 1 1 c τ[3] 3 τ[] Fig.. Funcion error xc[3], ) x[], ) L and weigh c marix error τ[3] τ[]. M. Egered and C. F. Marin, Oimal conrol and monoone moohing line. New rend in nonlinear dynamic and conrol, and heir alicaion, 79 9, Lecure Noe in Conrol and Inform. Sci., 9, Sringer, Berlin, 3. H. Fujioka, H. Kano, M. Egered and C. Marin, Smoohing Sline Curve and Surface for Samled Daa, In. J. of Innovaive Comuing, Informaion and Conrol, vol.1, no.3,.9-9,. H. Fujioka and H. Kano, Recurive Conrucion of Oimal Smoohing Sline, Proc. of he h ISCIE In. Sym. on Sochaic Syem Theory and I Alicaion,.7 7, Kyoo, Jaan, Nov. 1-1,. H. Fujioka and H. Kano, Periodic Smoohing Sline Surface and I Alicaion o Dynamic Conour Modeling of We Maerial Objec, IEEE Tran. Syem, Man and Cyberneic, Par A, vol.39, no.1,.1-1, 9. H. Fujioka and H. Kano, Conrained Smoohing and Inerolaing Sline Surface uing Normalized Uniform B-line, Proc. he IEEE In. Conf. on Indurial Technology,.1-, Giland, Vicoria, Auralia, Feb. 1-13, 9. H. Fujioka and H. Kano, Recurive Conrucion of Smoohing Sline Surface Uing Normalized Uniform B-line, Proc. of he h IEEE Conf. on Deciion and Conrol held joinly wih 9 h Chinee Conrol Conf.,.- Shanghai, China, Dec. 1-1, 9. H. Fujioka and H. Kano, Recurive Conrucion of Oimal Smoohing Sline wih Conrain, Proc. of he 1 American Conrol Conf.,.1-1, Balimore, MD, USA, June 3-July, 1. R. Frezza and G. Picci, On Line Pah Following by Recurive Sline Udaing, Proc. of he IEEE Conf. on Deciion and Conrol,.7-, New Orlean, LA, USA, Dec.13-1, 199. H. Kano, H. Nakaa, and C. F. Marin, Oimal Curve Fiing and Smoohing Uing Normalized Uniform BSline : A ool for udying comlex yem, Alied Mahemaic and Comuaion, vol.19, no.1,.9-1,. M. Karaalo, X. Hu and C.F. Marin, Conour Reconrucion and Maching Uing Recurive Smoohing Sline, Lecure Noe in Conrol and Informaion Science, vol.3,.193, 7. H. Kano, H. Fujioka, and C. F. Marin, Oimal Smoohing and Inerolaing Sline wih Conrain, Proc. of he h IEEE Conf. on Deciion and Conrol,.31131, New Orlean, LA, USA, Dec. 1-1, 7. P. Lancaer and M. Timeneky, The Theory of Marice, Second Ediion, Academic Pre, 19. C.F. Marin, S. Sun and M. Egered, Oimal conrol, aiic and ah lanning. Comuaion and conrol, VI Bozeman, MT, 199). Mah. Comu. Modelling, 33, no.1-3,.37 3, 1. J. Nocedal and S.J. Wrigh, Numerical Oimizaion, nd Ediion, Sringer,. G. Piccolo, M. Karaalo, D. Kragic and X. Hu, Conour Reconrucion uing Recurive Smoohing Sline - Algorihm and Exerimenal Validaion, Roboic and Auonomou Syem, vol.7, iue -7,.17-, 9. 3

Identification of the Solution of the Burgers. Equation on a Finite Interval via the Solution of an. Appropriate Stochastic Control Problem

Identification of the Solution of the Burgers. Equation on a Finite Interval via the Solution of an. Appropriate Stochastic Control Problem Ad. heor. Al. Mech. Vol. 3 no. 37-44 Idenificaion of he oluion of he Burger Equaion on a Finie Ineral ia he oluion of an Aroriae ochaic Conrol roblem Arjuna I. Ranainghe Dearmen of Mahemaic Alabama A &

More information

AN ANALYTICAL METHOD OF SOLUTION FOR SYSTEMS OF BOOLEAN EQUATIONS

AN ANALYTICAL METHOD OF SOLUTION FOR SYSTEMS OF BOOLEAN EQUATIONS CHAPTER 5 AN ANALYTICAL METHOD OF SOLUTION FOR SYSTEMS OF BOOLEAN EQUATIONS 51 APPLICATIONS OF DE MORGAN S LAWS A we have een in Secion 44 of Chaer 4, any Boolean Equaion of ye (1), (2) or (3) could be

More information

An Improved Anti-windup Control Using a PI Controller

An Improved Anti-windup Control Using a PI Controller 05 Third nernaional Conference on Arificial nelligence, Modelling and Simulaion An mroved Ani-windu Conrol Uing a P Conroller Kyohei Saai Graduae School of Science and Technology Meiji univeriy Kanagawa,

More information

CS4445/9544 Analysis of Algorithms II Solution for Assignment 1

CS4445/9544 Analysis of Algorithms II Solution for Assignment 1 Conider he following flow nework CS444/944 Analyi of Algorihm II Soluion for Aignmen (0 mark) In he following nework a minimum cu ha capaciy 0 Eiher prove ha hi aemen i rue, or how ha i i fale Uing he

More information

NECESSARY AND SUFFICIENT CONDITIONS FOR LATENT SEPARABILITY

NECESSARY AND SUFFICIENT CONDITIONS FOR LATENT SEPARABILITY NECESSARY AND SUFFICIENT CONDITIONS FOR LATENT SEPARABILITY Ian Crawford THE INSTITUTE FOR FISCAL STUDIES DEPARTMENT OF ECONOMICS, UCL cemmap working paper CWP02/04 Neceary and Sufficien Condiion for Laen

More information

TOPOLOGY OPTIMIZATION OF COMPLIANT MECHANISM DESIGN WITH STA- TIONARY FLUID-STRUCTURE INTERACTION

TOPOLOGY OPTIMIZATION OF COMPLIANT MECHANISM DESIGN WITH STA- TIONARY FLUID-STRUCTURE INTERACTION Blucher Mechanical Engineering Proceeding May 2014, vol. 1, num. 1 www.roceeding.blucher.com.br/eveno/10wccm TOPOLOGY OPTIMIZATION OF COMPLIANT MECHANISM DESIGN WITH STA- TIONARY FLUID-STRUCTURE INTERACTION

More information

Problem Set If all directed edges in a network have distinct capacities, then there is a unique maximum flow.

Problem Set If all directed edges in a network have distinct capacities, then there is a unique maximum flow. CSE 202: Deign and Analyi of Algorihm Winer 2013 Problem Se 3 Inrucor: Kamalika Chaudhuri Due on: Tue. Feb 26, 2013 Inrucion For your proof, you may ue any lower bound, algorihm or daa rucure from he ex

More information

FORECASTS GENERATING FOR ARCH-GARCH PROCESSES USING THE MATLAB PROCEDURES

FORECASTS GENERATING FOR ARCH-GARCH PROCESSES USING THE MATLAB PROCEDURES FORECASS GENERAING FOR ARCH-GARCH PROCESSES USING HE MALAB PROCEDURES Dušan Marček, Insiue of Comuer Science, Faculy of Philosohy and Science, he Silesian Universiy Oava he Faculy of Managemen Science

More information

Control Systems. Lecture 9 Frequency Response. Frequency Response

Control Systems. Lecture 9 Frequency Response. Frequency Response Conrol Syem Lecure 9 Frequency eone Frequency eone We now know how o analyze and deign yem via -domain mehod which yield dynamical informaion The reone are decribed by he exonenial mode The mode are deermined

More information

, the. L and the L. x x. max. i n. It is easy to show that these two norms satisfy the following relation: x x n x = (17.3) max

, the. L and the L. x x. max. i n. It is easy to show that these two norms satisfy the following relation: x x n x = (17.3) max ecure 8 7. Sabiliy Analyi For an n dimenional vecor R n, he and he vecor norm are defined a: = T = i n i (7.) I i eay o how ha hee wo norm aify he following relaion: n (7.) If a vecor i ime-dependen, hen

More information

An Improved Suggestion in Stratified Random Sampling Using Two Auxiliary Variables

An Improved Suggestion in Stratified Random Sampling Using Two Auxiliary Variables Raje ing Dearmen of Maemaic, RM Univeriy Deli CR, onea- 309, India acin Malik Dearmen of aiic, Banara Hindu Univeriy aranai-005, India Florenin marandace Dearmen of Maemaic, Univeriy of ew Mexico Gallu,

More information

6.8 Laplace Transform: General Formulas

6.8 Laplace Transform: General Formulas 48 HAP. 6 Laplace Tranform 6.8 Laplace Tranform: General Formula Formula Name, ommen Sec. F() l{ f ()} e f () d f () l {F()} Definiion of Tranform Invere Tranform 6. l{af () bg()} al{f ()} bl{g()} Lineariy

More information

1 Motivation and Basic Definitions

1 Motivation and Basic Definitions CSCE : Deign and Analyi of Algorihm Noe on Max Flow Fall 20 (Baed on he preenaion in Chaper 26 of Inroducion o Algorihm, 3rd Ed. by Cormen, Leieron, Rive and Sein.) Moivaion and Baic Definiion Conider

More information

Laplace Transform. Inverse Laplace Transform. e st f(t)dt. (2)

Laplace Transform. Inverse Laplace Transform. e st f(t)dt. (2) Laplace Tranform Maoud Malek The Laplace ranform i an inegral ranform named in honor of mahemaician and aronomer Pierre-Simon Laplace, who ued he ranform in hi work on probabiliy heory. I i a powerful

More information

Introduction to Congestion Games

Introduction to Congestion Games Algorihmic Game Theory, Summer 2017 Inroducion o Congeion Game Lecure 1 (5 page) Inrucor: Thoma Keelheim In hi lecure, we ge o know congeion game, which will be our running example for many concep in game

More information

ESTIMATES FOR THE DERIVATIVE OF DIFFUSION SEMIGROUPS

ESTIMATES FOR THE DERIVATIVE OF DIFFUSION SEMIGROUPS Elec. Comm. in Probab. 3 (998) 65 74 ELECTRONIC COMMUNICATIONS in PROBABILITY ESTIMATES FOR THE DERIVATIVE OF DIFFUSION SEMIGROUPS L.A. RINCON Deparmen of Mahemaic Univeriy of Wale Swanea Singleon Par

More information

u(t) Figure 1. Open loop control system

u(t) Figure 1. Open loop control system Open loop conrol v cloed loop feedbac conrol The nex wo figure preen he rucure of open loop and feedbac conrol yem Figure how an open loop conrol yem whoe funcion i o caue he oupu y o follow he reference

More information

Graphs III - Network Flow

Graphs III - Network Flow Graph III - Nework Flow Flow nework eup graph G=(V,E) edge capaciy w(u,v) 0 - if edge doe no exi, hen w(u,v)=0 pecial verice: ource verex ; ink verex - no edge ino and no edge ou of Aume every verex v

More information

Analysis of Boundedness for Unknown Functions by a Delay Integral Inequality on Time Scales

Analysis of Boundedness for Unknown Functions by a Delay Integral Inequality on Time Scales Inernaional Conference on Image, Viion and Comuing (ICIVC ) IPCSIT vol. 5 () () IACSIT Pre, Singaore DOI:.7763/IPCSIT..V5.45 Anali of Boundedne for Unknown Funcion b a Dela Inegral Ineuali on Time Scale

More information

Rough Paths and its Applications in Machine Learning

Rough Paths and its Applications in Machine Learning Pah ignaure Machine learning applicaion Rough Pah and i Applicaion in Machine Learning July 20, 2017 Rough Pah and i Applicaion in Machine Learning Pah ignaure Machine learning applicaion Hiory and moivaion

More information

EECE 301 Signals & Systems Prof. Mark Fowler

EECE 301 Signals & Systems Prof. Mark Fowler EECE 31 Signal & Syem Prof. Mark Fowler Noe Se #27 C-T Syem: Laplace Tranform Power Tool for yem analyi Reading Aignmen: Secion 6.1 6.3 of Kamen and Heck 1/18 Coure Flow Diagram The arrow here how concepual

More information

CHAPTER 7: SECOND-ORDER CIRCUITS

CHAPTER 7: SECOND-ORDER CIRCUITS EEE5: CI RCUI T THEORY CHAPTER 7: SECOND-ORDER CIRCUITS 7. Inroducion Thi chaper conider circui wih wo orage elemen. Known a econd-order circui becaue heir repone are decribed by differenial equaion ha

More information

Rise-Time Distortion of Signal without Carrying Signal

Rise-Time Distortion of Signal without Carrying Signal Journal of Physics: Conference Series PAPER OPEN ACCESS Rise-Time Disorion of Signal wihou Carrying Signal To cie his aricle: N S Bukhman 6 J. Phys.: Conf. Ser. 738 8 View he aricle online for udaes and

More information

Network Flows: Introduction & Maximum Flow

Network Flows: Introduction & Maximum Flow CSC 373 - lgorihm Deign, nalyi, and Complexiy Summer 2016 Lalla Mouaadid Nework Flow: Inroducion & Maximum Flow We now urn our aenion o anoher powerful algorihmic echnique: Local Search. In a local earch

More information

Let. x y. denote a bivariate time series with zero mean.

Let. x y. denote a bivariate time series with zero mean. Linear Filer Le x y : T denoe a bivariae ime erie wih zero mean. Suppoe ha he ime erie {y : T} i conruced a follow: y a x The ime erie {y : T} i aid o be conruced from {x : T} by mean of a Linear Filer.

More information

MASSACHUSETTS INSTITUTE OF TECHNOLOGY Department of Civil and Environmental Engineering

MASSACHUSETTS INSTITUTE OF TECHNOLOGY Department of Civil and Environmental Engineering MASSACHUSETTS INSTITUTE OF TECHNOLOGY Deparmen of Civil and Environmenal Engineering 1.731 Waer Reource Syem Lecure 17 River Bain Planning Screening Model Nov. 7 2006 River Bain Planning River bain planning

More information

Chapter 7: Inverse-Response Systems

Chapter 7: Inverse-Response Systems Chaper 7: Invere-Repone Syem Normal Syem Invere-Repone Syem Baic Sar ou in he wrong direcion End up in he original eady-ae gain value Two or more yem wih differen magniude and cale in parallel Main yem

More information

Research Article On Double Summability of Double Conjugate Fourier Series

Research Article On Double Summability of Double Conjugate Fourier Series Inernaional Journal of Mahemaic and Mahemaical Science Volume 22, Aricle ID 4592, 5 page doi:.55/22/4592 Reearch Aricle On Double Summabiliy of Double Conjugae Fourier Serie H. K. Nigam and Kuum Sharma

More information

Fixed-smoothing Asymptotics and Asymptotic F and t Tests in the Presence of Strong Autocorrelation

Fixed-smoothing Asymptotics and Asymptotic F and t Tests in the Presence of Strong Autocorrelation Fixed-moohing Aymoic and Aymoic F and e in he Preence of Srong Auocorrelaion Yixiao Sun Dearmen of Economic, Univeriy of California, San Diego May 26, 24 Abrac New aymoic aroximaion are eablihed for he

More information

Lower and Upper Approximation of Fuzzy Ideals in a Semiring

Lower and Upper Approximation of Fuzzy Ideals in a Semiring nernaional Journal of Scienific & Engineering eearch, Volume 3, ue, January-0 SSN 9-558 Lower and Upper Approximaion of Fuzzy deal in a Semiring G Senhil Kumar, V Selvan Abrac n hi paper, we inroduce he

More information

Flow networks. Flow Networks. A flow on a network. Flow networks. The maximum-flow problem. Introduction to Algorithms, Lecture 22 December 5, 2001

Flow networks. Flow Networks. A flow on a network. Flow networks. The maximum-flow problem. Introduction to Algorithms, Lecture 22 December 5, 2001 CS 545 Flow Nework lon Efra Slide courey of Charle Leieron wih mall change by Carola Wenk Flow nework Definiion. flow nework i a direced graph G = (V, E) wih wo diinguihed verice: a ource and a ink. Each

More information

Additional Methods for Solving DSGE Models

Additional Methods for Solving DSGE Models Addiional Mehod for Solving DSGE Model Karel Meren, Cornell Univeriy Reference King, R. G., Ploer, C. I. & Rebelo, S. T. (1988), Producion, growh and buine cycle: I. he baic neoclaical model, Journal of

More information

Introduction to SLE Lecture Notes

Introduction to SLE Lecture Notes Inroducion o SLE Lecure Noe May 13, 16 - The goal of hi ecion i o find a ufficien condiion of λ for he hull K o be generaed by a imple cure. I urn ou if λ 1 < 4 hen K i generaed by a imple curve. We will

More information

of Manchester The University COMP14112 Hidden Markov Models

of Manchester The University COMP14112 Hidden Markov Models COMP42 Lecure 8 Hidden Markov Model he Univeriy of Mancheer he Univeriy of Mancheer Hidden Markov Model a b2 0. 0. SAR 0.9 0.9 SOP b 0. a2 0. Imagine he and 2 are hidden o he daa roduced i a equence of

More information

Stability in Distribution for Backward Uncertain Differential Equation

Stability in Distribution for Backward Uncertain Differential Equation Sabiliy in Diribuion for Backward Uncerain Differenial Equaion Yuhong Sheng 1, Dan A. Ralecu 2 1. College of Mahemaical and Syem Science, Xinjiang Univeriy, Urumqi 8346, China heng-yh12@mail.inghua.edu.cn

More information

Fractional Ornstein-Uhlenbeck Bridge

Fractional Ornstein-Uhlenbeck Bridge WDS'1 Proceeding of Conribued Paper, Par I, 21 26, 21. ISBN 978-8-7378-139-2 MATFYZPRESS Fracional Ornein-Uhlenbeck Bridge J. Janák Charle Univeriy, Faculy of Mahemaic and Phyic, Prague, Czech Republic.

More information

BOX-JENKINS MODEL NOTATION. The Box-Jenkins ARMA(p,q) model is denoted by the equation. pwhile the moving average (MA) part of the model is θ1at

BOX-JENKINS MODEL NOTATION. The Box-Jenkins ARMA(p,q) model is denoted by the equation. pwhile the moving average (MA) part of the model is θ1at BOX-JENKINS MODEL NOAION he Box-Jenkins ARMA(,q) model is denoed b he equaion + + L+ + a θ a L θ a 0 q q. () he auoregressive (AR) ar of he model is + L+ while he moving average (MA) ar of he model is

More information

Randomized Perfect Bipartite Matching

Randomized Perfect Bipartite Matching Inenive Algorihm Lecure 24 Randomized Perfec Biparie Maching Lecurer: Daniel A. Spielman April 9, 208 24. Inroducion We explain a randomized algorihm by Ahih Goel, Michael Kapralov and Sanjeev Khanna for

More information

Chapter 3 Common Families of Distributions

Chapter 3 Common Families of Distributions Chaer 3 Common Families of Disribuions Secion 31 - Inroducion Purose of his Chaer: Caalog many of common saisical disribuions (families of disribuions ha are indeed by one or more arameers) Wha we should

More information

On asymptotic behavior of composite integers n = pq Yasufumi Hashimoto

On asymptotic behavior of composite integers n = pq Yasufumi Hashimoto Journal of Mah-for-Indusry Vol1009A-6 45 49 On asymoic behavior of comosie inegers n = q Yasufumi Hashimoo Received on March 1 009 Absrac In his aer we sudy he asymoic behavior of he number of comosie

More information

FIXED POINTS AND STABILITY IN NEUTRAL DIFFERENTIAL EQUATIONS WITH VARIABLE DELAYS

FIXED POINTS AND STABILITY IN NEUTRAL DIFFERENTIAL EQUATIONS WITH VARIABLE DELAYS PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 136, Number 3, March 28, Page 99 918 S 2-9939(7)989-2 Aricle elecronically publihed on November 3, 27 FIXED POINTS AND STABILITY IN NEUTRAL DIFFERENTIAL

More information

Convergence of the gradient algorithm for linear regression models in the continuous and discrete time cases

Convergence of the gradient algorithm for linear regression models in the continuous and discrete time cases Convergence of he gradien algorihm for linear regreion model in he coninuou and dicree ime cae Lauren Praly To cie hi verion: Lauren Praly. Convergence of he gradien algorihm for linear regreion model

More information

On the Exponential Operator Functions on Time Scales

On the Exponential Operator Functions on Time Scales dvance in Dynamical Syem pplicaion ISSN 973-5321, Volume 7, Number 1, pp. 57 8 (212) hp://campu.m.edu/ada On he Exponenial Operaor Funcion on Time Scale laa E. Hamza Cairo Univeriy Deparmen of Mahemaic

More information

Explicit form of global solution to stochastic logistic differential equation and related topics

Explicit form of global solution to stochastic logistic differential equation and related topics SAISICS, OPIMIZAION AND INFOMAION COMPUING Sa., Opim. Inf. Compu., Vol. 5, March 17, pp 58 64. Publihed online in Inernaional Academic Pre (www.iapre.org) Explici form of global oluion o ochaic logiic

More information

Network Flow. Data Structures and Algorithms Andrei Bulatov

Network Flow. Data Structures and Algorithms Andrei Bulatov Nework Flow Daa Srucure and Algorihm Andrei Bulao Algorihm Nework Flow 24-2 Flow Nework Think of a graph a yem of pipe We ue hi yem o pump waer from he ource o ink Eery pipe/edge ha limied capaciy Flow

More information

Exponential Sawtooth

Exponential Sawtooth ECPE 36 HOMEWORK 3: PROPERTIES OF THE FOURIER TRANSFORM SOLUTION. Exponenial Sawooh: The eaie way o do hi problem i o look a he Fourier ranform of a ingle exponenial funcion, () = exp( )u(). From he able

More information

They were originally developed for network problem [Dantzig, Ford, Fulkerson 1956]

They were originally developed for network problem [Dantzig, Ford, Fulkerson 1956] 6. Inroducion... 6. The primal-dual algorihmn... 6 6. Remark on he primal-dual algorihmn... 7 6. A primal-dual algorihmn for he hore pah problem... 8... 9 6.6 A primal-dual algorihmn for he weighed maching

More information

FLAT CYCLOTOMIC POLYNOMIALS OF ORDER FOUR AND HIGHER

FLAT CYCLOTOMIC POLYNOMIALS OF ORDER FOUR AND HIGHER #A30 INTEGERS 10 (010), 357-363 FLAT CYCLOTOMIC POLYNOMIALS OF ORDER FOUR AND HIGHER Nahan Kaplan Deparmen of Mahemaic, Harvard Univeriy, Cambridge, MA nkaplan@mah.harvard.edu Received: 7/15/09, Revied:

More information

18.03SC Unit 3 Practice Exam and Solutions

18.03SC Unit 3 Practice Exam and Solutions Sudy Guide on Sep, Dela, Convoluion, Laplace You can hink of he ep funcion u() a any nice mooh funcion which i for < a and for > a, where a i a poiive number which i much maller han any ime cale we care

More information

Fast Approximate Energy Minimization via Graph Cuts

Fast Approximate Energy Minimization via Graph Cuts Proceedings of Inernaion Conference on Comuer Vision, Kerkyra, Greece, Seember 1999 vol.i,.377 Fas Aroximae Energy Minimizaion via Grah Cus Yuri Boykov Olga Veksler Ramin Zabih Comuer Science Dearmen Cornell

More information

Research Article Existence and Uniqueness of Solutions for a Class of Nonlinear Stochastic Differential Equations

Research Article Existence and Uniqueness of Solutions for a Class of Nonlinear Stochastic Differential Equations Hindawi Publihing Corporaion Abrac and Applied Analyi Volume 03, Aricle ID 56809, 7 page hp://dx.doi.org/0.55/03/56809 Reearch Aricle Exience and Uniquene of Soluion for a Cla of Nonlinear Sochaic Differenial

More information

APPLIED ECONOMETRIC TIME SERIES (2nd edition)

APPLIED ECONOMETRIC TIME SERIES (2nd edition) INSTRUCTOR S RESOURCE GUIDE TO ACCOMPANY APPLIED ECONOMETRIC TIME SERIES (2nd ediion) Waler Enders Universiy of Alabama Preared by Pin Chung American Reinsurance Comany and Iowa Sae Universiy Waler Enders

More information

t is a basis for the solution space to this system, then the matrix having these solutions as columns, t x 1 t, x 2 t,... x n t x 2 t...

t is a basis for the solution space to this system, then the matrix having these solutions as columns, t x 1 t, x 2 t,... x n t x 2 t... Mah 228- Fri Mar 24 5.6 Marix exponenials and linear sysems: The analogy beween firs order sysems of linear differenial equaions (Chaper 5) and scalar linear differenial equaions (Chaper ) is much sronger

More information

Algorithmic Discrete Mathematics 6. Exercise Sheet

Algorithmic Discrete Mathematics 6. Exercise Sheet Algorihmic Dicree Mahemaic. Exercie Shee Deparmen of Mahemaic SS 0 PD Dr. Ulf Lorenz 7. and 8. Juni 0 Dipl.-Mah. David Meffer Verion of June, 0 Groupwork Exercie G (Heap-Sor) Ue Heap-Sor wih a min-heap

More information

Reminder: Flow Networks

Reminder: Flow Networks 0/0/204 Ma/CS 6a Cla 4: Variou (Flow) Execie Reminder: Flow Nework A flow nework i a digraph G = V, E, ogeher wih a ource verex V, a ink verex V, and a capaciy funcion c: E N. Capaciy Source 7 a b c d

More information

18 Extensions of Maximum Flow

18 Extensions of Maximum Flow Who are you?" aid Lunkwill, riing angrily from hi ea. Wha do you wan?" I am Majikhie!" announced he older one. And I demand ha I am Vroomfondel!" houed he younger one. Majikhie urned on Vroomfondel. I

More information

Zürich. ETH Master Course: L Autonomous Mobile Robots Localization II

Zürich. ETH Master Course: L Autonomous Mobile Robots Localization II Roland Siegwar Margaria Chli Paul Furgale Marco Huer Marin Rufli Davide Scaramuzza ETH Maser Course: 151-0854-00L Auonomous Mobile Robos Localizaion II ACT and SEE For all do, (predicion updae / ACT),

More information

Mathematische Annalen

Mathematische Annalen Mah. Ann. 39, 33 339 (997) Mahemaiche Annalen c Springer-Verlag 997 Inegraion by par in loop pace Elon P. Hu Deparmen of Mahemaic, Norhweern Univeriy, Evanon, IL 628, USA (e-mail: elon@@mah.nwu.edu) Received:

More information

Generalized Orlicz Spaces and Wasserstein Distances for Convex-Concave Scale Functions

Generalized Orlicz Spaces and Wasserstein Distances for Convex-Concave Scale Functions Generalized Orlicz Space and Waerein Diance for Convex-Concave Scale Funcion Karl-Theodor Surm Abrac Given a ricly increaing, coninuou funcion ϑ : R + R +, baed on he co funcional ϑ (d(x, y dq(x, y, we

More information

Flow Networks. Ma/CS 6a. Class 14: Flow Exercises

Flow Networks. Ma/CS 6a. Class 14: Flow Exercises 0/0/206 Ma/CS 6a Cla 4: Flow Exercie Flow Nework A flow nework i a digraph G = V, E, ogeher wih a ource verex V, a ink verex V, and a capaciy funcion c: E N. Capaciy Source 7 a b c d e Sink 0/0/206 Flow

More information

Decentralized Control of Petri Nets

Decentralized Control of Petri Nets Decenralized Conrol of Peri Nes Marian V. Iordache and Panos J. Ansaklis Dearmen of Elecrical Engineering Universiy of Nore Dame Nore Dame, IN 6556 iordache.@nd.edu June, 00 M.V. Iordache and P.J. Ansaklis,

More information

Main Reference: Sections in CLRS.

Main Reference: Sections in CLRS. Maximum Flow Reied 09/09/200 Main Reference: Secion 26.-26. in CLRS. Inroducion Definiion Muli-Source Muli-Sink The Ford-Fulkeron Mehod Reidual Nework Augmening Pah The Max-Flow Min-Cu Theorem The Edmond-Karp

More information

6.302 Feedback Systems Recitation : Phase-locked Loops Prof. Joel L. Dawson

6.302 Feedback Systems Recitation : Phase-locked Loops Prof. Joel L. Dawson 6.32 Feedback Syem Phae-locked loop are a foundaional building block for analog circui deign, paricularly for communicaion circui. They provide a good example yem for hi cla becaue hey are an excellen

More information

FUZZY n-inner PRODUCT SPACE

FUZZY n-inner PRODUCT SPACE Bull. Korean Mah. Soc. 43 (2007), No. 3, pp. 447 459 FUZZY n-inner PRODUCT SPACE Srinivaan Vijayabalaji and Naean Thillaigovindan Reprined from he Bullein of he Korean Mahemaical Sociey Vol. 43, No. 3,

More information

Optimal State-Feedback Control Under Sparsity and Delay Constraints

Optimal State-Feedback Control Under Sparsity and Delay Constraints Opimal Sae-Feedback Conrol Under Spariy and Delay Conrain Andrew Lamperki Lauren Leard 2 3 rd IFAC Workhop on Diribued Eimaion and Conrol in Neworked Syem NecSy pp. 24 29, 22 Abrac Thi paper preen he oluion

More information

Algorithms and Data Structures 2011/12 Week 9 Solutions (Tues 15th - Fri 18th Nov)

Algorithms and Data Structures 2011/12 Week 9 Solutions (Tues 15th - Fri 18th Nov) Algorihm and Daa Srucure 2011/ Week Soluion (Tue 15h - Fri 18h No) 1. Queion: e are gien 11/16 / 15/20 8/13 0/ 1/ / 11/1 / / To queion: (a) Find a pair of ube X, Y V uch ha f(x, Y) = f(v X, Y). (b) Find

More information

Discussion Session 2 Constant Acceleration/Relative Motion Week 03

Discussion Session 2 Constant Acceleration/Relative Motion Week 03 PHYS 100 Dicuion Seion Conan Acceleraion/Relaive Moion Week 03 The Plan Today you will work wih your group explore he idea of reference frame (i.e. relaive moion) and moion wih conan acceleraion. You ll

More information

Description of the MS-Regress R package (Rmetrics)

Description of the MS-Regress R package (Rmetrics) Descriion of he MS-Regress R ackage (Rmerics) Auhor: Marcelo Perlin PhD Suden / ICMA Reading Universiy Email: marceloerlin@gmail.com / m.erlin@icmacenre.ac.uk The urose of his documen is o show he general

More information

1 birth rate γ (number of births per time interval) 2 death rate δ proportional to size of population

1 birth rate γ (number of births per time interval) 2 death rate δ proportional to size of population Scienific Comuing I Module : Poulaion Modelling Coninuous Models Michael Bader Par I ODE Models Lehrsuhl Informaik V Winer 7/ Discree vs. Coniuous Models d d = F,,...) ) =? discree model: coninuous model:

More information

Physics 240: Worksheet 16 Name

Physics 240: Worksheet 16 Name Phyic 4: Workhee 16 Nae Non-unifor circular oion Each of hee proble involve non-unifor circular oion wih a conan α. (1) Obain each of he equaion of oion for non-unifor circular oion under a conan acceleraion,

More information

CONTROL SYSTEMS. Chapter 10 : State Space Response

CONTROL SYSTEMS. Chapter 10 : State Space Response CONTROL SYSTEMS Chaper : Sae Space Repone GATE Objecive & Numerical Type Soluion Queion 5 [GATE EE 99 IIT-Bombay : Mark] Conider a econd order yem whoe ae pace repreenaion i of he form A Bu. If () (),

More information

KEY. Math 334 Midterm I Fall 2008 sections 001 and 003 Instructor: Scott Glasgow

KEY. Math 334 Midterm I Fall 2008 sections 001 and 003 Instructor: Scott Glasgow 1 KEY Mah 4 Miderm I Fall 8 secions 1 and Insrucor: Sco Glasgow Please do NOT wrie on his eam. No credi will be given for such work. Raher wrie in a blue book, or on our own paper, preferabl engineering

More information

Time-Spectral Solution of Initial-Value Problems Subdomain Approach

Time-Spectral Solution of Initial-Value Problems Subdomain Approach American Journal of Comuaional Mahemaic, 01,, 7-81 h://dx.doi.org/10.436/ajcm.01.010 Publihed Online June 01 (h://www.scirp.org/journal/ajcm) Time-Secral Soluion of Iniial-Value Problem Subdomain Aroach

More information

13.1 Accelerating Objects

13.1 Accelerating Objects 13.1 Acceleraing Objec A you learned in Chaper 12, when you are ravelling a a conan peed in a raigh line, you have uniform moion. However, mo objec do no ravel a conan peed in a raigh line o hey do no

More information

Matching. Slides designed by Kevin Wayne.

Matching. Slides designed by Kevin Wayne. Maching Maching. Inpu: undireced graph G = (V, E). M E i a maching if each node appear in a mo edge in M. Max maching: find a max cardinaliy maching. Slide deigned by Kevin Wayne. Biparie Maching Biparie

More information

Lecture 2: Telegrapher Equations For Transmission Lines. Power Flow.

Lecture 2: Telegrapher Equations For Transmission Lines. Power Flow. Whies, EE 481/581 Lecure 2 Page 1 of 13 Lecure 2: Telegraher Equaions For Transmission Lines. Power Flow. Microsri is one mehod for making elecrical connecions in a microwae circui. I is consruced wih

More information

arxiv: v1 [math.gm] 5 Jan 2019

arxiv: v1 [math.gm] 5 Jan 2019 A FUNCTION OBSTRUCTION TO THE EXISTENCE OF COMPLEX STRUCTURES arxiv:1901.05844v1 [mah.gm] 5 Jan 2019 JUN LING Abrac. We conruc a funcion for almo-complex Riemannian manifold. Non-vanihing of he funcion

More information

O.R. Theory and it s Application Multi-Component Commercial Bank Branch Progress and Regress: An Application of Data Envelopment Analysis

O.R. Theory and it s Application Multi-Component Commercial Bank Branch Progress and Regress: An Application of Data Envelopment Analysis Inernaional Mahemaical Forum, 1, 2006, no. 33, 1635-1644 O.R. Theory and i s Alicaion Muli-Comonen Commercial Bank Branch Progress and Regress: An Alicaion of Daa Envelomen Analysis A. Divandari Dearmen

More information

fakultät für informatik informatik 12 technische universität dortmund Petri Nets Peter Marwedel TU Dortmund, Informatik /10/10

fakultät für informatik informatik 12 technische universität dortmund Petri Nets Peter Marwedel TU Dortmund, Informatik /10/10 2 Peri Nes Peer Marwedel TU Dormund, Informaik 2 2008/0/0 Grahics: Alexandra Nole, Gesine Marwedel, 2003 Generalizaion of daa flow: Comuaional grahs Examle: Peri nes Inroduced in 962 by Carl Adam Peri

More information

What is maximum Likelihood? History Features of ML method Tools used Advantages Disadvantages Evolutionary models

What is maximum Likelihood? History Features of ML method Tools used Advantages Disadvantages Evolutionary models Wha i maximum Likelihood? Hiory Feaure of ML mehod Tool ued Advanage Diadvanage Evoluionary model Maximum likelihood mehod creae all he poible ree conaining he e of organim conidered, and hen ue he aiic

More information

The Asymptotic Behavior of Nonoscillatory Solutions of Some Nonlinear Dynamic Equations on Time Scales

The Asymptotic Behavior of Nonoscillatory Solutions of Some Nonlinear Dynamic Equations on Time Scales Advances in Dynamical Sysems and Applicaions. ISSN 0973-5321 Volume 1 Number 1 (2006, pp. 103 112 c Research India Publicaions hp://www.ripublicaion.com/adsa.hm The Asympoic Behavior of Nonoscillaory Soluions

More information

Course Notes for EE227C (Spring 2018): Convex Optimization and Approximation

Course Notes for EE227C (Spring 2018): Convex Optimization and Approximation Course Noes for EE7C Spring 018: Convex Opimizaion and Approximaion Insrucor: Moriz Hard Email: hard+ee7c@berkeley.edu Graduae Insrucor: Max Simchowiz Email: msimchow+ee7c@berkeley.edu Ocober 15, 018 3

More information

L p -Solutions for Reflected Backward Stochastic Differential Equations

L p -Solutions for Reflected Backward Stochastic Differential Equations L -Soluion for Refleced Backward Sochaic Differenial Equaion Saïd Hamadène and Alexandre Poier Laboraoire de aiique e roceu Univerié du Maine Avenue Olivier Meiaen F-7285 Le Man Cedex 9 France March 27,

More information

Life Cycle Cost Calculation for Investment Decision in Manufacturing

Life Cycle Cost Calculation for Investment Decision in Manufacturing Life Cycle Co Calculaion for Invemen Deciion in Manufacuring L. Molinari Toai Iniue of Indurial Technology and Auomaion Naional Reearch Council ITIA-CNR Milano Ialy Abrac The growing global comeiion i

More information

Chapter 2. First Order Scalar Equations

Chapter 2. First Order Scalar Equations Chaper. Firs Order Scalar Equaions We sar our sudy of differenial equaions in he same way he pioneers in his field did. We show paricular echniques o solve paricular ypes of firs order differenial equaions.

More information

Two Coupled Oscillators / Normal Modes

Two Coupled Oscillators / Normal Modes Lecure 3 Phys 3750 Two Coupled Oscillaors / Normal Modes Overview and Moivaion: Today we ake a small, bu significan, sep owards wave moion. We will no ye observe waves, bu his sep is imporan in is own

More information

Overview. COMP14112: Artificial Intelligence Fundamentals. Lecture 0 Very Brief Overview. Structure of this course

Overview. COMP14112: Artificial Intelligence Fundamentals. Lecture 0 Very Brief Overview. Structure of this course OMP: Arificial Inelligence Fundamenals Lecure 0 Very Brief Overview Lecurer: Email: Xiao-Jun Zeng x.zeng@mancheser.ac.uk Overview This course will focus mainly on probabilisic mehods in AI We shall presen

More information

Stopping Brownian Motion without Anticipation as Close as Possible to its Ultimate Maximum

Stopping Brownian Motion without Anticipation as Close as Possible to its Ultimate Maximum Theory Probab. Al. Vol. 45, No.,, (5-36) Research Reor No. 45, 999, De. Theore. Sais. Aarhus Soing Brownian Moion wihou Aniciaion as Close as Possible o is Ulimae Maximum S. E. GRAVERSEN 3, G. PESKIR 3,

More information

G. =, etc.

G. =, etc. Maerial Models υ υ3 0 0 0 υ υ 3 0 0 0 υ3 υ3 0 0 0 = 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 3 l (9..4) he subscris denoe he maerial axes, i.e., υ = υ and = (9..5) i j xi xj ii xi Since l is symmeric υ υ =, ec.

More information

* l/d > 5 and H/D = 1 Mass term of Morison dominates

* l/d > 5 and H/D = 1 Mass term of Morison dominates 1 3.6 LOADS Source and conequence of non-lineariie Sinuoidal wave and ylinder rucure: η =H/ in z λ H d x * l/d > 5 and H/D = 1 Ma erm of Morion dominae * linear wave eory: D fz;x= =.5 π c m D H/ gk co

More information

CSC 364S Notes University of Toronto, Spring, The networks we will consider are directed graphs, where each edge has associated with it

CSC 364S Notes University of Toronto, Spring, The networks we will consider are directed graphs, where each edge has associated with it CSC 36S Noe Univeriy of Torono, Spring, 2003 Flow Algorihm The nework we will conider are direced graph, where each edge ha aociaed wih i a nonnegaive capaciy. The inuiion i ha if edge (u; v) ha capaciy

More information

To become more mathematically correct, Circuit equations are Algebraic Differential equations. from KVL, KCL from the constitutive relationship

To become more mathematically correct, Circuit equations are Algebraic Differential equations. from KVL, KCL from the constitutive relationship Laplace Tranform (Lin & DeCarlo: Ch 3) ENSC30 Elecric Circui II The Laplace ranform i an inegral ranformaion. I ranform: f ( ) F( ) ime variable complex variable From Euler > Lagrange > Laplace. Hence,

More information

1 Review of Zero-Sum Games

1 Review of Zero-Sum Games COS 5: heoreical Machine Learning Lecurer: Rob Schapire Lecure #23 Scribe: Eugene Brevdo April 30, 2008 Review of Zero-Sum Games Las ime we inroduced a mahemaical model for wo player zero-sum games. Any

More information

Timed Circuits. Asynchronous Circuit Design. Timing Relationships. A Simple Example. Timed States. Timing Sequences. ({r 6 },t6 = 1.

Timed Circuits. Asynchronous Circuit Design. Timing Relationships. A Simple Example. Timed States. Timing Sequences. ({r 6 },t6 = 1. Timed Circuis Asynchronous Circui Design Chris J. Myers Lecure 7: Timed Circuis Chaper 7 Previous mehods only use limied knowledge of delays. Very robus sysems, bu exremely conservaive. Large funcional

More information

An Inventory Replenishment Model for Deteriorating Items with Time-varying Demand and Shortages using Genetic Algorithm

An Inventory Replenishment Model for Deteriorating Items with Time-varying Demand and Shortages using Genetic Algorithm An Invenory Replenihmen odel for Deerioraing Iem wih ime-varying Demand and Shorage uing Geneic Algorihm An Invenory Replenihmen odel for Deerioraing Iem wih ime-varying Demand and Shorage uing Geneic

More information

Pattern Classification (VI) 杜俊

Pattern Classification (VI) 杜俊 Paern lassificaion VI 杜俊 jundu@usc.edu.cn Ouline Bayesian Decision Theory How o make he oimal decision? Maximum a oserior MAP decision rule Generaive Models Join disribuion of observaion and label sequences

More information

ODEs II, Lecture 1: Homogeneous Linear Systems - I. Mike Raugh 1. March 8, 2004

ODEs II, Lecture 1: Homogeneous Linear Systems - I. Mike Raugh 1. March 8, 2004 ODEs II, Lecure : Homogeneous Linear Sysems - I Mike Raugh March 8, 4 Inroducion. In he firs lecure we discussed a sysem of linear ODEs for modeling he excreion of lead from he human body, saw how o ransform

More information

15. Vector Valued Functions

15. Vector Valued Functions 1. Vecor Valued Funcions Up o his poin, we have presened vecors wih consan componens, for example, 1, and,,4. However, we can allow he componens of a vecor o be funcions of a common variable. For example,

More information

Buckling of a structure means failure due to excessive displacements (loss of structural stiffness), and/or

Buckling of a structure means failure due to excessive displacements (loss of structural stiffness), and/or Buckling Buckling of a rucure mean failure due o exceive diplacemen (lo of rucural iffne), and/or lo of abiliy of an equilibrium configuraion of he rucure The rule of humb i ha buckling i conidered a mode

More information

Chapter 6. Systems of First Order Linear Differential Equations

Chapter 6. Systems of First Order Linear Differential Equations Chaper 6 Sysems of Firs Order Linear Differenial Equaions We will only discuss firs order sysems However higher order sysems may be made ino firs order sysems by a rick shown below We will have a sligh

More information