Reduction of the Supervisor Design Problem with Firing Vector Constraints
|
|
- Sheila Potter
- 5 years ago
- Views:
Transcription
1 wih Firing Vecor Consrains Marian V. Iordache School of Engineering and Eng. Tech. LeTourneau Universiy Longview, TX Panos J. Ansaklis Dearmen of Elecrical Engineering Universiy of Nore Dame Nore Dame, IN June 0, 005
2 Conex PNs develoed in Comuer Science o model concurren rocesses (CPs). Muual exclusion: a common consrain ye imosed on CPs. Exressed in PNs by: P i µ i c. Used also in he conex of AGV coordinaion for manufacuring sysems [Krogh and Holloway 99] and bach chemical rocesses [Tius and Lenarson, 999]. More comlex consrains Lµ b are necessary (L, b ineger marices) - due o unconrollabiliy and unobervabiliy - o exress more comlex secificaions The consrains Lµ b have been used o describe liveness enforcing suervisors [Iordache and Ansaklis, 000; Park and Reveliois, 00].
3 Conex In he conex of chemical rocess conrol [Yamalidou and Kanor 99], consrains describing how valves should be oened/closed resul in: Lµ + Hq b. The same arise also in railway neworks [Giua and Seazu 00], describing safey consrains (rains should no collide). The more general form Lµ + Hq + Cv b used in a raher comlex AGV coordinaion roblem [Iordache and Ansaklis, 00]. Fairness consrains of he form Cv b were used for a communicaion roocol [Genrich e al, 980] and a manufacuring alicaion [Li and Wonham, 99].
4 Conex The SBPI The suervision based on lace invarians develoed for consrains Lµ b. (All reachable markings µ consrained o saisfy Lµ b.) Le D be he incidence marix and µ 0 he iniial marking. The suervisor consiss of monior laces conneced according o D s = LD and of iniial marking µ s0 = b Lµ 0. µ + µ µ + µ PLANT Moniors 4 5 CLOSED LOOP
5 Conex Moniors Conversely, given a se of moniors, wha secificaion do hey enforce? Lµ + Hq + Cv b, in general. - The Cv erm no needed if hey ariciae in lace invarians. - The Hq erm needed if hey have selfloos. µ + µ µ + µ PLANT Moniors 4 5 CLOSED LOOP
6 Conex Beyond Moniors I is desirable o be able o deal wih even more general secificaions. For wha kind of secificaions is he closed-loo sill a Peri ne? - Prefix ye language secificaions. - In aricular, disjuncions W i L i µ b i, under some boundedness assumions. b 7 b 4 a c b b d c a 9 a PLANT SPECIFICATION
7 Conex Beyond Moniors As an examle, his is he lan. The secificaion is [µ 0] [µ 4 0]. α α α α 4 α 5 α Assuming he bounds µ and µ 4, his suervisor resuls: a h a d d α α α 5 α 4 α α α 4 α e e Noe ha he suervisor is no free-labeled (hough he lan is).
8 Conex Difficulies Difficulies arise due o arial unconrollabiliy and unobservabiliy. We have focused on srucural and suboimal mehods of suervisor design. - No necessarily leas resricive soluions; a soluion may no be found even when one exiss. - The deadlock revenion roblem needs o be deal wih searaely. + The suervisor is aramerized by he iniial marking µ 0 : + a numerical value of µ 0 is no necessary o design a suervisor; + changes in he numerical value of µ 0 do no require recalculaing he suervisor. + Poenial comuaional benefis (reachabiliy analysis avoided). We have addressed: Cenralized and decenralized conrol. Labeled PN lans wih or wihou concurrency. Disjuncive, P-ye language, generalized linear consrains. Also liveness secificaions.
9 BOOK
10 TOPIC This resenaion considers he suervision roblem for secificaions n d _ [L i µ + H i q + C i v b i ] () i= By adding sink laces, he Cv erm can be incororaed in he Lµ erm. Therefore, i is enough o focus on consrains n d _ [L i µ + H i q b i ] () i= The aer shows ha he roblem of enforcing () can be reduced o he roblem of enforcing () on a ransformed Peri ne, wihou loss of ermissiveness. n d _ [L H,i µ H b i ] () i=
11 Background Generalized Linear Consrains Noaion: µ he marking, µ 0 he iniial marking, D he incidence marix, q he firing vecor, and v he Parikh vecor. Le µ i = µ( i ), q j = q( j ) and v j = v( j ). q j : how many imes j is o be fired; v j : how many imes j has been fired. The sae equaion: µ = µ 0 + Dv. ( fires) ( fires) µ 0 = [ 0 0 ] T µ = [ 0 ] T µ = [ 0 0 ] T v = [ ] T v = [ 0 0 ] T v = [ 0 ] T q = [ 0 0 ] T q = [ 0 0 ] T
12 Background Generalized Linear Consrains The generalized linear consrains can describe laces arbirarily conneced o a PN. They have he form: They require he iniial sae (µ 0, v 0 ) o saisfy Lµ + Hq + Cv b (4) Lµ 0 + Cv 0 b Furher, a ransiion i may fire from a curren sae (µ, v) iff (a) Lµ + Hq + Cv b for q(i) = and q(j) = 0 j i. (b) Lµ + Cv b, where v = v + q and µ i µ. The generalized linear consrains describe he P-ye languages of free-labeled PNs. The enforcemen of he generalized linear consrains has been sudied by Iordache and Ansaklis [ACC 00, TAC 48()].
13 Seing The lan is assumed o be a double-labeled PN. ρ : T K (o : T O) associaes conrol (observaion) evens o ransiions. K c K (O o O) denoe he ses of conrollable (observable) evens. A double-labeled PN can model boh he unconrollabiliy of ClPNs (Krogh and Holloway) and he unobservabiliy of labeled PNs. The resuls are obained under he concurrency seing (ransiion-bag assumion, q N). 4 5 e (α) (β) (β) (γ) (γ) (γ) e e e e 4 e 4 Above, K = {e, e, e, e 4 } and O = {α, β, γ}.
14 GLCs and Concurrency Inerreing W i L iµ + H i q + C i v b i is a nonrivial issue. Le s begin wih Lµ + Hq + Cv b, under concurrency. Le H d = max(0, LD + C, H). Consider he moniors enforcing Lµ + Hq + Cv b ha are consruced under he no concurrency assumion (Iordache and Ansaklis, 00). The moniors enable q when H d q µ c = b Lµ Cv. This will be he concurrency inerreaion of Lµ + Hq + Cv b: a any ime, µ, q and v are ermissible if hey saisfy H d q b Lµ Cv. Inuiively, his corresonds o q enabled iff a all inermediary sages of he firing of q, he secificaion is saisfied (Lemma.). This will be he concurrency inerreaion of W i L iµ + H i q + C i v b i : a any ime, µ, q and v are ermissible if hey saisfy H d,i q b i L i µ C i v for some i.
15 Aroach Given W n i= L iµ + H i q b i, he aroach is o find W m i= La i µ + Ha i q ba i ha is feasible such ha W m i= La i µ + Ha i q ba i W n i= L iµ + H i q b i. N i L µ + H q i i b i H TRANSF N H L i H,i µ H,i b i PLANT AND SPECS TRANSFORMED PLANT AND SPECS (DESIGN) i a a a i i b i L µ + H q FEASIBLE SPECS INVERSE H TRANSF i L a H,i µ H,i a b i FEASIBLE CONSTRAINTS
16 The H-Transformaion Illusraion The ransformaion slis ransiions o subsiue a q i erm by a marking erm This ransformaion mas ino µ + µ + µ + q 5 (5) µ + µ + µ + 4µ 5 5 (6) The erm 4µ 5 is obained as follows. Consider firing in he ransformed ne: µ µ. The coefficien a of is o saisfy ha a + µ + µ + µ = + µ + µ + µ
17 The H-Transformaion Definiion Inu: N = (P, T, D, D + ), Lµ + Hq b, and oionally µ 0 and a se T s,h T. Ouu: N H = (P H, T H, D H, D+ H ), L Hµ H b, and µ H0.. Le T s = { T : ρ() = ρ( ) for some T s.. T s,h or H d (, ) 0}, where H d = max(ld, H, 0).. Le N H = N, L H = L, and µ H0 = µ 0.. For all T s : k j (a) Sli in, k, and j. (b) Le L H (, k ) = H d (, i ) + LD (, i ) and µ H0 ( k ) = For all T s : (a) o( ) = o(). (b) Exend he se of conrol evens s.. ρ( ) / {ρ() : T }. (c) ρ( ) is conrollable iff ρ() is conrollable. (d) For all T s, ρ( ) = ρ( ) iff ρ() = ρ( )....
18 The H-Transformaion Definiion The H-ransformaion for a se of consrains W i L iµ + H i q b i :. Le H d,i = max(l i D, H i, 0) and T s,h T s,h S i { T : H d,i(, ) 0}.. For all i, aly he H-ransformaion o he consrains L i µ + H i q b i wih he argumen T s,h above. Le L H,i µ H b i, N H, and µ H0 be he resul.. Final resul: W i L H,iµ H b i, N H, and µ H0.
19 The H-Transformaion Definiion The H -Transformaion of L H µ H b Inu: N = (P, T, D, D + ), N H = (P H, T H, D H, D+ H ), and L Hµ H b. Ouu: The H -ransformed consrains Lµ + Hq b.. Se L(, ) = L H (, ) P and H o he null marix.. For all k P H \ P (a) Le i be he ransiion such ha { i } = k. (b) Se H(, i ) = L H (, k ) L H D H (, i). The H -Transformaion of W i L H,iµ H b i. For all i, aly he H -ransformaion o he consrains L H,i µ H b i. Le L i µ + H i q b i be he ransformed consrains.. Final resul: W i L iµ + H i q b i.
20 Noaion S W i L iµ + H i q b i, S H W i L H,iµ H b i, S a H W i La H,i µ H b a i, and S a W i La i µ + Ha i q ba i. N i L µ + H q i i b i H TRANSF N H L i H,i µ H,i b i PLANT AND SPECS TRANSFORMED PLANT AND SPECS (DESIGN) i a a a i i b i L µ + H q FEASIBLE SPECS INVERSE H TRANSF i L a H,i µ H,i a b i FEASIBLE CONSTRAINTS
21 Noaion Fac: S H H S H and S H S S = S. Bu is i rue ha S H H S and S H S H S H = S H? Theorem. (a) The H-ransformaion of any S saisfies P H \ P : j LH (, ) L H D + H (, ) L H (, ) L H D H (, ) (7) T \ (P H \ P) : L H D H (, ) 0. (8) H (b) Given N H and S H, assume S H S and S H (S H, N H ). If L H saisfies (7 8) and he H-ransformaion has T s,h = (P H \ P), hen N H = N H and S H = S H.
22 Feasibiliy Le Ξ be he oimal suervisor for S (i.e. wihou resricion), Ξ H for S H, Ξ a H for Sa H, and Ξ a for S a. Ξ is feasible if i resecs he conrollabiliy and observabiliy consrains of (N, µ 0 ). S is feasible when Ξ is feasible. H-feasibiliy: weaker han feasibiliy. Defined for S H such ha he following resul holds rue. Theorem. Assume S H S H. Then S is feasible iff S H is h-feasible.
23 Permissiveness The join H-ransformaion of S and S selecs T s,h s.. S H (S H, N H ) and S H (S H, N H ) N H = N H. Noaion: Ξ Ξ : Ξ is a leas as resricive as Ξ. Ξ Ξ : Ξ is more resricive han Ξ. Theorem. Ξ Ξ (Ξ Ξ ) iff Ξ H Ξ H (Ξ H Ξ H ).
24 Procedure. (S, N) H (S H, N H ).. Find h-feasible S a H ha saisfy (7 8) and Ξa H Ξ H.. S a H H S a. S a is he soluion. The oal H-ransformaion slis all ransiions: T s,h = T. X: he se of suervisors oimally enforcing feasible consrains S. X H : he se of suervisors oimally enforcing h-feasible consrains S H ha saisfy (7 8). Theorem.4 a) S a is feasible and Ξ a Ξ. Assume ha he oal H-ransformaion is alied a se one. b) Ξ a is leas resricive among he suervisors of X enforcing S iff Ξ a H resricive among he suervisors of X H enforcing S H. is leas c) There is no suervisor Ξ Ξ a of X ha enforces S if here is no suervisor Ξ H Ξa H of X H ha enforces S H.
25 Remarks The roblem of enforcing W i L iµ + H i q b i can be solved in erms of he simler W i L H,iµ H b i in a ransformed PN, wihou loss of ermissiveness. The resuls were derived under he ransiion-bag concurrency seing. A loss of ermissiveness is ossible when his aroach is used for oher concurrency seings. The resuls obained under a very general unconrollabiliy and unobservabiliy seing. The roblem of enforcing W i L H,iµ H b i is sill comlex. - Under cerain assumions, including no concurrency, a soluion is available (Sremerssch and Boel, 00). - More work has been done on he aricular form L H µ H b. - A srucural and suboimal soluion o he enforcemen of W i L H,iµ H b i aears in he book of Iordache and Anasklis, 006. I alies o double-labeled PNs and he mos common concurrency seings.
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 informationDecentralized Control of Petri Nets
Marian Iordache, Panos J.Ansaklis, Decenralized onrol of Peri Nes, ISIS Technical Reor ISIS-00-005, Ocober 00. Decenralized onrol of Peri Nes Technical Reor of he ISIS Grou a he Universiy of Nore Dame
More informationDecentralized Control of Petri Nets
Marian Iordache, Panos J. Ansaklis, Decenralized Conrol of Peri Nes, Proceedings of he Worksho on Discree Even Sysems Conrol a he h Inernaional Conference on Alicaion and Theory of Peri Nes (ATPN 00),.-58,
More informationSynthesis of Concurrent Programs Based on Supervisory Control
Synhesis of Concurren Programs Based on Suervisory Conrol Marian V. Iordache School of Engineering and Eng. Tech. LeTourneau Universiy Longview, TX 75607, USA E-mail: MarianIordache@leu.edu Panos J. Ansaklis
More informationSynthesis of Supervisors Enforcing General Linear Vector Constraints in Petri Nets
The 00 Aerican onrol onference, May -0, Anchorage, Alaska. Synhesis of Suervisors Enforcing General Linear Vecor onsrains in Peri Nes Marian V. Iordache and Panos J. Ansaklis Absrac This aer considers
More informationA Method for Deadlock Prevention in Discrete Event Systems Using Petri Nets
M.V. Iordache, J.O. Moody and P.J. Ansaklis, "A Mehod for Deadlock Prevenion in Discree Even Sysems Using Peri Nes," Technical Reor isis-99-006, De. of Elecrical Engr., Univ. of Nore Dame, July 999. A
More informationAutomated Synthesis of Liveness Enforcing Supervisors Using Petri Nets
Auomaed Synhesis of Liveness Enforcing Suervisors Using Peri Nes Technical Reor of he ISIS Grou a he Universiy of Nore Dame ISIS-00-00 Ocober, 000 Revised in January 00 and May 00 Marian V. Iordache John
More informationA Method for Deadlock Prevention in Discrete Event Systems Using Petri Nets
A Mehod for Deadlock Prevenion in Discree Even Sysems Using Peri Nes Technical Reor of he ISIS Grou a he Universiy of Nore Dame ISIS-99-006 July, 999 Marian V. Iordache John O. Moody Panos J. Ansaklis
More informationA Structural Approach to the Enforcement of Language and Disjunctive Constraints
A Srucurl Aroch o he Enforcemen of Lnguge nd Disjuncive Consrins Mrin V. Iordche School of Engineering nd Eng. Tech. LeTourneu Universiy Longview, TX 7607-700 Pnos J. Ansklis Dermen of Elecricl Engineering
More informationEmbedded Systems 5 BF - ES - 1 -
Embedded Sysems 5 - - REVIEW: Peri Nes Def.: N=C,E,F) is called a Peri ne, iff he following holds. C and E are disjoin ses 2. F C E) E C); is binary relaion, flow relaion ) Def.: Le N be a ne and le x
More informationEmbedded Systems 4. Petri nets. Introduced in 1962 by Carl Adam Petri in his PhD thesis. Different Types of Petri nets known
Embedded Sysems 4 - - Peri nes Inroduced in 962 by Carl Adam Peri in his PhD hesis. Differen Tyes of Peri nes known Condiion/even nes Place/ransiion nes Predicae/ransiion nes Hierachical Peri nes, - 2
More informationLecture 20: Riccati Equations and Least Squares Feedback Control
34-5 LINEAR SYSTEMS Lecure : Riccai Equaions and Leas Squares Feedback Conrol 5.6.4 Sae Feedback via Riccai Equaions A recursive approach in generaing he marix-valued funcion W ( ) equaion for i for he
More informationEmbedded Systems CS - ES
Embedded Sysems - - Overview of embedded sysems design REVIEW - 2 - REVIEW - 3 - REVIEW - 4 - REVIEW - 5 - Scheduling rocesses in ES: Differences in goals REVIEW In classical OS, qualiy of scheduling is
More informationI. Introduction to place/transition nets. Place/Transition Nets I. Example: a vending machine. Example: a vending machine
Inroducory Tuorial I. Inroducion o place/ransiion nes Place/Transiion Nes I Prepared by: Jörg Desel, Caholic Universiy in Eichsä and Karsen Schmid, Humbold-Universiä zu Berlin Speaker: Wolfgang Reisig,
More informationEmbedded Systems 5. Midterm, Thursday December 18, 2008, Final, Thursday February 12, 2009, 16-19
Embedded Sysems 5 - - Exam Daes / egisraion Miderm, Thursday December 8, 8, 6-8 Final, Thursday February, 9, 6-9 egisraion hrough HISPOS oen in arox. week If HISPOS no alicable Non-CS, Erasmus, ec send
More informationVerification of Coprognosability in Decentralized Fault Prognosis of Labeled Petri Nets
28 IEEE Conference on Decision and Conrol (CDC Miami Beach, FL, USA, Dec. 7-9, 28 Verificaion of Corognosabiliy in Decenralized Faul Prognosis of Labeled Peri es Wenqing Wu, Xiang Yin and Shaoyuan Li Absrac
More information10. State Space Methods
. Sae Space Mehods. Inroducion Sae space modelling was briefly inroduced in chaper. Here more coverage is provided of sae space mehods before some of heir uses in conrol sysem design are covered in he
More informationON DETERMINATION OF SOME CHARACTERISTICS OF SEMI-MARKOV PROCESS FOR DIFFERENT DISTRIBUTIONS OF TRANSIENT PROBABILITIES ABSTRACT
Zajac, Budny ON DETERMINATION O SOME CHARACTERISTICS O SEMI MARKOV PROCESS OR DIERENT DISTRIBUTIONS O R&RATA # 2(3 ar 2 (Vol. 2 29, June ON DETERMINATION O SOME CHARACTERISTICS O SEMI-MARKOV PROCESS OR
More informationDescription 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 informationfakultä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 informationDirac s hole theory and the Pauli principle: clearing up the confusion.
Dirac s hole heory and he Pauli rincile: clearing u he conusion. Dan Solomon Rauland-Borg Cororaion 8 W. Cenral Road Moun Prosec IL 656 USA Email: dan.solomon@rauland.com Absrac. In Dirac s hole heory
More informationSoftware Tools for the Supervisory Control of Petri Nets Based on Place Invariants
Sofware Tools for he Suervisory Conrol of Peri Nes Based on Place Invarians Marian V. Iordache and Panos J. Ansaklis This documen describes a Malab oolbox for he suervisory conrol of Peri nes based on
More informationKEY. Math 334 Midterm III Winter 2008 section 002 Instructor: Scott Glasgow
KEY Mah 334 Miderm III Winer 008 secion 00 Insrucor: Sco Glasgow Please do NOT wrie on his exam. No credi will be given for such work. Raher wrie in a blue book, or on your own paper, preferably engineering
More information3.1.3 INTRODUCTION TO DYNAMIC OPTIMIZATION: DISCRETE TIME PROBLEMS. A. The Hamiltonian and First-Order Conditions in a Finite Time Horizon
3..3 INRODUCION O DYNAMIC OPIMIZAION: DISCREE IME PROBLEMS A. he Hamilonian and Firs-Order Condiions in a Finie ime Horizon Define a new funcion, he Hamilonian funcion, H. H he change in he oal value of
More informationOn a problem of Graham By E. ERDŐS and E. SZEMERÉDI (Budapest) GRAHAM stated the following conjecture : Let p be a prime and a 1,..., ap p non-zero re
On a roblem of Graham By E. ERDŐS and E. SZEMERÉDI (Budaes) GRAHAM saed he following conjecure : Le be a rime and a 1,..., a non-zero residues (mod ). Assume ha if ' a i a i, ei=0 or 1 (no all e i=0) is
More informationChapter 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 informationfakultät für informatik informatik 12 technische universität dortmund Petri Nets Peter Marwedel TU Dortmund, Informatik /11/09
2 Peri Nes Peer Marwedel TU Dormund, Informaik 2 2009//09 Grahics: Alexandra Nole, Gesine Marwedel, 2003 Models of comuaion considered in his course Communicaion/ local comuaions Undefined comonens Communicaing
More informationFORECASTS 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 informationLecture 6 - Testing Restrictions on the Disturbance Process (References Sections 2.7 and 2.10, Hayashi)
Lecure 6 - esing Resricions on he Disurbance Process (References Secions 2.7 an 2.0, Hayashi) We have eveloe sufficien coniions for he consisency an asymoic normaliy of he OLS esimaor ha allow for coniionally
More informationRobust estimation based on the first- and third-moment restrictions of the power transformation model
h Inernaional Congress on Modelling and Simulaion, Adelaide, Ausralia, 6 December 3 www.mssanz.org.au/modsim3 Robus esimaion based on he firs- and hird-momen resricions of he power ransformaion Nawaa,
More informationStopping 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 informationME 391 Mechanical Engineering Analysis
Fall 04 ME 39 Mechanical Engineering Analsis Eam # Soluions Direcions: Open noes (including course web posings). No books, compuers, or phones. An calculaor is fair game. Problem Deermine he posiion of
More informationLecture 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 informationBOX-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 informationON THE BEAT PHENOMENON IN COUPLED SYSTEMS
8 h ASCE Specialy Conference on Probabilisic Mechanics and Srucural Reliabiliy PMC-38 ON THE BEAT PHENOMENON IN COUPLED SYSTEMS S. K. Yalla, Suden Member ASCE and A. Kareem, M. ASCE NaHaz Modeling Laboraory,
More informationEmbedded Systems CS - ES
Embedded Sysems - - REVIEW Peri Nes - 2 - Comuing changes of markings REVIEW Firing ransiions generae new markings on each of he laces according o he following rules: When a ransiion fires from a marking
More informationTracking Adversarial Targets
A. Proofs Proof of Lemma 3. Consider he Bellman equaion λ + V π,l x, a lx, a + V π,l Ax + Ba, πax + Ba. We prove he lemma by showing ha he given quadraic form is he unique soluion of he Bellman equaion.
More informationMath Spring 2015 PRACTICE FINAL EXAM (modified from Math 2280 final exam, April 29, 2011)
ame ID number Mah 8- Sring 5 PRACTICE FIAL EXAM (modified from Mah 8 final exam, Aril 9, ) This exam is closed-book and closed-noe You may use a scienific calculaor, bu no one which is caable of grahing
More informationnon -negative cone Population dynamics motivates the study of linear models whose coefficient matrices are non-negative or positive.
LECTURE 3 Linear/Nonnegaive Marix Models x ( = Px ( A= m m marix, x= m vecor Linear sysems of difference equaions arise in several difference conexs: Linear approximaions (linearizaion Perurbaion analysis
More informationRemoving Useless Productions of a Context Free Grammar through Petri Net
Journal of Compuer Science 3 (7): 494-498, 2007 ISSN 1549-3636 2007 Science Publicaions Removing Useless Producions of a Conex Free Grammar hrough Peri Ne Mansoor Al-A'ali and Ali A Khan Deparmen of Compuer
More informationPetri Nets. Peter Marwedel TU Dortmund, Informatik /05/13 These slides use Microsoft clip arts. Microsoft copyright restrictions apply.
2 Peri Nes Peer Marwedel TU Dormund, Informaik 2 Grahics: Alexandra Nole, Gesine Marwedel, 2003 20/05/3 These slides use Microsof cli ars. Microsof coyrigh resricions aly. Models of comuaion considered
More informationSome Ramsey results for the n-cube
Some Ramsey resuls for he n-cube Ron Graham Universiy of California, San Diego Jozsef Solymosi Universiy of Briish Columbia, Vancouver, Canada Absrac In his noe we esablish a Ramsey-ype resul for cerain
More informationExercises: Similarity Transformation
Exercises: Similariy Transformaion Problem. Diagonalize he following marix: A [ 2 4 Soluion. Marix A has wo eigenvalues λ 3 and λ 2 2. Since (i) A is a 2 2 marix and (ii) i has 2 disinc eigenvalues, we
More informationKEY. Math 334 Midterm III Fall 2008 sections 001 and 003 Instructor: Scott Glasgow
KEY Mah 334 Miderm III Fall 28 secions and 3 Insrucor: Sco Glasgow Please do NOT wrie on his exam. No credi will be given for such work. Raher wrie in a blue book, or on your own paper, preferably engineering
More informationt 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 informationWe just finished the Erdős-Stone Theorem, and ex(n, F ) (1 1/(χ(F ) 1)) ( n
Lecure 3 - Kövari-Sós-Turán Theorem Jacques Versraëe jacques@ucsd.edu We jus finished he Erdős-Sone Theorem, and ex(n, F ) ( /(χ(f ) )) ( n 2). So we have asympoics when χ(f ) 3 bu no when χ(f ) = 2 i.e.
More informationSUFFICIENT CONDITIONS FOR EXISTENCE SOLUTION OF LINEAR TWO-POINT BOUNDARY PROBLEM IN MINIMIZATION OF QUADRATIC FUNCTIONAL
HE PUBLISHING HOUSE PROCEEDINGS OF HE ROMANIAN ACADEMY, Series A, OF HE ROMANIAN ACADEMY Volume, Number 4/200, pp 287 293 SUFFICIEN CONDIIONS FOR EXISENCE SOLUION OF LINEAR WO-POIN BOUNDARY PROBLEM IN
More informationVanishing Viscosity Method. There are another instructive and perhaps more natural discontinuous solutions of the conservation law
Vanishing Viscosiy Mehod. There are anoher insrucive and perhaps more naural disconinuous soluions of he conservaion law (1 u +(q(u x 0, he so called vanishing viscosiy mehod. This mehod consiss in viewing
More informationPhysics 235 Chapter 2. Chapter 2 Newtonian Mechanics Single Particle
Chaper 2 Newonian Mechanics Single Paricle In his Chaper we will review wha Newon s laws of mechanics ell us abou he moion of a single paricle. Newon s laws are only valid in suiable reference frames,
More informationODEs 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 informationTwo 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 informationPetri Nets. Peter Marwedel TU Dortmund, Informatik 年 10 月 31 日. technische universität dortmund. fakultät für informatik informatik 12
Sringer, 2 2 Peri Nes Peer Marwedel TU Dormund, Informaik 2 22 年 月 3 日 These slides use Microsof cli ars. Microsof coyrigh resricions aly. Models of comuaion considered in his course Communicaion/ local
More informationMath 334 Fall 2011 Homework 11 Solutions
Dec. 2, 2 Mah 334 Fall 2 Homework Soluions Basic Problem. Transform he following iniial value problem ino an iniial value problem for a sysem: u + p()u + q() u g(), u() u, u () v. () Soluion. Le v u. Then
More informationTimed 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 informationLecture Notes 2. The Hilbert Space Approach to Time Series
Time Series Seven N. Durlauf Universiy of Wisconsin. Basic ideas Lecure Noes. The Hilber Space Approach o Time Series The Hilber space framework provides a very powerful language for discussing he relaionship
More information8. Basic RL and RC Circuits
8. Basic L and C Circuis This chaper deals wih he soluions of he responses of L and C circuis The analysis of C and L circuis leads o a linear differenial equaion This chaper covers he following opics
More informationLinear Response Theory: The connection between QFT and experiments
Phys540.nb 39 3 Linear Response Theory: The connecion beween QFT and experimens 3.1. Basic conceps and ideas Q: How do we measure he conduciviy of a meal? A: we firs inroduce a weak elecric field E, and
More informationModel Reduction for Dynamical Systems Lecture 6
Oo-von-Guericke Universiä Magdeburg Faculy of Mahemaics Summer erm 07 Model Reducion for Dynamical Sysems ecure 6 v eer enner and ihong Feng Max lanck Insiue for Dynamics of Complex echnical Sysems Compuaional
More informationHamilton Jacobi equations
Hamilon Jacobi equaions Inoducion o PDE The rigorous suff from Evans, mosly. We discuss firs u + H( u = 0, (1 where H(p is convex, and superlinear a infiniy, H(p lim p p = + This by comes by inegraion
More informationEXERCISES FOR SECTION 1.5
1.5 Exisence and Uniqueness of Soluions 43 20. 1 v c 21. 1 v c 1 2 4 6 8 10 1 2 2 4 6 8 10 Graph of approximae soluion obained using Euler s mehod wih = 0.1. Graph of approximae soluion obained using Euler
More informationProblemas das Aulas Práticas
Mesrado Inegrado em Engenharia Elecroécnica e de Compuadores Conrolo em Espaço de Esados Problemas das Aulas Práicas J. Miranda Lemos Fevereiro de 3 Translaed o English by José Gaspar, 6 J. M. Lemos, IST
More informationSZG Macro 2011 Lecture 3: Dynamic Programming. SZG macro 2011 lecture 3 1
SZG Macro 2011 Lecure 3: Dynamic Programming SZG macro 2011 lecure 3 1 Background Our previous discussion of opimal consumpion over ime and of opimal capial accumulaion sugges sudying he general decision
More informationA 2-Approximation Algorithm for Stochastic Inventory Control Models with Lost Sales
A 2-Aroximaion Algorihm for Sochasic Invenory Conrol Models wih Los Sales Resef Levi Sloan School of Managemen, MIT, Cambridge, MA, 02139, USA email: resef@mi.edu Ganesh Janakiraman IOMS-OM Grou, Sern
More informationSignal and System (Chapter 3. Continuous-Time Systems)
Signal and Sysem (Chaper 3. Coninuous-Time Sysems) Prof. Kwang-Chun Ho kwangho@hansung.ac.kr Tel: 0-760-453 Fax:0-760-4435 1 Dep. Elecronics and Informaion Eng. 1 Nodes, Branches, Loops A nework wih b
More informationON THE DEGREES OF RATIONAL KNOTS
ON THE DEGREES OF RATIONAL KNOTS DONOVAN MCFERON, ALEXANDRA ZUSER Absrac. In his paper, we explore he issue of minimizing he degrees on raional knos. We se a bound on hese degrees using Bézou s heorem,
More informationR t. C t P t. + u t. C t = αp t + βr t + v t. + β + w t
Exercise 7 C P = α + β R P + u C = αp + βr + v (a) (b) C R = α P R + β + w (c) Assumpions abou he disurbances u, v, w : Classical assumions on he disurbance of one of he equaions, eg. on (b): E(v v s P,
More informationInventory Analysis and Management. Multi-Period Stochastic Models: Optimality of (s, S) Policy for K-Convex Objective Functions
Muli-Period Sochasic Models: Opimali of (s, S) Polic for -Convex Objecive Funcions Consider a seing similar o he N-sage newsvendor problem excep ha now here is a fixed re-ordering cos (> 0) for each (re-)order.
More informationBook Corrections for Optimal Estimation of Dynamic Systems, 2 nd Edition
Boo Correcions for Opimal Esimaion of Dynamic Sysems, nd Ediion John L. Crassidis and John L. Junins November 17, 017 Chaper 1 This documen provides correcions for he boo: Crassidis, J.L., and Junins,
More informationExpert Advice for Amateurs
Exper Advice for Amaeurs Ernes K. Lai Online Appendix - Exisence of Equilibria The analysis in his secion is performed under more general payoff funcions. Wihou aking an explici form, he payoffs of he
More informationMathematical Model of Reproduction System for Multivariate Dynamic Balance of Production and Consumption
Journal of Progressive Research in Mahemaics(JPRM) SCITECH olume, Issue 3 RESEARCH ORGANISATION Published online: Seember 0, 07 Journal of Progressive Research in Mahemaics www.sciecresearch.com/journals
More informationEcon107 Applied Econometrics Topic 7: Multicollinearity (Studenmund, Chapter 8)
I. Definiions and Problems A. Perfec Mulicollineariy Econ7 Applied Economerics Topic 7: Mulicollineariy (Sudenmund, Chaper 8) Definiion: Perfec mulicollineariy exiss in a following K-variable regression
More informationChapter 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 informationLinear Control System EE 711. Design. Lecture 8 Dr. Mostafa Abdel-geliel
Linear Conrol Sysem EE 7 MIMO Sae Space Analysis and Design Lecure 8 Dr. Mosafa Abdel-geliel Course Conens Review Sae Space SS modeling and analysis Sae feed back design Oupu feedback design Observer design
More information0.1 MAXIMUM LIKELIHOOD ESTIMATION EXPLAINED
0.1 MAXIMUM LIKELIHOOD ESTIMATIO EXPLAIED Maximum likelihood esimaion is a bes-fi saisical mehod for he esimaion of he values of he parameers of a sysem, based on a se of observaions of a random variable
More informationBU Macro BU Macro Fall 2008, Lecture 4
Dynamic Programming BU Macro 2008 Lecure 4 1 Ouline 1. Cerainy opimizaion problem used o illusrae: a. Resricions on exogenous variables b. Value funcion c. Policy funcion d. The Bellman equaion and an
More informationPattern 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 informationThe Arcsine Distribution
The Arcsine Disribuion Chris H. Rycrof Ocober 6, 006 A common heme of he class has been ha he saisics of single walker are ofen very differen from hose of an ensemble of walkers. On he firs homework, we
More informationSTATE-SPACE MODELLING. A mass balance across the tank gives:
B. Lennox and N.F. Thornhill, 9, Sae Space Modelling, IChemE Process Managemen and Conrol Subjec Group Newsleer STE-SPACE MODELLING Inroducion: Over he pas decade or so here has been an ever increasing
More informationT L. t=1. Proof of Lemma 1. Using the marginal cost accounting in Equation(4) and standard arguments. t )+Π RB. t )+K 1(Q RB
Elecronic Companion EC.1. Proofs of Technical Lemmas and Theorems LEMMA 1. Le C(RB) be he oal cos incurred by he RB policy. Then we have, T L E[C(RB)] 3 E[Z RB ]. (EC.1) Proof of Lemma 1. Using he marginal
More information. Now define y j = log x j, and solve the iteration.
Problem 1: (Disribued Resource Allocaion (ALOHA!)) (Adaped from M& U, Problem 5.11) In his problem, we sudy a simple disribued proocol for allocaing agens o shared resources, wherein agens conend for resources
More informationLecture 10: The Poincaré Inequality in Euclidean space
Deparmens of Mahemaics Monana Sae Universiy Fall 215 Prof. Kevin Wildrick n inroducion o non-smooh analysis and geomery Lecure 1: The Poincaré Inequaliy in Euclidean space 1. Wha is he Poincaré inequaliy?
More informationStability analysis of semiconductor manufacturing process with EWMA run-to-run controllers
Sabiliy analysis of semiconducor manufacuring rocess wih EWMA run-o-run conrollers Bing Ai a, David Shan-Hill Wong b, Shi-Shang Jang b a Dearmen of Comuer Science, Universiy of exas a Ausin, exas, USA
More information4.1 Other Interpretations of Ridge Regression
CHAPTER 4 FURTHER RIDGE THEORY 4. Oher Inerpreaions of Ridge Regression In his secion we will presen hree inerpreaions for he use of ridge regression. The firs one is analogous o Hoerl and Kennard reasoning
More informationDecentralized Stochastic Control with Partial History Sharing: A Common Information Approach
1 Decenralized Sochasic Conrol wih Parial Hisory Sharing: A Common Informaion Approach Ashuosh Nayyar, Adiya Mahajan and Demoshenis Tenekezis arxiv:1209.1695v1 [cs.sy] 8 Sep 2012 Absrac A general model
More informationOn Boundedness of Q-Learning Iterates for Stochastic Shortest Path Problems
MATHEMATICS OF OPERATIONS RESEARCH Vol. 38, No. 2, May 2013, pp. 209 227 ISSN 0364-765X (prin) ISSN 1526-5471 (online) hp://dx.doi.org/10.1287/moor.1120.0562 2013 INFORMS On Boundedness of Q-Learning Ieraes
More informationSection 3.5 Nonhomogeneous Equations; Method of Undetermined Coefficients
Secion 3.5 Nonhomogeneous Equaions; Mehod of Undeermined Coefficiens Key Terms/Ideas: Linear Differenial operaor Nonlinear operaor Second order homogeneous DE Second order nonhomogeneous DE Soluion o homogeneous
More informationFast 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 informationHamilton- J acobi Equation: Weak S olution We continue the study of the Hamilton-Jacobi equation:
M ah 5 7 Fall 9 L ecure O c. 4, 9 ) Hamilon- J acobi Equaion: Weak S oluion We coninue he sudy of he Hamilon-Jacobi equaion: We have shown ha u + H D u) = R n, ) ; u = g R n { = }. ). In general we canno
More informationOptimality Conditions for Unconstrained Problems
62 CHAPTER 6 Opimaliy Condiions for Unconsrained Problems 1 Unconsrained Opimizaion 11 Exisence Consider he problem of minimizing he funcion f : R n R where f is coninuous on all of R n : P min f(x) x
More informationPMT. Version. General Certificate of Education (A-level) January 2013 MPC4. Mathematics. (Specification 6360) Pure Core 4. Final.
Version General Cerificae of Educaion (A-level) January 0 Mahemaics MPC (Secificaion 660) Pure Core Final Mark Scheme Mark schemes are reared by he Princial Examiner and considered, ogeher wih he relevan
More informationRecursive Least-Squares Fixed-Interval Smoother Using Covariance Information based on Innovation Approach in Linear Continuous Stochastic Systems
8 Froniers in Signal Processing, Vol. 1, No. 1, July 217 hps://dx.doi.org/1.2266/fsp.217.112 Recursive Leas-Squares Fixed-Inerval Smooher Using Covariance Informaion based on Innovaion Approach in Linear
More informationHamilton- J acobi Equation: Explicit Formulas In this lecture we try to apply the method of characteristics to the Hamilton-Jacobi equation: u t
M ah 5 2 7 Fall 2 0 0 9 L ecure 1 0 O c. 7, 2 0 0 9 Hamilon- J acobi Equaion: Explici Formulas In his lecure we ry o apply he mehod of characerisics o he Hamilon-Jacobi equaion: u + H D u, x = 0 in R n
More informationModeling Economic Time Series with Stochastic Linear Difference Equations
A. Thiemer, SLDG.mcd, 6..6 FH-Kiel Universiy of Applied Sciences Prof. Dr. Andreas Thiemer e-mail: andreas.hiemer@fh-kiel.de Modeling Economic Time Series wih Sochasic Linear Difference Equaions Summary:
More informationAn Introduction to Backward Stochastic Differential Equations (BSDEs) PIMS Summer School 2016 in Mathematical Finance.
1 An Inroducion o Backward Sochasic Differenial Equaions (BSDEs) PIMS Summer School 2016 in Mahemaical Finance June 25, 2016 Chrisoph Frei cfrei@ualbera.ca This inroducion is based on Touzi [14], Bouchard
More informationComments on Window-Constrained Scheduling
Commens on Window-Consrained Scheduling Richard Wes Member, IEEE and Yuing Zhang Absrac This shor repor clarifies he behavior of DWCS wih respec o Theorem 3 in our previously published paper [1], and describes
More informationEconometric Methods for Modelling Systems with a Mixture of I(1) and I(0) Variables # Summary
Economeric Mehods for Modelling Sysems wih a Mixure of I() and I(0) Variables # Lance A. Fisher, Hyeon seung Huh, Adrian R. Pagan Summary This aer considers srucural models when boh I() and I(0) variables
More informationLet us start with a two dimensional case. We consider a vector ( x,
Roaion marices We consider now roaion marices in wo and hree dimensions. We sar wih wo dimensions since wo dimensions are easier han hree o undersand, and one dimension is a lile oo simple. However, our
More informationA DELAY-DEPENDENT STABILITY CRITERIA FOR T-S FUZZY SYSTEM WITH TIME-DELAYS
A DELAY-DEPENDENT STABILITY CRITERIA FOR T-S FUZZY SYSTEM WITH TIME-DELAYS Xinping Guan ;1 Fenglei Li Cailian Chen Insiue of Elecrical Engineering, Yanshan Universiy, Qinhuangdao, 066004, China. Deparmen
More informationResearch Article Existence and Uniqueness of Periodic Solution for Nonlinear Second-Order Ordinary Differential Equations
Hindawi Publishing Corporaion Boundary Value Problems Volume 11, Aricle ID 19156, 11 pages doi:1.1155/11/19156 Research Aricle Exisence and Uniqueness of Periodic Soluion for Nonlinear Second-Order Ordinary
More informationBoundedness and Exponential Asymptotic Stability in Dynamical Systems with Applications to Nonlinear Differential Equations with Unbounded Terms
Advances in Dynamical Sysems and Applicaions. ISSN 0973-531 Volume Number 1 007, pp. 107 11 Research India Publicaions hp://www.ripublicaion.com/adsa.hm Boundedness and Exponenial Asympoic Sabiliy in Dynamical
More information