Petri Nets. Peter Marwedel TU Dortmund, Informatik /05/13 These slides use Microsoft clip arts. Microsoft copyright restrictions apply.
|
|
- Gyles Booker
- 6 years ago
- Views:
Transcription
1 2 Peri Nes Peer Marwedel TU Dormund, Informaik 2 Grahics: Alexandra Nole, Gesine Marwedel, /05/3 These slides use Microsof cli ars. Microsof coyrigh resricions aly.
2 Models of comuaion considered in his course Communicaion/ local comuaions Undefined comonens Communicaing finie sae machines Daa flow Peri nes Shared memory SaeChars (No useful) Message assing Synchronous Asynchronous Plain ex, use cases (Message) sequence chars SDL Kahn neworks, SDF C/E nes, P/T nes, Discree even (DE) model Von Neumann model VHDL*, Verilog*, SysemC*, C, C++, Java Only exerimenal sysems, e.g. disribued DE in Polemy C, C++, Java wih libraries CSP, ADA * Classificaion is based on imlemenaion of VHDL, Verilog, SysemC wih cenral queue - 2 -
3 Inroducion Inroduced in 962 by Carl Adam Peri in his PhD hesis. Focus on modeling causal deendencies; no global synchronizaion assumed (message assing only). Key elemens: Condiions Eiher me or no me. Evens May ake lace if cerain condiions are me. Flow relaion Relaes condiions and evens. Condiions, evens and he flow relaion form a biarie grah (grah wih wo kinds of nodes)
4 Examle: Synchronizaion a single rack rail segmen Precondiions - 4 -
5 Playing he oken game use normal view mode! - 5 -
6 Conflic for resource rack - 6 -
7 More comlex examle () Thalys rains beween Cologne, Amserdam, Brussels and Paris. [h://
8 s More comlex examle (2) Slighly simlified: Synchronizaion a Brussels and Paris, using saions Gare du Nord and Gare de Lyon a Paris use normal view mode! - 8 -
9 Condiion/even nes Def.: N=(C,E,F) is called a ne, iff he following holds. C and E are disjoin ses 2. F (C E) (E C); is binary relaion, ( flow relaion ) - 9 -
10 Pre- and os-ses Def.: Le N be a ne and le x (C E). x := {y y F x} is called he re-se of x, (or recondiions if x E) x := {y x F y} is called he se of os-se of x, (or oscondiions if x E) Examle: x x x - 0 -
11 Loos and ure nes Def.: Le (c,e) C E. (c, e) is called a loo iff cfe efc. Def.: Ne N=(C,E,F) is called ure, if F does no conain any loos. - -
12 Simle nes Def.: A ne is called simle if no wo nodes n and n2 have he same re-se and os-se. Examle (no simle nes): Def.: Simle nes wih no isolaed elemens meeing some addiional resricions are called condiion/even nes (C/E nes)
13 Place/ransiion nes Def.: (P, T, F, K, W, M 0 ) is called a lace/ransiion ne iff. N=(P, T, F) is a ne wih laces P and ransiions T 2. K: P (N 0 {ω}) \{0} denoes he caaciy of laces (ω symbolizes infinie caaciy) 3. W: F (N 0 \{0}) denoes he weigh of grah edges 4. M 0 : P N 0 {ω} reresens he iniial marking of laces W (Segmen of some ne) M 0 defauls: K = ω W = - 3 -
14 Comuing changes of markings Firing ransiions generae new markings on each of he laces according o he following rules: - 4 -
15 Acivaed ransiions Transiion is acivaed iff Acivaed ransiions can ake lace or fire, bu don have o. We never alk abou ime in he conex of Peri nes. The order in which acivaed ransiions fire, is no fixed (i is non-deerminisic)
16 Shorhand for changes of markings Slide 4: Le W (, ) if \ + W (, ) if \ ( ) W (, ) + W (, ) if 0 P: M () = M()+ () = M = M + +: vecor add - 6 -
17 Marix N describing all changes of markings ( ) W (, ) if \ + W (, ) if \ = W (, ) + W (, ) if 0 Def.: Marix N of ne N is a maing N: P T Z (inegers) such ha T : N(,)= () Comonen in column and row indicaes he change of he marking of lace if ransiion akes lace. For ure nes, (N, M 0 ) is a comlee reresenaion of a ne
18 - 8 - Examle: N = s
19 Place - invarians Sandardized echnique for roving roeries of sysem models For any ransiion j T we are looking for ses R P of laces for which he accumulaed marking is consan: Examle: R j ( ) = j 0-9 -
20 Characerisic Vecor R j ( ) = 0 Le: c R ( ) = if 0 if R R 0 = ( ) = j R P j ( ) c R ( ) = j c R Scalar roduc
21 Condiion for lace invarians R j = ( ) ( ) c ( ) = c = P j R j R 0 Accumulaed marking consan for all ransiions if n c... c R R = = 0 Equivalen o N T c R = 0 where N T is he ransosed of N - 2 -
22 More deailed view of comuaions = ) (... ) ( ) ( ) ( )... (... ) ( )... ( ) ( )... ( n R R R n m m n n c c c Sysem of linear equaions. Soluion vecors mus consis of zeros and ones. Equaions wih mulile unknowns ha mus be inegers called diohanic ( Greek mahemaician Diohanos, ~300 B.C.). Diohanic linear equaion sysem more comlex o solve han sandard sysem of linear equaions (acually NP-hard)) Differen echniques for solving equaion sysem (manual,..)
23 Alicaion o Thalys examle N T c R = 0, wih N T = rows =0 linear deendency among rows rank = 0- = 9 Dimension of soluion sace = 3 - rank = 4 Soluions? Educaed guessing
24 Manually finding generaing vecors for 4-dimensional sace Se of 4 comonens = ohers = 0 o obain generaing vecors Find indeenden ses comonens in he marix afer deleing one row (7, 8, 2 easy o idenify) s or assume ha a aricular lace is included in R (e.g. 6 ), whereas laces along he ah of oher objecs (e.g., 2, 3 ) are no. 6=delee s row
25 s basis vecor Se one of comonens (6,, 2, 3) o, ohers o 0. s basis b : b ( 6 )=, b ( )=0, b ( 2 )=0, b ( 3 )=0 0 ( 0 ) b ( 0 ) + 0 ( ) b ( ) + 0 ( 3 ) b ( 3 ) = 0 b ( 0 ) = 0 9 ( 9 ) b ( 9 ) + 9 ( 0 ) b ( 0 ) = 0 b ( 9 )=0 b = (,,,,,,0,0,0,0,0,0,0) All comonens {0, } c R = b
26 Inerreaion of he s invarian c R, = ( ) c R, s Characerisic vecor describes laces for Cologne rain. We roved ha: he number of rains along he ah remains consan
27 2 nd basis vecor Se one of comonens (6,, 2, 3) o, ohers o 0. 2nd basis b 2 : b 2 ( 6 )=0, b 2 ( )=, b 2 ( 2 )=0, b 2 ( 3 )=0 0 ( 0 ) b 2 ( 0 ) + 0 ( ) b 2 ( ) + 0 ( 3 ) b 2 ( 3 ) = 0 b 2 ( 0 ) = 9 ( 9 ) b 2 ( 9 ) + 9 ( 0 ) b 2 ( 0 ) = 0 b 2 ( 9 )= b 2 = (0,-,-,-,0,0,0,0,,,,0,0) b = (,,,,,,0,0,0,0,0,0,0) b 2 no a characerisic vecor, bu c R,2 =b +b 2 is c R,2 = (,0,0,0,,,0,0,,,,0,0)
28 Inerreaion of he 2 nd invarian c R,2 c R,2 = (,0,0,0,,,0,0,,,,0,0) s We roved ha: None of he Amserdam rains ges los (nice o know )
29 Seing b 3 ( 2 ) o and b 4 ( 3 ) o leads o an addiional 2 invarians c R, = ( ) c R,2 c R,3 c R, c R, 2 = ( ) c R, 3 = ( ) s c R, 4 = ( ) We roved ha: he number of rains serving Amserdam, Cologne and Paris remains consan. c R,4 he number of rain drivers remains consan
30 Alicaions Modeling of resources; modeling of muual exclusion; modeling of synchronizaion
31 Predicae/ransiion nes Goal: comac reresenaion of comlex sysems. Key changes: Tokens are becoming individuals; Transiions enabled if funcions a incoming edges rue; Individuals generaed by firing ransiions defined hrough funcions Changes can be exlained by folding and unfolding C/E nes, semanics can be defined by C/E nes
32 Examle: Dining hilosohers roblem n> hilosohers siing a a round able; n forks, n laes wih saghei; hilosohers eiher hinking or eaing saghei (using lef and righ fork). 2 forks needed! How o o model conflic for for forks? How o o guaranee avoiding sarvaion?
33 Condiion/even ne model of he dining hilosohers roblem Le x {..3} x : x is hinking e x : x is eaing f x : fork x is available Model quie clumsy. Difficul o o exend o o more hilosohers. Normal view mode!
34 Predicae/ransiion model of he dining hilosohers roblem () Le x be one of he hilosohers, le l(x) be he lef soon of x, le r(x) be he righ soon of x. 2 3 f f 2 f 3 Tokens: individuals. Semanics can be be defined by by relacing ne by by equivalen condiion/even ne
35 Predicae/ransiion model of he dining hilosohers roblem (2) 2 3 f f 2 f 3 Model can be be exended o o arbirary numbers of ofeole. use normal view mode!
36 Evaluaion Pros: Aroriae for disribued alicaions, Well-known heory for formally roving roeries, Iniially a quie bizarre oic, bu now acceed due o increasing number of disribued alicaions. Cons (for he nes resened) : roblems wih modeling iming, no rogramming elemens, no hierarchy. Exensions: Enormous amouns of effors on removing limiaions. back o full screen mode
37 UML Aciviy diagrams: Exended Peri nes Include decisions (like in flow chars). Grahical noaion similar o SDL. Cris Kobryn: UML 200: A Sandardizaion Odyssey, CACM, Ocober, 999 swimlane
38 Summary Peri nes: focus on causal deendencies Condiion/even nes Single oken er lace Place/ransiion nes Mulile okens er lace Predicae/ransiion nes Tokens become individuals Dining hilosohers used as an examle Exensions required o ge around limiaions Aciviy diagrams in UML are exended Peri nes
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 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 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 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 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 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 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 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 informationfakultät für informatik informatik 12 technische universität dortmund Petri nets Peter Marwedel Informatik 12 TU Dortmund Germany
12 Petri nets Peter Marwedel Informatik 12 TU Dortmund Germany Introduction Introduced in 1962 by Carl Adam Petri in his PhD thesis. Focus on modeling causal dependencies; no global synchronization assumed
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 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 informationDecentralized 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 informationComputing with diode model
ECE 570 Session 5 C 752E Comuer Aided Engineering for negraed Circuis Comuing wih diode model Objecie: nroduce conces in numerical circui analsis Ouline: 1. Model of an examle circui wih a diode 2. Ouline
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 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 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 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 informationG. =, 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 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 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 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 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 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 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 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 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 informationWavelet Methods for Time Series Analysis. What is a Wavelet? Part I: Introduction to Wavelets and Wavelet Transforms. sines & cosines are big waves
Wavele Mehods for Time Series Analysis Par I: Inroducion o Waveles and Wavele Transforms waveles are analysis ools for ime series and images as a subjec, waveles are relaively new (983 o presen) a synhesis
More information( ) a system of differential equations with continuous parametrization ( T = R + These look like, respectively:
XIII. DIFFERENCE AND DIFFERENTIAL EQUATIONS Ofen funcions, or a sysem of funcion, are paramerized in erms of some variable, usually denoed as and inerpreed as ime. The variable is wrien as a funcion of
More information5. Stochastic processes (1)
Lec05.pp S-38.45 - Inroducion o Teleraffic Theory Spring 2005 Conens Basic conceps Poisson process 2 Sochasic processes () Consider some quaniy in a eleraffic (or any) sysem I ypically evolves in ime randomly
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 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 informationCheck in: 1 If m = 2(x + 1) and n = find y when. b y = 2m n 2
7 Parameric equaions This chaer will show ou how o skech curves using heir arameric equaions conver arameric equaions o Caresian equaions find oins of inersecion of curves and lines using arameric equaions
More information= ( ) ) or a system of differential equations with continuous parametrization (T = R
XIII. DIFFERENCE AND DIFFERENTIAL EQUATIONS Ofen funcions, or a sysem of funcion, are paramerized in erms of some variable, usually denoed as and inerpreed as ime. The variable is wrien as a funcion of
More informationA Note on the Equivalence of Fractional Relaxation Equations to Differential Equations with Varying Coefficients
mahemaics Aricle A Noe on he Equivalence of Fracional Relaxaion Equaions o Differenial Equaions wih Varying Coefficiens Francesco Mainardi Deparmen of Physics and Asronomy, Universiy of Bologna, and he
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 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 informationDiebold, Chapter 7. Francis X. Diebold, Elements of Forecasting, 4th Edition (Mason, Ohio: Cengage Learning, 2006). Chapter 7. Characterizing Cycles
Diebold, Chaper 7 Francis X. Diebold, Elemens of Forecasing, 4h Ediion (Mason, Ohio: Cengage Learning, 006). Chaper 7. Characerizing Cycles Afer compleing his reading you should be able o: Define covariance
More informationEE123 Digital Signal Processing
Discree Transforms (Finie) EE3 Digial Signal Processing Lecure 9 DFT is only one ou of a LARGE class of ransforms Used for: Analysis Comression Denoising Deecion Recogniion Aroximaion (Sarse) Sarse reresenaion
More informationTransform Techniques. Moment Generating Function
Transform Techniques A convenien way of finding he momens of a random variable is he momen generaing funcion (MGF). Oher ransform echniques are characerisic funcion, z-ransform, and Laplace ransform. Momen
More informationRise-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 informationClass Meeting # 10: Introduction to the Wave Equation
MATH 8.5 COURSE NOTES - CLASS MEETING # 0 8.5 Inroducion o PDEs, Fall 0 Professor: Jared Speck Class Meeing # 0: Inroducion o he Wave Equaion. Wha is he wave equaion? The sandard wave equaion for a funcion
More information- The whole joint distribution is independent of the date at which it is measured and depends only on the lag.
Saionary Processes Sricly saionary - The whole join disribuion is indeenden of he dae a which i is measured and deends only on he lag. - E y ) is a finie consan. ( - V y ) is a finie consan. ( ( y, y s
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 informationMath 2214 Sol Test 2B Spring 2015
Mah 14 Sol Tes B Sring 015 roblem 1: An objec weighing ounds sreches a verical sring 8 fee beond i naural lengh before coming o res a equilibrium The objec is ushed u 6 fee from i s equilibrium osiion
More informationMath Week 14 April 16-20: sections first order systems of linear differential equations; 7.4 mass-spring systems.
Mah 2250-004 Week 4 April 6-20 secions 7.-7.3 firs order sysems of linear differenial equaions; 7.4 mass-spring sysems. Mon Apr 6 7.-7.2 Sysems of differenial equaions (7.), and he vecor Calculus we need
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 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 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 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 informationAppendix 14.1 The optimal control problem and its solution using
1 Appendix 14.1 he opimal conrol problem and is soluion using he maximum principle NOE: Many occurrences of f, x, u, and in his file (in equaions or as whole words in ex) are purposefully in bold in order
More information2. Nonlinear Conservation Law Equations
. Nonlinear Conservaion Law Equaions One of he clear lessons learned over recen years in sudying nonlinear parial differenial equaions is ha i is generally no wise o ry o aack a general class of nonlinear
More informationDeep Learning: Theory, Techniques & Applications - Recurrent Neural Networks -
Deep Learning: Theory, Techniques & Applicaions - Recurren Neural Neworks - Prof. Maeo Maeucci maeo.maeucci@polimi.i Deparmen of Elecronics, Informaion and Bioengineering Arificial Inelligence and Roboics
More information1 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 informationAPPLIED 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 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 informationEmbedded Systems 6 REVIEW. Place/transition nets. defaults: K = ω W = 1
Embedded Systems 6-1 - Place/transition nets REVIEW Def.: (P, T, F, K, W, M 0 ) is called a place/transition net (P/T net) iff 1. N=(P,T,F) is a net with places p P and transitions t T 2. K: P (N 0 {ω})
More informationDifferential Equations
Mah 21 (Fall 29) Differenial Equaions Soluion #3 1. Find he paricular soluion of he following differenial equaion by variaion of parameer (a) y + y = csc (b) 2 y + y y = ln, > Soluion: (a) The corresponding
More informationModule 2 F c i k c s la l w a s o s f dif di fusi s o i n
Module Fick s laws of diffusion Fick s laws of diffusion and hin film soluion Adolf Fick (1855) proposed: d J α d d d J (mole/m s) flu (m /s) diffusion coefficien and (mole/m 3 ) concenraion of ions, aoms
More informationChapter 3 Boundary Value Problem
Chaper 3 Boundary Value Problem A boundary value problem (BVP) is a problem, ypically an ODE or a PDE, which has values assigned on he physical boundary of he domain in which he problem is specified. Le
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 informationApplication of Wang s Recurrent Neural Network to solve the Transportation problem
50 IJCSNS Inernaional Journal of Comuer Science and Nework Securiy, VOL.2 No.7, July 202 Alicaion of Wang s Recurren Neural Nework o solve he Transoraion roblem Paulo Henrique Siqueira, Federal Universiy
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 informationNotes on Kalman Filtering
Noes on Kalman Filering Brian Borchers and Rick Aser November 7, Inroducion Daa Assimilaion is he problem of merging model predicions wih acual measuremens of a sysem o produce an opimal esimae of he curren
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 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 informationPredator - Prey Model Trajectories and the nonlinear conservation law
Predaor - Prey Model Trajecories and he nonlinear conservaion law James K. Peerson Deparmen of Biological Sciences and Deparmen of Mahemaical Sciences Clemson Universiy Ocober 28, 213 Ouline Drawing Trajecories
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 informationMatlab and Python programming: how to get started
Malab and Pyhon programming: how o ge sared Equipping readers he skills o wrie programs o explore complex sysems and discover ineresing paerns from big daa is one of he main goals of his book. In his chaper,
More informationEnergy Storage Benchmark Problems
Energy Sorage Benchmark Problems Daniel F. Salas 1,3, Warren B. Powell 2,3 1 Deparmen of Chemical & Biological Engineering 2 Deparmen of Operaions Research & Financial Engineering 3 Princeon Laboraory
More information1 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 informationLinear Cryptanalysis
Linear Crypanalysis T-79.550 Crypology Lecure 5 February 6, 008 Kaisa Nyberg Linear Crypanalysis /36 SPN A Small Example Linear Crypanalysis /36 Linear Approximaion of S-boxes Linear Crypanalysis 3/36
More informationOnline Convex Optimization Example And Follow-The-Leader
CSE599s, Spring 2014, Online Learning Lecure 2-04/03/2014 Online Convex Opimizaion Example And Follow-The-Leader Lecurer: Brendan McMahan Scribe: Sephen Joe Jonany 1 Review of Online Convex Opimizaion
More informationChapter 2 Summary. Carnegie Learning
Chaper Summary Key Terms inducion (.1) deducion (.1) counerexample (.1) condiional saemen (.1) proposiional form (.1) proposiional variables (.1) hypohesis (.1) conclusion (.1) ruh value (.1) ruh able
More information20. Applications of the Genetic-Drift Model
0. Applicaions of he Geneic-Drif Model 1) Deermining he probabiliy of forming any paricular combinaion of genoypes in he nex generaion: Example: If he parenal allele frequencies are p 0 = 0.35 and q 0
More informationf(t) dt, x > 0, is the best value and it is the norm of the
MATEMATIQKI VESNIK 66, 1 (214), 19 32 March 214 originalni nauqni rad research aer GENERALIZED HAUSDORFF OPERATORS ON WEIGHTED HERZ SPACES Kuang Jichang Absrac. In his aer, we inroduce new generalized
More informationStudy and Evaluation of Performances of the Digital Multimeter
Sudy and Evaluaion of Performances of he Digial Mulimeer. Inroducion Mulimeers allow measuring he mos common elecrical quaniies: volage, curren, resisance. They evolved from simle ones based on elecromechanical
More informationCurves and Surfaces. Chap. 8 Intro. to Computer Graphics, Spring 2009, Y. G. Shin
Curves and Surfaces Cha. 8 Inro. o Comuer Grahics, Sring 9, Y. G. Shin Reresenaion of Curves and Surfaces Key words surface modeling arameric surface coninuiy, conrol oins basis funcions Bezier curve B-sline
More informationContinuous Time Markov Chain (Markov Process)
Coninuous Time Markov Chain (Markov Process) The sae sace is a se of all non-negaive inegers The sysem can change is sae a any ime ( ) denoes he sae of he sysem a ime The random rocess ( ) forms a coninuous-ime
More informationComparing Means: t-tests for One Sample & Two Related Samples
Comparing Means: -Tess for One Sample & Two Relaed Samples Using he z-tes: Assumpions -Tess for One Sample & Two Relaed Samples The z-es (of a sample mean agains a populaion mean) is based on he assumpion
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 informationZü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 informationMatrix Versions of Some Refinements of the Arithmetic-Geometric Mean Inequality
Marix Versions of Some Refinemens of he Arihmeic-Geomeric Mean Inequaliy Bao Qi Feng and Andrew Tonge Absrac. We esablish marix versions of refinemens due o Alzer ], Carwrigh and Field 4], and Mercer 5]
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 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 informationReducing Probabilistic Timed Petri Nets for Asynchronous Architectural Analysis
Reducing Probabilisic Timed Peri Nes for Asynchronous Archiecural Analysis Sangyun Kim, Sunan Tugsinavisu Universiy of Souhern California Los Angeles, CA 90089, USA {sangyun,ugsinav}@eiger.usc.edu Peer
More informationState-Space Models. Initialization, Estimation and Smoothing of the Kalman Filter
Sae-Space Models Iniializaion, Esimaion and Smoohing of he Kalman Filer Iniializaion of he Kalman Filer The Kalman filer shows how o updae pas predicors and he corresponding predicion error variances when
More informationA note on diagonalization of integral quadratic forms modulo p m
NNTDM 7 ( 3-36 A noe on diagonalizaion of inegral quadraic fors odulo Ali H Hakai Dearen of Maheaics King Khalid Universiy POo 94 Abha Posal Code: 643 Saudi Arabia E-ail: aalhakai@kkuedusa Absrac: Le be
More informationTHE GENERALIZED PASCAL MATRIX VIA THE GENERALIZED FIBONACCI MATRIX AND THE GENERALIZED PELL MATRIX
J Korean Mah Soc 45 008, No, pp 479 49 THE GENERALIZED PASCAL MATRIX VIA THE GENERALIZED FIBONACCI MATRIX AND THE GENERALIZED PELL MATRIX Gwang-yeon Lee and Seong-Hoon Cho Reprined from he Journal of he
More informationInnova Junior College H2 Mathematics JC2 Preliminary Examinations Paper 2 Solutions 0 (*)
Soluion 3 x 4x3 x 3 x 0 4x3 x 4x3 x 4x3 x 4x3 x x 3x 3 4x3 x Innova Junior College H Mahemaics JC Preliminary Examinaions Paper Soluions 3x 3 4x 3x 0 4x 3 4x 3 0 (*) 0 0 + + + - 3 3 4 3 3 3 3 Hence x or
More informationSolutions from Chapter 9.1 and 9.2
Soluions from Chaper 9 and 92 Secion 9 Problem # This basically boils down o an exercise in he chain rule from calculus We are looking for soluions of he form: u( x) = f( k x c) where k x R 3 and k is
More informationFinish reading Chapter 2 of Spivak, rereading earlier sections as necessary. handout and fill in some missing details!
MAT 257, Handou 6: Ocober 7-2, 20. I. Assignmen. Finish reading Chaper 2 of Spiva, rereading earlier secions as necessary. handou and fill in some missing deails! II. Higher derivaives. Also, read his
More information18 Biological models with discrete time
8 Biological models wih discree ime The mos imporan applicaions, however, may be pedagogical. The elegan body of mahemaical heory peraining o linear sysems (Fourier analysis, orhogonal funcions, and so
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 informationKinematics Vocabulary. Kinematics and One Dimensional Motion. Position. Coordinate System in One Dimension. Kinema means movement 8.
Kinemaics Vocabulary Kinemaics and One Dimensional Moion 8.1 WD1 Kinema means movemen Mahemaical descripion of moion Posiion Time Inerval Displacemen Velociy; absolue value: speed Acceleraion Averages
More informationMon Apr 9 EP 7.6 Convolutions and Laplace transforms. Announcements: Warm-up Exercise:
Mah 225-4 Week 3 April 9-3 EP 7.6 - convoluions; 6.-6.2 - eigenvalues, eigenvecors and diagonalizabiliy; 7. - sysems of differenial equaions. Mon Apr 9 EP 7.6 Convoluions and Laplace ransforms. Announcemens:
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 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 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 informationMISCELLANEOUS DYNAMIC EQUATIONS. Elvan Akın Bohner and Martin Bohner. 1. Introduction
MISCELLANEOUS DYNAMIC EQUATIONS Elvan Akın Bohner and Marin Bohner We consider several dynamic equaions and resen mehods on how o solve hese equaions. Among hem are linear equaions of higher order, Euler
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 information