Embedded Systems CS - ES
|
|
- Janis Walsh
- 5 years ago
- Views:
Transcription
1 Embedded Sysems - -
2 REVIEW Peri Nes - 2 -
3 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 M, w(, ) okens are deleed from he incoming laces of (i.e. from laces ), and w(, ) okens are added o he ougoing laces of (i.e. o laces ), and a new marking M' is roduced - 3 -
4 Acivaed ransiions Transiion is acivaed iff REVIEW Acivaed ransiions can ake lace or fire, bu don have o. The order in which acivaed ransiions fire is no fixed (i is non-deerminisic)
5 Boundedness REVIEW A lace is called k-safe or k-bounded if i conains in he iniial marking m and in all oher reachable from here markings a mos k okens. A ne is bounded if each lace is bounded. Boundedness: he number of okens in any lace canno grow indefiniely Alicaion: laces reresen buffers and regisers (check here is no overflow) A Peri ne is inherenly bounded if and only if all is reachabiliy grahs (i.e. reachabiliy grahs wih all ossible saring saes) all have a finie number of saes
6 Liveness REVIEW A ransiion T is live if in any marking here exiss a firing sequence such ha T becomes enabled An enire ne is live if all is ransiions are live Imoran for checking deadlock Live? NO YES - 6 -
7 Liveness (more recisely) A ransiion is dead a M if no marking M is reachable from M such ha can fire in M. A ransiion is live a M if here is no marking M reachable from M where is dead. A marking is live if all ransiions are live. A P/T ne is live if he iniial marking is live. Observaions: A live ne is deadlock-free. No ransiion is live if he ne is no deadlock-free
8 Deadlock REVIEW A dead marking (deadlock) is a marking where no ransiion can fire. A Peri ne is deadlock-free if no dead marking is reachable
9 - 9 - Shorhand for changes of markings )if, ( ), ( \ )if, ( \ )if, ( ) ( W W W W Le P: M () = M()+ () Firing ransiion: +: vecor add M = M+ REVIEW
10 - - Marix N describing all changes of markings Def.: Marix N (incidence marix )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. )if, ( ), ( \ )if, ( \ )if, ( ) ( W W W W REVIEW
11 Incidence marix REVIEW incidence marix N of a ure (no elemenary loos) lace/ransiion-ne: N W (, ), arc from o, : W (, ), arc from o, oherwise X Conribuion of on - -
12 - 2 - Examle: N = s REVIEW
13 Sae equaion REVIEW - 3 -
14 Sae equaion REVIEW reachabiliy grah - 4 -
15 Comuaion of Invarians REVIEW We are ineresed in subses R of laces whose number of labels remain invarian under fireing of ransiions: e.g. he number of rains commuing beween Amserdam and Paris (Cologne and Paris) remains consan Imoran for correcness roofs - 5 -
16 Place - invarians REVIEW 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 - 6 -
17 - 7 - Characerisic Vecor R R c R if if ) ( Le: ) ( ) ( ) ( c c R P j R j R j ) ( R j Scalar roduc REVIEW
18 - 8 - Condiion for lace invarians Accumulaed marking consan for all ransiions if R n R c c Equivalen o N T c R = where N T is he ransosed of N ) ( ) ( ) ( c c R P j R j R j REVIEW
19 - 9 - More deailed view of comuaions Sysem of linear equaions. Soluion vecors mus consis of zeros and ones. Differen echniques for solving equaion sysem (Gauss eliminaion, ools e.g. Malab, ) ) (... ) ( ) ( ) ( )... (... ) ( )... ( ) ( )... ( n R R R n m m n n c c c REVIEW
20 Alicaion o Thalys examle REVIEW N T c R =, wih N T = c R, - 2 -
21 Soluion vecors for Thalys examle REVIEW c R, c R, 2 c R, 3 C R,4 C R,3 C R, cr, 4 s We roved ha: he number of rains serving Amserdam, Cologne and Paris remains consan. he number of rain drivers remains consan. C R,2-2 -
22 Soluion vecors for Thalys examle REVIEW I follows: each lace invarian mus have a leas one label a he beginning, oherwise dead a leas hree labels are necessary in he examle C R,4 C R,3 C R, s C R,2-22 -
23 P5 REVIEW T T5 T2 P4 P P3 P2 P6 T3 T4 N T c R =, wih N T = T T2 T3 T4 T5 P P2 P3 P4 P5 P6-23 -
24 P P2 P3 P4 P5 P6 T - - T2 - - T3 - T4 - T
25 - 25 -
26 - 26 -
27 - 27 -
28 Place - invarians P5 T T5 T2 P4 P P3 P2 P6 T3 T4-28 -
29 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
30 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). How o model conflic for forks? 2 forks needed! How o guaranee avoiding sarvaion? - 3 -
31 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 exend o more hilosohers
32 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 Tokens individuals Edges can be labeled wih variables and funcions f f 2 f
33 Predicae/ransiion model of he dining hilosohers roblem () 2 2 f f 3 f 2 f
34 Predicae/ransiion model of he dining hilosohers roblem (2) f f 2 f 3 f 4 Model can be exended o arbirary numbers of eole. No change of he srucure
35 Time and Peri Nes e.g.: Peri nes ell us ha ""a new reques can be issued only afer he resource is released Nohing abou ime In lieraure, ime has been added o PNs in many differen ways (noion of emoral consrains for: ransiions, laces, arcs) TPN
36 Timed Peri Nes TPN Each ransiion is defined recisely based on conneciviy and okens needed for ransiion Given an iniial condiion, he exac sysem sae a an arbirary fuure ime T can be deermined Timed Peri Nes becomes a 7-ule sysem PN = (P,T,F,W,K, M, ) = {, 2, n } is a finie se of deerminisic ime delays o corresonding i
37 Time and Peri Nes (TPN) adding (quaniaive) ime o PNs is o inroduce emoral consrains on is elemens: e.g., a ransiion mus fire afer 5 msec moving Drill u 5 msec 2 msec Drill down Drill down 5 msec 2 msec 9 msec Drill u 7 msec 4 msec 2msec
38 Producion sysem - To level eri ne
39 magazine/deo NC axis o level grier drilling machine
40 magazine/deo - 4 -
41 NC axis - 4 -
42 - 42 -
43 Evaluaion Pros: Aroriae for disribued alicaions, Well-known heory for formally roving roeries, Cons : PN roblems wih modeling iming (exensions in TPN) no rogramming elemens, no hierarchy (exensions available) Exensions: Enormous amouns of effors on removing limiaions. Remark: A FSM can be reresened by a subclass of Peri nes, where each ransiion has exacly one incoming edge and one ougoing edge
44 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
45 SDL - Secificaion and Descriion Language
46 SDL - Secificaion and Descriion Language Used here as a (rominen) examle of a model of comuaion based on asynchronous message assing communicaion. aroriae also for disribued sysems Language designed for secificaion of disribued sysems. Daes back o early 7s, Formal semanics defined in he lae 8s, Defined by ITU (Inernaional Telecommunicaion Union): Z. recommendaion in 98 Udaes in 984, 988, 992, 996 and 999 Anoher acronym SDL ( Sysem Design Languages )
47 SDL - Secificaion and Descriion Language Provides exual (ool rocessing) and grahical formas (user ineracion) Abiliy o be used as a wide secrum language from requiremens o imlemenaion Jus like SaeChars, i is based on he CFSM (Communicaing FSM) model of comuaion; each FSM is called a rocess. Wih SDL he roocol behaviour is comleely secified by communicaing FSM. The formal basis of SDL enables he use of code generaion ool chains, which allows an auomaed imlemenaion of he secificaion
48 SDL - Secificaion and Descriion Language However, i uses message assing insead of shared memory for communicaions SDL suors oeraions on daa objec oriened descriion of comonens
49 Srucuring SDL designs SDL sysems can be srucured in various means: A sysem consiss of a number of blocks conneced by channels, each block may conain a subsrucure of blocks or i may conain rocess ses conneced by signals. Processes execue concurrenly wih oher rocesses and communicae by exchanging signals; or by remoe rocedure calls
50 Secifying behaviour. The behaviour of a rocess is described as an exended FSM: When sared, a rocess execues is sar ransiion and eners he firs sae. (riggered by signals) 2. In ransiions, a rocess may execue acions. 3. E.g.: Acions can assign values o variable aribues of a rocess, branch on values of exression, call rocedures, creae new rocesses, send signal o oher rocesses
51 SDL-reresenaion of FSMs/rocesses sae inu ouu - 5 -
52 Communicaion among SDL-FSMs Communicaion beween FSMs (or rocesses ) is based on message-assing, assuming a oenially indefiniely large FIFO-queue. Each rocess feches nex enry from FIFO, checks if inu enables ransiion, if yes: ransiion akes lace, if no: inu is ignored (exceion: SAVEmechanism)
53 Deerminae? Le okens be arriving a FIFO a he same ime: Order in which hey are sored, is unknown: All orders are legal: simulaors can show differen behaviors for he same inu, all of which are correc
54 Oeraions on daa Variables can be declared locally for rocesses. Their ye can be redefined or defined in SDL iself. SDL suors absrac daa yes (ADTs). Examles:
55 Process ineracion diagrams Ineracion beween rocesses can be described in rocess ineracion diagrams (secial case of block diagrams). In addiion o rocesses, hese diagrams conain channels and declaraions of local signals. Examle:, B
56 Designaion of reciiens. Through rocess idenifiers: Examle: OFFSPRING reresens idenifiers of rocesses generaed dynamically. 2. Exlicily: By including he channel name. 3. Imlicily: If signal names imly channel names (B Sw) Couner TO OFFSPRING Couner Via Sw
57 Hierarchy in SDL Process ineracion diagrams can be included in blocks. The roo block is called sysem. Processes canno conain oher rocesses, unlike in SaeChars
58 Hierarchy of a SDL secificaion
59 Timers Timers can be declared locally. Elased imers u signal ino queue (no necessarily rocessed immediaely). RESET removes imer (also from FIFO-queue)
60 SDL alicaion The semanics of SDL defines he sae sace of he secificaion. This sae sace can be used for various analyses and ransformaion echniques, e.g.: sae sace exloraion, simulaion checking he SDL-secificaion for deadlocks/lifelocks deriving es cases auomaically code generaion for an execuable rooye or end sysem - 6 -
61 Summary MoC: finie sae machine comonens + non-blocking message assing communicaion Reresenaion of rocesses Communicaion & block diagrams Timers and oher language elemens Excellen for disribued alicaions (e.g., Inegraed Services Digial Nework (ISDN)) Commercial ools available from SINTEF, Telelogic, Cinderella (//
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 /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 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 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 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. 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 informationProduction-process modelling based on production-management data: a Petri net approach
Producion-rocess modelling based on roducion-managemen daa: a Peri ne aroach Dejan Gradisar, Gaser Music To cie his version: Dejan Gradisar, Gaser Music. Producion-rocess modelling based on roducion-managemen
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 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 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 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 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 informationElectrical and current self-induction
Elecrical and curren self-inducion F. F. Mende hp://fmnauka.narod.ru/works.hml mende_fedor@mail.ru Absrac The aricle considers he self-inducance of reacive elemens. Elecrical self-inducion To he laws of
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 informationSeminar 4: Hotelling 2
Seminar 4: Hoelling 2 November 3, 211 1 Exercise Par 1 Iso-elasic demand A non renewable resource of a known sock S can be exraced a zero cos. Demand for he resource is of he form: D(p ) = p ε ε > A a
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 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 informationLearning Objectives: Practice designing and simulating digital circuits including flip flops Experience state machine design procedure
Lab 4: Synchronous Sae Machine Design Summary: Design and implemen synchronous sae machine circuis and es hem wih simulaions in Cadence Viruoso. Learning Objecives: Pracice designing and simulaing digial
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 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 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 informationChapter 15: Phenomena. Chapter 15 Chemical Kinetics. Reaction Rates. Reaction Rates R P. Reaction Rates. Rate Laws
Chaper 5: Phenomena Phenomena: The reacion (aq) + B(aq) C(aq) was sudied a wo differen emperaures (98 K and 35 K). For each emperaure he reacion was sared by puing differen concenraions of he 3 species
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 informationLecture 23: I. Data Dependence II. Dependence Testing: Formulation III. Dependence Testers IV. Loop Parallelization V.
Lecure 23: Array Dependence Analysis & Parallelizaion I. Daa Dependence II. Dependence Tesing: Formulaion III. Dependence Tesers IV. Loop Parallelizaion V. Loop Inerchange [ALSU 11.6, 11.7.8] Phillip B.
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 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 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 informationBiol. 356 Lab 8. Mortality, Recruitment, and Migration Rates
Biol. 356 Lab 8. Moraliy, Recruimen, and Migraion Raes (modified from Cox, 00, General Ecology Lab Manual, McGraw Hill) Las week we esimaed populaion size hrough several mehods. One assumpion of all hese
More informationChapter 6. Systems of First Order Linear Differential Equations
Chaper 6 Sysems of Firs Order Linear Differenial Equaions We will only discuss firs order sysems However higher order sysems may be made ino firs order sysems by a rick shown below We will have a sligh
More informationSOLUTIONS TO ECE 3084
SOLUTIONS TO ECE 384 PROBLEM 2.. For each sysem below, specify wheher or no i is: (i) memoryless; (ii) causal; (iii) inverible; (iv) linear; (v) ime invarian; Explain your reasoning. If he propery is no
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 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 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 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 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 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 informationMath From Scratch Lesson 34: Isolating Variables
Mah From Scrach Lesson 34: Isolaing Variables W. Blaine Dowler July 25, 2013 Conens 1 Order of Operaions 1 1.1 Muliplicaion and Addiion..................... 1 1.2 Division and Subracion.......................
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 informationKINEMATICS IN ONE DIMENSION
KINEMATICS IN ONE DIMENSION PREVIEW Kinemaics is he sudy of how hings move how far (disance and displacemen), how fas (speed and velociy), and how fas ha how fas changes (acceleraion). We say ha an objec
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 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 informationKEY. Math 334 Midterm I Fall 2008 sections 001 and 003 Instructor: Scott Glasgow
1 KEY Mah 4 Miderm I Fall 8 secions 1 and Insrucor: Sco Glasgow Please do NOT wrie on his eam. No credi will be given for such work. Raher wrie in a blue book, or on our own paper, preferabl engineering
More 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 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 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 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 informationLecture 1 Overview. course mechanics. outline & topics. what is a linear dynamical system? why study linear systems? some examples
EE263 Auumn 27-8 Sephen Boyd Lecure 1 Overview course mechanics ouline & opics wha is a linear dynamical sysem? why sudy linear sysems? some examples 1 1 Course mechanics all class info, lecures, homeworks,
More informationChapter 2. Models, Censoring, and Likelihood for Failure-Time Data
Chaper 2 Models, Censoring, and Likelihood for Failure-Time Daa William Q. Meeker and Luis A. Escobar Iowa Sae Universiy and Louisiana Sae Universiy Copyrigh 1998-2008 W. Q. Meeker and L. A. Escobar. Based
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 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 informationEE650R: Reliability Physics of Nanoelectronic Devices Lecture 9:
EE65R: Reliabiliy Physics of anoelecronic Devices Lecure 9: Feaures of Time-Dependen BTI Degradaion Dae: Sep. 9, 6 Classnoe Lufe Siddique Review Animesh Daa 9. Background/Review: BTI is observed when he
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 informationChapter 12: Velocity, acceleration, and forces
To Feel a Force Chaper Spring, Chaper : A. Saes of moion For moion on or near he surface of he earh, i is naural o measure moion wih respec o objecs fixed o he earh. The 4 hr. roaion of he earh has a measurable
More informationMath 333 Problem Set #2 Solution 14 February 2003
Mah 333 Problem Se #2 Soluion 14 February 2003 A1. Solve he iniial value problem dy dx = x2 + e 3x ; 2y 4 y(0) = 1. Soluion: This is separable; we wrie 2y 4 dy = x 2 + e x dx and inegrae o ge The iniial
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 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 informationIMPLICIT AND INVERSE FUNCTION THEOREMS PAUL SCHRIMPF 1 OCTOBER 25, 2013
IMPLICI AND INVERSE FUNCION HEOREMS PAUL SCHRIMPF 1 OCOBER 25, 213 UNIVERSIY OF BRIISH COLUMBIA ECONOMICS 526 We have exensively sudied how o solve sysems of linear equaions. We know how o check wheher
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 informationNEWTON S SECOND LAW OF MOTION
Course and Secion Dae Names NEWTON S SECOND LAW OF MOTION The acceleraion of an objec is defined as he rae of change of elociy. If he elociy changes by an amoun in a ime, hen he aerage acceleraion during
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 information1 Inroducion A (1 + ") loss-resilien code encodes essages consising of sybols ino an encoding consising of c sybols, c > 1, such ha he essage sybols c
A Lower Bound for a Class of Grah Based Loss-Resilien Codes Johannes Bloer Bea Trachsler 1 May 5, 1998 Absrac. Recenly, Luby e al. consruced inforaion-heoreically alos oial loss-resilien codes. The consrucion
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 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 information