I. Introduction to place/transition nets. Place/Transition Nets I. Example: a vending machine. Example: a vending machine
|
|
- Kristina Howard
- 5 years ago
- Views:
Transcription
1 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, Humbold-Universiä zu Berlin I. Inroducion o place/ransiion nes II. Basic analysis echniques An example eaures of PT-nes PT-nes vs EN-sysems ormal definiions PT-ne Occurrence sequence, reachabiliy Marking graph Behavioral properies Deadlock, Liveness Boundedness, 1-safey Reversibiliy Exensions Capaciies Complemen places Inhibior arcs 1 ready for erion iem ready o rejec er ep Conrol srucure: ready for erion iem ready o er rejec ep Adding concurren capaciy one ready for erion iem rejec ready o er ep er rejec ep ep an EN sysem is behaviour 4 iem er rejec Adding concurren capaciy four ready for erion iem rejec er Add unbounded couners: ready for erion iem rejec er s ready o ep ready o ep disp rej disp rej disp rej disp rej rej 5 er er er er iem rejec iem rejec iem rejec rejec... iem 6 ep ep ep ep 1
2 Adding arc weighs: Adding capaciies: ready for erion er ready for erion er iem rejec selling pairwise iem rejec ready o ready for erion iem rejec ep er soring pairwise k=4 ready o ep ready for erion er iem rejec ready o ep 7 ready o ep 8 P/T Nes generalize EN sysems Each conac free EN sysem is a 1-safe marked PT ne Terminology in EN sysems: in P/T nes condiion place even ransiion case, sae marking c condiions m : places {0,1,...} sequenial case graph marking graph (reachabiliy graph, sae graph) ormal definiion A place/ransiion ne consiss of: S se of places, [german: Sellen ], finie T se of ransiions, finie, disjoin o S flow relaion, (S x T) (T x S) [S,T,] is a ne k parial capaciy resricion, k: S {1,,,...} { } w arc weigh funcion, w: {1,,,...} m 0 - he iniial marking, m 0 : S {0,1,,...} s.. s S, m 0 (s) k(s) a marking 9 [S,T,,k,w,m 0 ] 10 Occurrence Rule Occurrence sequences, reachabiliy k=4 m m m [ > m k=4 m 0 1 m... n m n Transiion is enabled a marking m if for [s,] : w(s,) m(s) and for [,s] : m(s) + w(,s) k(s) Successor marking: m(s) if [s,] [,s] m(s) w(s,) if [s,] [,s] m (s) = m(s) + w(,s) if [s,] [,s] 11 m(s) w(s,) + w(,s) if [s,] [,s] 1... n is finie occurrence sequence m n is reachable from m 0 [m 0 > - he se of all reachable markings m 0 1 m... n is infinie occurrence sequence 1
3 1 s 1 s Marking graph (110) (101) 1 1 (00) (011) (00) Marking graph = direced edge-labeled graph wih iniial verex - verices = reachable markings - iniial verex = m 0 - labeled edges = m m A marked ne is Behavioral properies erminaing has only finie occurrence sequences deadlock-free each marking enables a ransiion live each reachable marking enables an occurrence sequence conaining all ransiions bounded each place has a bound b(s): m(s) b(s), for all reachable markings m 1-safe b(s) = 1 is a bound for all places reversible always possible o reurn o m 0 Our vending machines are deadlock-free and live. We had 1-safe, bounded, and unbounded versions. The bounded vending machines are reversible. occurrence sequence = direced pah saring a m urher examples 1 4 urher examples deadlock-free, no live 4 no deadlock-free live = no reachable marking where a ransiion is dead (canno become enabled again) deadlock = verex wihou successor deadlock-free no erminaing ,, dead Why? Boundedness bounded = finiely many reachable markings finiely many reachable markings ake max. number of okens as bound urher examples safe, deadlock-free, no live, no reversible 45 bounded m(s) beween 0,...,b(s) b(s) + 1 possibiliies max. (b(s 1 )+1) (b(s )+1)...(b(s n )+1) differen markings finiely many 1-safe ne has up o n reachable markings unbounded, no reversible unbounded, reversible safe, live, no reversible reversible = marking graph srongly conneced 18
4 k=4 Subsiuing capaciies Every ne wih capaciies can be replaced by one wihou! ready for erion iem rejec er Weak capaciies k= Consrucion: complemen ready o ready for erion iem rejec ep er... does no quie implemen original enabling rule, bu: enabled a m if - m(s) w(s,) for [s,] [,s] - m(s) + w(,s) k(s) for [s,] [,s] - m(s) w(s,) + w(,s) k(s) for [s,] [,s] place 19 bu: for finie k(s), s is k(s)-bounded 0 ready o ep Srong capaciies Consrucion: k= Inhibior arcs only enabled if m(s) = 0 s - implemens original enabling rule: enabled a m if - m(s) w(s,) for [s,] - m(s) + w(,s) k(s) for [,s] -generalizes conac in EN sysems: EN sysem = marked PT ne - no arc weighs - k(s) = 1 (srong!) for all places s 1 If k(s) is finie, consrucion: k= II. Basic analysis echniques Linear algebra Marking equaion Place invarians Transiion invarians Srucural ecchniques Siphons Traps Siphon/rap propery Resriced ne classes Sae machine Marked graph ree choice ne Causal semanics Occurrence ne Process ne Marking, ransiion as vecor s 1 1 s 5 s 4 m 0 : ( 4, 0, 0, 0, 1 ) s 5 4 = ( -1, 1, 1, 0, -1 ) If m 0 m 1 hen m 0 + = m 1 = (, 1, 1, 0, 0 ) 4 4
5 1 Marix represenaion of a ne s 1 (N) = s 5 s s 5 5 The marking equaion If m m hen m = m m 0 + (1 1 ) + (1 ) + ( ) + (0 4 ) + (1 5 ) = m m 0 + (N) (1,1,,0,1) = m If m 0 m hen m 0 + (N) Parikh() = m A marking is only reachable if (N) x = (m m 0 ) has a soluion for na. x Parikh-Vecor of Example 4 5 Place invarians Process 1 Example: muual exclusion Process reachable markings: corresponding soluaions s 1 s ( 1, 0, 0, 0, 0 ) ( 0, 0, 0, 0, 0), ( 1, 0, 1, 0, 1),... ( 0, 1, 0, 0, 1 ) ( 1, 0, 0, 0, 0),... ( 0, 0, 1, 1, 0 ) ( 0, 1, 0, 0, 0),... ( 0, 0, 0, 1, 1 ) ( 1, 0, 1, 0, 0), ( 0, 1, 0, 1, 0),... ener cs ener cs muex: m reachable m(s ) + m(s 4 ) 1 use place invarian non-reachable marking has also soluions! ( 0, 1, 1, 0, 0 ) ( 1, 1, 0, 0, 1),... 7 Proof: 1. m(s ) + m( ) + m(s 4 ) = 1 iniially rue. m(s ) + m( ) + m(s 4 ) = 1 is sable. m(s ) + m( ) + m(s 4 ) = 1 m(s ) + m(s 4 ) 1 8 Place invarian i Def. 1: for all, Σ [s,] w(s) i(s) = Σ [,s] w(s) i(s) Def. : for all, i = 0 Def. : i (N) = (0,...,0) Place invarians Process 1 Process s 1 s ener cs ener cs If m reachable from m 0 hen i m= i m 0 Proof: m 0 s m m 0 + (N) Parikh(s) = m i m 0 + i (N) Parikh(s) = i m ( = 0 ) i m 0 = i m 9 ( 0, 1, 1, 1, 0 ) is place invarian i m 0 = 1 = i m= m(s ) + m( ) + m(s 4 ) for all reachable m m(s ) + m( ) + m(s 4 ) = 1 is sable. 0 5
6 urher place invarians Place invarians and liveness Process 1 Process ener cs s 1 s ener cs ( 0, 1, 1, 1, 0 ) muual exclusion ( 0, 1, 1, 0, -1) m(s ) + m( ) = m(s 5 ) - if s is marked hen s 5 is marked ( 1, 1, 0, 0, 0 ) m(s 1 ) + m(s ) = 1 or all PT nes, for all place invarians i -live - no negaive enries : i m 0 > 0 -no isolaed places - some posiive enry s (oherwise ransiions conneced wih s are dead) Process 1 Process ener cs s 1 s ener cs m(s ) 1, m(s ) 1, s,s bounded ( 0, 1, 1, 1, 0 ) ( 1, 1,0, 0, 0 ) ( 0, 0, 0, 1, 1 ) Place invarians and boundedness if exiss place invarian i - for all s, i(s) > 0 ne is bounded Proof: m reachable i m= i m 0 i(s) m(s) i m= i m 0 m(s) i m 0 / i(s) Process 1 Process s 1 s Place invarians and reachabiliy -m unreachable -for all place invarians i: i m= i m 0 no place invarian is able o prove non-reachabiliy of m -Marking equaion (N) x = (m m 0 ) : no soluion in naurals marking equaion is able o prove non-reachabiliy of m - Marking equaion does have raional soluion: (1, 0, 1, ½, ½) ener cs ( 1,,1,, 1 ) ener cs There is a place invarian i s.. i m i m 0 if and only if marking equaion does no have raional soluion 4 modulo invarians Transiion invarians = soluions of (N) y = (0,...,0) Process 1 Process s 1 s ener cs ener cs ( 1, 1, 0, 0 ) ( 0, 0, 1, 1 ) (,, 1, 1 ) Transiion invarians, liveness, boundedness ne here is ransiion invarian j - live - for all, j() > 0 - bounded Proof: By liveness: m 0 1 m 1 m m... all ransiions By boundedness: for some i < j: m i =m j all ransiions all ransiions... m 0 m m 0 = m if and only if Parikh() is ransiion invarian 5 m i i+1... j m j = m i Parikh( i+1... j ) is ransiion invarian. 6 6
7 Srucural echniques s1 Example 1 4 s4 s5 5 siphon once empy always empy Def.: S S if produces ino S, hen consumes from S rap once marked, always marked Def.: S S if consumes from S, hen produces ino S {s1,s4,s5} iniially marked rap! ( 0, 1, 1, 0, 0 ) unreachable (Marking equaion could no prove non-reachabiliy!) 7 8 Siphons, raps and liveness, deadlocks ne - live every siphon ( ) iniially marke - no isolaed places (ransiions conneced o empy siphon are dead) Resriced ne classes ne - has a ransiion - no capaciy resricion - all arc weighs 1 ne deadlock-free -every siphon ( ) cona iniially marked rap -every ransiion has exacly one pre-place -every ransiion has exacly one pos-place -all arc weighs 1 -no capaciy resricions sae machine: sae machine (Se of places unmarked a a deadlock marking is siphon. This siphon is empy does no conain marked rap - bounded - live if and only if - srongly conneced, - iniially marked cona no iniially marked rap) 9 40 Resriced ne classes {s1,s} {s,s4} {s1,s,s4} {s,s,s4} {s1,s,s,s4} Resriced ne classes s1 s 1 s s4 4 {s1,s,s,s4} -every place has exacly one pre-ransiion -every place has exacly one pos-ransiion -all arc weighs 1 -no capaciy resricions marked graph -all arc weighs 1 -no capaciy resricions -if ransiions share pre-places, hey share all heir pre-places: (s,) x s free choice ne marked graph: no free choice free choice - 1-safe if and only if each place belongs o a cycle wih exacly 1 oken - live if and only if each cycle iniially marked 41 free choice is live if and only if every siphon ( ) cona 4 iniially marked rap 7
8 produce Causal semanics of PT nes produced sen sen produce produced sen produce produced sen A consumer/producer sysem send full a causal run: send send full full receive receive consumed consume received consumed received consume Causal runs A causal run of a PT ne is a labeled Peri ne (B, E, K) ne elemen name symbol inerpreaion place condiion B oken on place ransiion even E ransiion occurrence arc causal K oken flow relaion consumed 4 44 Causal runs: Occurrence nes -no cycles K+ is parial order -no branch a condiions b 1, b 1 -evens have finie fan-in, fan-ou e finie, e finie -evens have a leas one inpu, e 1, e 1 one oupu condiion -every node has finie hisory {x x n} finie occurrence ne 45 Process ne represens causal run of a PT ne = occurrence ne relaed o given PT ne labels: π: B S, E T labels a B,E -m0 agrees wih sar condiions: for all s: m0(s) = {b B b = Ø, π(b) = s} -respec ransiion viciniies π( e) = π(e), w(s,π(e)) = {b e π(b) = s} π(e ) = π(e), w(π(e),s) = {b e π(b) = s} process ne 46 Occurrence sequence vs process ne D E a b G occurrence sequences abc bac acb bca provide oal orders respecing causaliy independence arbirary inerleaving informaion abou causaliy can ge los c H process nes D E a b G c D a c E b G provide parial order lecing causaliy 47 H H 1 occurrence sequence in process nes dis rej dis dis rej dis dis rej dis dis rej 48 8
9 process nes, no common sequence dis rej dis dis rej dis dis rej 49 9
Embedded 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 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 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 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 informationStationary Distribution. Design and Analysis of Algorithms Andrei Bulatov
Saionary Disribuion Design and Analysis of Algorihms Andrei Bulaov Algorihms Markov Chains 34-2 Classificaion of Saes k By P we denoe he (i,j)-enry of i, j Sae is accessible from sae if 0 for some k 0
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 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 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 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 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 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 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 2-1 Kinematics in One Dimension Displacement, Velocity and Acceleration Everything in the world is moving. Nothing stays still.
Lecure - Kinemaics in One Dimension Displacemen, Velociy and Acceleraion Everyhing in he world is moving. Nohing says sill. Moion occurs a all scales of he universe, saring from he moion of elecrons in
More informationDesigning Information Devices and Systems I Spring 2019 Lecture Notes Note 17
EES 16A Designing Informaion Devices and Sysems I Spring 019 Lecure Noes Noe 17 17.1 apaciive ouchscreen In he las noe, we saw ha a capacior consiss of wo pieces on conducive maerial separaed by a nonconducive
More informationNotes for Lecture 17-18
U.C. Berkeley CS278: Compuaional Complexiy Handou N7-8 Professor Luca Trevisan April 3-8, 2008 Noes for Lecure 7-8 In hese wo lecures we prove he firs half of he PCP Theorem, he Amplificaion Lemma, up
More informationInstitute for Mathematical Methods in Economics. University of Technology Vienna. Singapore, May Manfred Deistler
MULTIVARIATE TIME SERIES ANALYSIS AND FORECASTING Manfred Deisler E O S Economerics and Sysems Theory Insiue for Mahemaical Mehods in Economics Universiy of Technology Vienna Singapore, May 2004 Inroducion
More information( ) ( ) if t = t. It must satisfy the identity. So, bulkiness of the unit impulse (hyper)function is equal to 1. The defining characteristic is
UNIT IMPULSE RESPONSE, UNIT STEP RESPONSE, STABILITY. Uni impulse funcion (Dirac dela funcion, dela funcion) rigorously defined is no sricly a funcion, bu disribuion (or measure), precise reamen requires
More informationReduction of the Supervisor Design Problem with Firing Vector Constraints
wih Firing Vecor Consrains Marian V. Iordache School of Engineering and Eng. Tech. LeTourneau Universiy Longview, TX 75607-700 Panos J. Ansaklis Dearmen of Elecrical Engineering Universiy of Nore Dame
More information(1) (2) Differentiation of (1) and then substitution of (3) leads to. Therefore, we will simply consider the second-order linear system given by (4)
Phase Plane Analysis of Linear Sysems Adaped from Applied Nonlinear Conrol by Sloine and Li The general form of a linear second-order sysem is a c b d From and b bc d a Differeniaion of and hen subsiuion
More informationComputer-Aided Analysis of Electronic Circuits Course Notes 3
Gheorghe Asachi Technical Universiy of Iasi Faculy of Elecronics, Telecommunicaions and Informaion Technologies Compuer-Aided Analysis of Elecronic Circuis Course Noes 3 Bachelor: Telecommunicaion Technologies
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 informationh[n] is the impulse response of the discrete-time system:
Definiion Examples Properies Memory Inveribiliy Causaliy Sabiliy Time Invariance Lineariy Sysems Fundamenals Overview Definiion of a Sysem x() h() y() x[n] h[n] Sysem: a process in which inpu signals are
More informationLecture 4 Notes (Little s Theorem)
Lecure 4 Noes (Lile s Theorem) This lecure concerns one of he mos imporan (and simples) heorems in Queuing Theory, Lile s Theorem. More informaion can be found in he course book, Bersekas & Gallagher,
More informationDynamic Programming 11/8/2009. Weighted Interval Scheduling. Weighted Interval Scheduling. Unweighted Interval Scheduling: Review
//9 Algorihms Dynamic Programming - Weighed Ineral Scheduling Dynamic Programming Weighed ineral scheduling problem. Insance A se of n jobs. Job j sars a s j, finishes a f j, and has weigh or alue j. Two
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 informationHybrid Control and Switched Systems. Lecture #3 What can go wrong? Trajectories of hybrid systems
Hybrid Conrol and Swiched Sysems Lecure #3 Wha can go wrong? Trajecories of hybrid sysems João P. Hespanha Universiy of California a Sana Barbara Summary 1. Trajecories of hybrid sysems: Soluion o a hybrid
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 informationAdaptation and Synchronization over a Network: stabilization without a reference model
Adapaion and Synchronizaion over a Nework: sabilizaion wihou a reference model Travis E. Gibson (gibson@mi.edu) Harvard Medical School Deparmen of Pahology, Brigham and Women s Hospial 55 h Conference
More informationAn Excursion into Set Theory using a Constructivist Approach
An Excursion ino Se Theory using a Consrucivis Approach Miderm Repor Nihil Pail under supervision of Ksenija Simic Fall 2005 Absrac Consrucive logic is an alernaive o he heory of classical logic ha draws
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 information11!Hí MATHEMATICS : ERDŐS AND ULAM PROC. N. A. S. of decomposiion, properly speaking) conradics he possibiliy of defining a counably addiive real-valu
ON EQUATIONS WITH SETS AS UNKNOWNS BY PAUL ERDŐS AND S. ULAM DEPARTMENT OF MATHEMATICS, UNIVERSITY OF COLORADO, BOULDER Communicaed May 27, 1968 We shall presen here a number of resuls in se heory concerning
More informationA NOTE ON THE STRUCTURE OF BILATTICES. A. Avron. School of Mathematical Sciences. Sackler Faculty of Exact Sciences. Tel Aviv University
A NOTE ON THE STRUCTURE OF BILATTICES A. Avron School of Mahemaical Sciences Sacler Faculy of Exac Sciences Tel Aviv Universiy Tel Aviv 69978, Israel The noion of a bilaice was rs inroduced by Ginsburg
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 informationLogic in computer science
Logic in compuer science Logic plays an imporan role in compuer science Logic is ofen called he calculus of compuer science Logic plays a similar role in compuer science o ha played by calculus in he physical
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 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 informationCHAPTER 12 DIRECT CURRENT CIRCUITS
CHAPTER 12 DIRECT CURRENT CIUITS DIRECT CURRENT CIUITS 257 12.1 RESISTORS IN SERIES AND IN PARALLEL When wo resisors are conneced ogeher as shown in Figure 12.1 we said ha hey are conneced in series. As
More informationContinuous Time Linear Time Invariant (LTI) Systems. Dr. Ali Hussein Muqaibel. Introduction
/9/ Coninuous Time Linear Time Invarian (LTI) Sysems Why LTI? Inroducion Many physical sysems. Easy o solve mahemaically Available informaion abou analysis and design. We can apply superposiion LTI Sysem
More informationFinal Exam Advanced Macroeconomics I
Advanced Macroeconomics I WS 00/ Final Exam Advanced Macroeconomics I February 8, 0 Quesion (5%) An economy produces oupu according o α α Y = K (AL) of which a fracion s is invesed. echnology A is exogenous
More informationMODELLING, ANALYSING AND CONTROL OF INTERACTIONS AMONG AGENTS IN MAS
Compuing and Informaics, Vol. 26, 2007, 507 541 MODELLING, ANALYSING AND CONTROL OF INTERACTIONS AMONG AGENTS IN MAS Franišek Čapkovič Insiue of Informaics Slovak Academy of Sciences Dúbravská cesa 9 845
More informationChapter 2: Logical levels, timing and delay
28.1.216 haper 2: Logical levels, iming and delay Dr.-ng. Sefan Werner Winersemeser 216/17 Table of conen haper 1: Swiching lgebra haper 2: Logical Levels, Timing & Delays haper 3: Karnaugh-Veich-Maps
More information4.1 - Logarithms and Their Properties
Chaper 4 Logarihmic Funcions 4.1 - Logarihms and Their Properies Wha is a Logarihm? We define he common logarihm funcion, simply he log funcion, wrien log 10 x log x, as follows: If x is a posiive number,
More informationLongest Common Prefixes
Longes Common Prefixes The sandard ordering for srings is he lexicographical order. I is induced by an order over he alphabe. We will use he same symbols (,
More informationSolution: b All the terms must have the dimension of acceleration. We see that, indeed, each term has the units of acceleration
PHYS 54 Tes Pracice Soluions Spring 8 Q: [4] Knowing ha in he ne epression a is acceleraion, v is speed, is posiion and is ime, from a dimensional v poin of view, he equaion a is a) incorrec b) correc
More informationLanguages That Are and Are Not Context-Free
Languages Tha re and re No Conex-Free Read K & S 3.5, 3.6, 3.7. Read Supplemenary Maerials: Conex-Free Languages and Pushdown uomaa: Closure Properies of Conex-Free Languages Read Supplemenary Maerials:
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 information5.1 - Logarithms and Their Properties
Chaper 5 Logarihmic Funcions 5.1 - Logarihms and Their Properies Suppose ha a populaion grows according o he formula P 10, where P is he colony size a ime, in hours. When will he populaion be 2500? We
More informationNetwork 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 informationTopics in Combinatorial Optimization May 11, Lecture 22
8.997 Topics in Combinaorial Opimizaion May, 004 Lecure Lecurer: Michel X. Goemans Scribe: Alanha Newman Muliflows an Disjoin Pahs Le G = (V,E) be a graph an le s,,s,,...s, V be erminals. Our goal is o
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 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 informationSignals and Systems Profs. Byron Yu and Pulkit Grover Fall Midterm 1 Solutions
8-90 Signals and Sysems Profs. Byron Yu and Pulki Grover Fall 07 Miderm Soluions Name: Andrew ID: Problem Score Max 0 8 4 6 5 0 6 0 7 8 9 0 6 Toal 00 Miderm Soluions. (0 poins) Deermine wheher he following
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 informationMethodology. -ratios are biased and that the appropriate critical values have to be increased by an amount. that depends on the sample size.
Mehodology. Uni Roo Tess A ime series is inegraed when i has a mean revering propery and a finie variance. I is only emporarily ou of equilibrium and is called saionary in I(0). However a ime series ha
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 informationChapter 7 Response of First-order RL and RC Circuits
Chaper 7 Response of Firs-order RL and RC Circuis 7.- The Naural Response of RL and RC Circuis 7.3 The Sep Response of RL and RC Circuis 7.4 A General Soluion for Sep and Naural Responses 7.5 Sequenial
More informationGround Rules. PC1221 Fundamentals of Physics I. Kinematics. Position. Lectures 3 and 4 Motion in One Dimension. A/Prof Tay Seng Chuan
Ground Rules PC11 Fundamenals of Physics I Lecures 3 and 4 Moion in One Dimension A/Prof Tay Seng Chuan 1 Swich off your handphone and pager Swich off your lapop compuer and keep i No alking while lecure
More informationt dt t SCLP Bellman (1953) CLP (Dantzig, Tyndall, Grinold, Perold, Anstreicher 60's-80's) Anderson (1978) SCLP
Coninuous Linear Programming. Separaed Coninuous Linear Programming Bellman (1953) max c () u() d H () u () + Gsusds (,) () a () u (), < < CLP (Danzig, yndall, Grinold, Perold, Ansreicher 6's-8's) Anderson
More information6.01: Introduction to EECS I Lecture 8 March 29, 2011
6.01: Inroducion o EES I Lecure 8 March 29, 2011 6.01: Inroducion o EES I Op-Amps Las Time: The ircui Absracion ircuis represen sysems as connecions of elemens hrough which currens (hrough variables) flow
More information2.7. Some common engineering functions. Introduction. Prerequisites. Learning Outcomes
Some common engineering funcions 2.7 Inroducion This secion provides a caalogue of some common funcions ofen used in Science and Engineering. These include polynomials, raional funcions, he modulus funcion
More informationPhysical Limitations of Logic Gates Week 10a
Physical Limiaions of Logic Gaes Week 10a In a compuer we ll have circuis of logic gaes o perform specific funcions Compuer Daapah: Boolean algebraic funcions using binary variables Symbolic represenaion
More informationApplication of a Stochastic-Fuzzy Approach to Modeling Optimal Discrete Time Dynamical Systems by Using Large Scale Data Processing
Applicaion of a Sochasic-Fuzzy Approach o Modeling Opimal Discree Time Dynamical Sysems by Using Large Scale Daa Processing AA WALASZE-BABISZEWSA Deparmen of Compuer Engineering Opole Universiy of Technology
More informationContinuous Time. Time-Domain System Analysis. Impulse Response. Impulse Response. Impulse Response. Impulse Response. ( t) + b 0.
Time-Domain Sysem Analysis Coninuous Time. J. Robers - All Righs Reserved. Edied by Dr. Rober Akl 1. J. Robers - All Righs Reserved. Edied by Dr. Rober Akl 2 Le a sysem be described by a 2 y ( ) + a 1
More informationMaximum Flow and Minimum Cut
// Sovie Rail Nework, Maximum Flow and Minimum Cu Max flow and min cu. Two very rich algorihmic problem. Cornerone problem in combinaorial opimizaion. Beauiful mahemaical dualiy. Nework Flow Flow nework.
More informationOptimal Server Assignment in Multi-Server
Opimal Server Assignmen in Muli-Server 1 Queueing Sysems wih Random Conneciviies Hassan Halabian, Suden Member, IEEE, Ioannis Lambadaris, Member, IEEE, arxiv:1112.1178v2 [mah.oc] 21 Jun 2013 Yannis Viniois,
More information23.2. Representing Periodic Functions by Fourier Series. Introduction. Prerequisites. Learning Outcomes
Represening Periodic Funcions by Fourier Series 3. Inroducion In his Secion we show how a periodic funcion can be expressed as a series of sines and cosines. We begin by obaining some sandard inegrals
More information15. 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 informationIntroduction D P. r = constant discount rate, g = Gordon Model (1962): constant dividend growth rate.
Inroducion Gordon Model (1962): D P = r g r = consan discoun rae, g = consan dividend growh rae. If raional expecaions of fuure discoun raes and dividend growh vary over ime, so should he D/P raio. Since
More informationTheory of! Partial Differential Equations!
hp://www.nd.edu/~gryggva/cfd-course/! Ouline! Theory o! Parial Dierenial Equaions! Gréar Tryggvason! Spring 011! Basic Properies o PDE!! Quasi-linear Firs Order Equaions! - Characerisics! - Linear and
More informationThe motions of the celt on a horizontal plane with viscous friction
The h Join Inernaional Conference on Mulibody Sysem Dynamics June 8, 18, Lisboa, Porugal The moions of he cel on a horizonal plane wih viscous fricion Maria A. Munisyna 1 1 Moscow Insiue of Physics and
More informationSynthesis of the Supervising Agent in MAS
Synhesis of he Supervising Agen in MAS Franišek Čapkovič Insiue of Informaics, Slovak Academy of Sciences Dúbravská cesa 9, 845 07 Braislava, Slovak Republic Franisek.Capkovic@savba.sk hp://www.ui.sav.sk/home/capkovic/capkhome.hm
More informationModal identification of structures from roving input data by means of maximum likelihood estimation of the state space model
Modal idenificaion of srucures from roving inpu daa by means of maximum likelihood esimaion of he sae space model J. Cara, J. Juan, E. Alarcón Absrac The usual way o perform a forced vibraion es is o fix
More informationProblem 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 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 informationEE363 homework 1 solutions
EE363 Prof. S. Boyd EE363 homework 1 soluions 1. LQR for a riple accumulaor. We consider he sysem x +1 = Ax + Bu, y = Cx, wih 1 1 A = 1 1, B =, C = [ 1 ]. 1 1 This sysem has ransfer funcion H(z) = (z 1)
More information4/9/2012. Signals and Systems KX5BQY EE235. Today s menu. System properties
Signals and Sysems hp://www.youube.com/v/iv6fo KX5BQY EE35 oday s menu Good weeend? Sysem properies iy Superposiion! Sysem properies iy: A Sysem is if i mees he following wo crieria: If { x( )} y( ) and
More informationTHE GEOMETRY MONOID OF AN IDENTITY
THE GEOMETRY MONOID OF AN IDENTITY Parick DEHORNOY Universié decaen Main idea: For each algebraic ideniy I, (more generally, for each family of algebraic ideniy, acually for each equaional variey), here
More informationNetwork 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 informationLAPLACE TRANSFORM AND TRANSFER FUNCTION
CHBE320 LECTURE V LAPLACE TRANSFORM AND TRANSFER FUNCTION Professor Dae Ryook Yang Spring 2018 Dep. of Chemical and Biological Engineering 5-1 Road Map of he Lecure V Laplace Transform and Transfer funcions
More information1 Solutions to selected problems
1 Soluions o seleced problems 1. Le A B R n. Show ha in A in B bu in general bd A bd B. Soluion. Le x in A. Then here is ɛ > 0 such ha B ɛ (x) A B. This shows x in B. If A = [0, 1] and B = [0, 2], hen
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 informationTime series model fitting via Kalman smoothing and EM estimation in TimeModels.jl
Time series model fiing via Kalman smoohing and EM esimaion in TimeModels.jl Gord Sephen Las updaed: January 206 Conens Inroducion 2. Moivaion and Acknowledgemens....................... 2.2 Noaion......................................
More informationLinear Dynamic Models
Linear Dnamic Models and Forecasing Reference aricle: Ineracions beween he muliplier analsis and he principle of acceleraion Ouline. The sae space ssem as an approach o working wih ssems of difference
More informationQuestion 1: Question 2: Topology Exercise Sheet 3
Topology Exercise Shee 3 Prof. Dr. Alessandro Siso Due o 14 March Quesions 1 and 6 are more concepual and should have prioriy. Quesions 4 and 5 admi a relaively shor soluion. Quesion 7 is harder, and you
More informationA combinatorial trace formula
A combinaorial race formula F. R. K. Chung Universiy of Pennsylvania Philadelphia, Pennsylvania 1914 S.-T. Yau Harvard Universiy Cambridge, Massachuses 2138 Absrac We consider he race formula in connecion
More informationStatistical Mechanics
Kno Theory and Saisical Mechanics KNOTS: A 3-dimensional loop projeced ono a 2-dimensional surface Unkno Trefoil Figure 8 LINK: The enanglemen of 2 or more loops 2 9 38 Unkno Unkno Trefoil Hopf link
More informationarxiv: v1 [stat.ml] 26 Sep 2012
Reversible MCMC on Markov equivalence classes of sparse direced acyclic graphs arxiv:1209.5860v1 [sa.ml] 26 Sep 2012 Yangbo He 1, Jinzhu Jia 2 and Bin Yu 3 1 School of Mahemaical Sciences and Cener of
More informationChapter 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 informationA Shooting Method for A Node Generation Algorithm
A Shooing Mehod for A Node Generaion Algorihm Hiroaki Nishikawa W.M.Keck Foundaion Laboraory for Compuaional Fluid Dynamics Deparmen of Aerospace Engineering, Universiy of Michigan, Ann Arbor, Michigan
More informationBasilio Bona ROBOTICA 03CFIOR 1
Indusrial Robos Kinemaics 1 Kinemaics and kinemaic funcions Kinemaics deals wih he sudy of four funcions (called kinemaic funcions or KFs) ha mahemaically ransform join variables ino caresian variables
More information16 Max-Flow Algorithms
A process canno be undersood by sopping i. Undersanding mus move wih he flow of he process, mus join i and flow wih i. The Firs Law of Mena, in Frank Herber s Dune (196) There s a difference beween knowing
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 informationRandomized 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 informationUndetermined coefficients for local fractional differential equations
Available online a www.isr-publicaions.com/jmcs J. Mah. Compuer Sci. 16 (2016), 140 146 Research Aricle Undeermined coefficiens for local fracional differenial equaions Roshdi Khalil a,, Mohammed Al Horani
More informationSolutions Problem Set 3 Macro II (14.452)
Soluions Problem Se 3 Macro II (14.452) Francisco A. Gallego 04/27/2005 1 Q heory of invesmen in coninuous ime and no uncerainy Consider he in nie horizon model of a rm facing adjusmen coss o invesmen.
More informationMATH 128A, SUMMER 2009, FINAL EXAM SOLUTION
MATH 28A, SUMME 2009, FINAL EXAM SOLUTION BENJAMIN JOHNSON () (8 poins) [Lagrange Inerpolaion] (a) (4 poins) Le f be a funcion defined a some real numbers x 0,..., x n. Give a defining equaion for he Lagrange
More informationNotes on online convex optimization
Noes on online convex opimizaion Karl Sraos Online convex opimizaion (OCO) is a principled framework for online learning: OnlineConvexOpimizaion Inpu: convex se S, number of seps T For =, 2,..., T : Selec
More informationA Black-box Identification Method for Automated Discrete Event Systems
A lack-box Idenificaion Mehod for Auomaed Discree Even Sysems Ana Paula Esrada-Vargas, E López-Mellado, Jean-Jacques Lesage To cie his version: Ana Paula Esrada-Vargas, E López-Mellado, Jean-Jacques Lesage
More informationCongruent Numbers and Elliptic Curves
Congruen Numbers and Ellipic Curves Pan Yan pyan@oksaeedu Sepember 30, 014 1 Problem In an Arab manuscrip of he 10h cenury, a mahemaician saed ha he principal objec of raional righ riangles is he following
More information