The Operational Semantics of Hybrid Systems
|
|
- Lewis Byrd
- 6 years ago
- Views:
Transcription
1 The Operaional Seanics of Hybrid Syses Edward A. Lee Professor, Chair of EE, and Associae Chair of EECS, UC Berkeley Wih conribuions fro: Ada Caaldo, Jie Liu, Xiaojun Liu, Elefherios Masikoudis, and Haiyang Zheng Cener for Hybrid and Ebedded Sofware Syses Invied Plenary Talk Hybrid Syses: Copuaion and Conrol (HSCC) Zurich, Swizerland, March 9, 25 The Preise Hybrid Syses can be hough of as execuable progras. In his case, hey need o be given an execuable seanics. Lee, Berkeley: 2
2 Ouline Signals wih disconinuiies Ideal solver seanics Choosing sep sizes Discree phase of execuion Miscellanenous issues Enabling vs. riggering guards Order of reacions o siulaneous evens Nondeerinisic sae achines Sapling disconinuous signals Zeno behaviors Lee, Berkeley: 3 A Hybrid Syses Exaple Consider wo asses on springs which, when hey collide, will sick ogeher wih a decaying sickiness unil he force of he springs pulls he apar again. Lee, Berkeley: 4
3 Modal Models The Masses acor refines o a sae achine wih wo saes, Separae and Togeher. The ransiions have guards and rese aps. Lee, Berkeley: 5 Mode Refineens Each sae has a refineen ha gives he behavior of he odal odel while in ha sae. Lee, Berkeley: 6
4 Modeling Dynaics wihin he Separae Mode Dynaics while separae: Equivalenly: Lee, Berkeley: 7 Mode Refineens (2) In he Togeher ode, he dynaics is ha of a single ass and wo springs. Lee, Berkeley: 8
5 Modeling Dynaics wihin he Togeher Mode Dynaics while ogeher: Lee, Berkeley: 9 Iplied in he Maheaical Forulaion: Coninuous-Tie Signals The usual forulaion of he signals of ineres is a funcion fro he ie line T (a conneced subse of he reals) o he reals: Such signals are coninuous a T if (e.g.): Lee, Berkeley:
6 Piecewise Coninuous Signals In hybrid syses of ineres, signals have disconinuiies. Piecewise coninuous signals are coninuous a all T \ D where D T is a discree se. A se D wih an order relaion is a discree se if here exiss an order ebedding o he inegers). Lee, Berkeley: Operaional Seanics of Hybrid Syses A copuer execuion of a hybrid syse is consrained o provide values on a discree se: Given his consrain, choosing T as he doain of hese funcions is an unforunae choice. I akes i ipossible o unabiguously represen disconinuiies. Lee, Berkeley: 2
7 Definiion: Coninuously Evolving Signal Change he doain of he funcion: Where T is a conneced subse of he reals and se of naural nubers. is he A each ie T, he signal x has a sequence of values. Where he signal is coninuous, all he values are he sae. Where is disconinuous, i has uliple values. Lee, Berkeley: 3 Sipler Exaple: Hyseresis This odel shows he use of a wo-sae FSM o odel hyseresis. Seanically, he oupu of he ModalModel block is disconinuous. If ransiions ake zero ie, his is odeled as a signal ha has wo values a he sae ie, and in a paricular order. Lee, Berkeley: 4
8 Signals Mus Have Muliple Values a he Tie of a Disconinuiy Disconinuiies need o be seanically disinguishable fro rapid coninuous changes. Lee, Berkeley: 5 Iniial and Final Value Signals A signal has no chaering Zeno condiion if here is an ineger >such ha A non-chaering signal has a corresponding final value signal, where I also has an iniial value signal where Lee, Berkeley: 6
9 Piecewise Coninuous Signals A piecewise coninuous signal is a non-chaering signal where The iniial signal x i is coninuous on he lef, The final signal x f is coninuous on he righ, and The signal x has only one value a all T \ D where D T is a discree se. Lee, Berkeley: 7 Ouline Signals wih disconinuiies Ideal solver seanics Choosing sep sizes Discree phase of execuion Miscellanenous issues Enabling vs. riggering guards Order of reacions o siulaneous evens Nondeerinisic sae achines Sapling disconinuous signals Zeno behaviors Lee, Berkeley: 8
10 Discree Trace: Wha i Means o Execue a Hybrid Syse Le D' T be a discree se ha includes a leas he iniial ie and he ies of all disconinuiies. A discree race of he signal x is a se: An execuion of a hybrid syse is he consrucion of a discree race: s Lee, Berkeley: 9 Ideal Solver Seanics [Liu and Lee, HSCC 23] In he ideal solver seanics, he ODE governing he hybrid syse has a unique soluion for all inervals [ i, i+ ) for each neighboring i < i+ D'. The discree race loses nohing by no represening values wihin hese inervals. Alhough an idealizaion, his is no far feched. The spring asses exaple, for insance, confors wih he assupions and can be execued by an ideal solver s Lee, Berkeley: 2
11 Modeling Coninuous Dynaics wih Discree Traces A basic coninuousie odel describes an ordinary differenial equaion (ODE). Lee, Berkeley: 2 Srucure of he Model of Coninuous Dynaics x A basic coninuousie odel describes an ordinary differenial equaion (ODE). f ( x(, x &( = f ( x(, x( = x( ) + ( τ ) dτ Lee, Berkeley: 22
12 Absraced Srucure of he Model of Coninuous Dynaics Beween disconinuiies, he sae rajecory is odeled as a vecor funcion of ie, x : T n R T = [, ) R f ( x(, x &( = f ( x(, f : R T R x( = x( ) + ( τ ) dτ The key o he ideal solver seanics is ha coninuiy and local Lipschiz condiions on f are sufficien o ensure uniqueness of he soluion over a sufficienly sall inerval of ie. x Lee, Berkeley: 23 Ouline Signals wih disconinuiies Ideal solver seanics Choosing sep sizes Discree phase of execuion Miscellanenous issues Enabling vs. riggering guards Order of reacions o siulaneous evens Nondeerinisic sae achines Sapling disconinuous signals Zeno behaviors Lee, Berkeley: 24
13 Poins on he Tie Line ha Mus Be Included in a Discree Trace Predicable breakpoins Can be regisered in advance wih he solver Unpredicable breakpoins Known afer hey have been issed Poins ha ake he sep size sufficienly sall Dependen on error esiaion in he solver Require backracking Lee, Berkeley: 25 E.g. Runge-Kua 2-3 Solver (RK2-3) Given x( n ) and a ie increen h, calculae ( K = f ( x( ), ) n ) n n esiae of K = f ( x( n) +.5hK, n +.5h) ( n +.5h) esiae of K2 = f ( x( n) +.75hK, n +.75h) ( n +.75h) hen le n+ = x( ) = x( ) + (2 / 9) hk + (3/ 9) hk + (4 / 9) hk n+ n + h n Noe ha his requires hree evaluaions of f a hree differen ies wih hree differen inpus. 2 Lee, Berkeley: 26
14 Operaional Requireens In a sofware syse, he blue box below can be specified by a progra ha, given x( and calculaes f (x(, ). Bu his requires ha he progra be funcional (have no side effecs). f ( x(, x( = x( ) + ( τ ) dτ x x &( = f ( x(, f : R T R Lee, Berkeley: 27 Adjusing he Tie Seps For ie sep given by n + = n + K3 = f ( x( n+ ), n+ ) ε = h(( 5 / 72) K + (/2) K h, le + (/ 9) K + ( / 8) K If ε is less han he error olerance e, hen he sep is deeed successful and he nex ie sep is esiaed a: h = 3.8 e / ε If ε is greaer han he error olerance, hen he ie sep h is reduced and he whole hing is ried again. 2 3 ) Lee, Berkeley: 28
15 Exaining This Copuaionally f ( x(, x( = x( ) + ( τ ) dτ x A each discree ie n, given a ie increen n+ = n + h, we can esiae x( n+ ) by repeaedly evaluaing f wih differen values for he arguens. We ay hen decide ha h is oo large and reduce i and redo he process. Lee, Berkeley: 29 How General Is This Model? Does i handle: Syses wihou feedback? yes Exernal inpus? yes Sae achines? no The odel iself as a funcion? no x f ( x(, x( = x( ) + ( τ ) dτ x x &( = f ( x(, Lee, Berkeley: 3
16 How General Is This Model? Does i handle: Syses wihou feedback? yes Exernal inpus? yes Sae achines? no The odel iself as a funcion? no x f x( = x() + ( τ ) dτ x &( = f ( x(, Lee, Berkeley: 3 How General Is This Model? Does i handle: Syses wihou feedback? yes Exernal inpus? yes Sae achines? no The odel iself as a funcion? no f u g x x( = x() + ( τ ) dτ x &( = f ( x(, = g( u(, x(, Lee, Berkeley: 32
17 How General Is This Model? Does i handle: Syses wihou feedback? yes Exernal inpus? yes Sae achines? no, no iediaely The odel iself as a funcion? no x x( = x() + ( τ ) dτ ( f ( x(, Lee, Berkeley: 33 Acors wih Sae Mus Expose ha Sae Basic acor wih firing: Saeful acor: s S s 2 S S = [ T R] f : R T R T, s2( = f ( s(, s S s 2 S S = [ T N R] f : Σ R g : Σ R T R T Σ sae space (, n) T N, s2 (, n) =? The new funcion f gives oupus in ers of inpus and he curren sae. The funcion g updaes he sae a he specified ie. Lee, Berkeley: 34
18 Saeful Acors Suppor Unpredicable Breakpoins and Sep Size Adapaion s S s 2 S S = [ T N R] f : Σ R g : Σ R T R T Σ A each T he calculaion of he oupu given he inpu is separaed fro he calculaion of he new sae. Thus, he sae does no need o updaed unil afer he sep size has been decided upon. In fac, a variable sep size solver relies on his, since any of several inegraion calculaions ay resul in refineen of he sep size because he error is oo large. Lee, Berkeley: 35 How General Is This Model? Does i handle: Syses wihou feedback? yes Exernal inpus? yes Sae achines? yes, wih saeful acors The odel iself as a funcion? yes, bu be careful! f ( x(, x x( = x( ) + ( τ ) dτ x( = x( ) + ( τ ) dτ x Lee, Berkeley: 36
19 Why do we Care? Coposiionaliy Haiyang Zheng noiced ha earlier versions of HyVisual did no exhibi coposiional behavior. A correc resul A designer expecs cerain invarians: ransforaions of a odel ha do no change behavior. Resuls are calculaed wih he RK 2-3 solver. An incorrec resul Lee, Berkeley: 37 Why is Coposiionaliy Difficul o Achieve? In general, he behavior of he inside syse us be given by funcions of for: f : Σ R g : Σ R T R T Σ f ( x(, x x( = x( ) + ( τ ) dτ x( = x( ) + ( τ ) dτ x To ake his work, he sae of he solver us be par of he sae space Σ of he coposie acor! Lee, Berkeley: 38
20 Coposiional Execuion Requires ha Solvers Expose Deails An RK 2-3 solver evaluaes signal values a inerediae poins in ie ha do no ruly qualify as a sep. Given wo RK 2-3 solvers in a hierarchy, if hey do no cooperae on his, hen he behavior is alered by he hierarchy. The HyVisual Soluion: Solvers ha are separaed in he hierarchy by a os a Modal Model cooperae if hey are he sae ype of solver. This is coposiional, bu This also allows heerogeneous ixures of solvers. Lee, Berkeley: 39 Ouline Signals wih disconinuiies Ideal solver seanics Choosing sep sizes Discree phase of execuion Miscellanenous issues Enabling vs. riggering guards Order of reacions o siulaneous evens Nondeerinisic sae achines Sapling disconinuous signals Zeno behaviors Lee, Berkeley: 4
21 Transien Saes A Useful Model for Sofware If an ougoing guard is rue upon enering a sae, hen he ie spen in ha sae is idenically zero. This is called a ransien sae. Lee, Berkeley: 4 Transien Values Inegrae o Zero Transien values do no affec he inegral of he signal, as expeced. Lee, Berkeley: 42
22 Conras wih Siulink/Saeflow In Siulink seanics, a signal can only have one value a a given ie. Consequenly, Siulink inroduces solver-dependen behavior. The siulaor engine of Siulink inroduces a non-zero delay o consecuive ransiions. Transien Saes Lee, Berkeley: 43 Discree Phase of Execuion s S s 2 S S = [ T N R] f : Σ R g : Σ R T R T Σ A each T he oupu is a sequence of one or ore values where given he curren sae σ ( Σand he inpu s ( we evaluae he procedure s (,) = f ( σ (, s (, 2 σ ( = g( σ (, s (, s (,) = 2 f ( σ (, s (, σ ( = g( σ (, s (, 2... unil he sae no longer changes. We use he final sae on any evaluaion a laer ies. Coi o sep here Lee, Berkeley: 44
23 Ouline Signals wih disconinuiies Ideal solver seanics Choosing sep sizes Discree phase of execuion Miscellanenous issues Enabling vs. riggering guards Order of reacions o siulaneous evens Nondeerinisic sae achines Sapling disconinuous signals Zeno behaviors Lee, Berkeley: 45 Issue : Enabling vs. Triggering Guards In Modal Models, guards on could have eiher of wo seanic inerpreaions: enabling or riggering. If only enabling seanics are provided, hen i becoes nearly ipossible o give odels whose behavior does no depend on he sep-size choices of he solver. HyVisual uses riggering seanics. Enabling seanics can be realized wih an explici Mone Carlo odel. Lee, Berkeley: 46
24 Issue 2: Order of Reacion o Siulaneous Evens Given an even fro he even source, which of hese should reac firs? Nondeerinisic? Daa precedences? Seanics of a signal: s : T N R In HyVisual, every coninuousie signal has a value a (, ) for any T. This yields deerinisic execuion of he above odel. Siulink/Saeflow and HyVisual declare his o be deerinisic, based on daa precedences. Acor execues before Acor2. Soe foral hybrid syses languages declare his o be nondeerinisic. We believe his is he wrong choice. Lee, Berkeley: 47 Issue 3: Nondeerinisic Sae Machines HyVisual suppors explici Mone Carlo odels of nondeerinis. Alhough his can be done in principle, HyVisual does no suppor his sor of nondeerinis. Wha execuion race should i give? A a ie when he even source yields a posiive nuber, boh ransiions are enabled. Lee, Berkeley: 48
25 Issue 4: Sapling Disconinuous Signals Coninuous signal wih saple ies chosen by he solver: Discree resul of sapling: Saples us be deerinisically aken a - or +. Our choice is -, inspired by hardware seup ies. Noe ha in HyVisual, unlike Siulink, discree signals have no value excep a discree poins. Lee, Berkeley: 49 Issue 5: Zeno Condiions Zeno behavior is a propery of he discree evens in a syse, no a propery of is coninuous dynaics. The coninuous dynaics erely deerine he ie beween evens. Lee, Berkeley: 5
26 Zeno Behavior Can Be Deal Wih (alos Enirely in Discree Evens. Le he se of all signals be S = [T N V ] where V is a se of values. Le an acor be a funcion F : S n S. Wha are he consrains on such funcions such ha:. Coposiions of acors are deerinae. 2. Feedback coposiions have a eaning. 3. We can rule ou Zeno behavior. A sufficien condiion is ha every feedback loop have a lower bound on is ie delay. See [Lee 999] for a review of his resul, based on he Canor Meric. Lee, Berkeley: 5 Observaions If here is a lower bound on he sep size: All signals are discree here is an order ebedding o he naural nubers Inegraors wih he RK2-3 solver are dela causal, so soluion wih feedback is unique no Zeno in discreized seps bu lower bound on he sep size iplies inaccuracies Inegraors wih soe ehods (e.g. rapeziodal rule) are no dela causal, nor even sricly causal, so we have no assurance of a unique soluion in feedback syses. Lee, Berkeley: 52
27 Suary Signals us be able o have uliple values a a ie. Acors us separae reacions o inpus fro sae updaes Suppors even deecion Allows ieraive sep-size adjusen Coposiionaliy Need o be able o ix solvers Need o be able o add hierarchy wihou changing behavior Many deail issues in designing execuable hybrid syses: Guards should rigger raher han enable ransiions. Precedence analysis is essenial. Nondeerinis is easily added wih Mone Carlo ehods Sapling a disconinuiies needs o be well-defined. Zeno condiions are a discree even phenoenon Lee, Berkeley: 53 Open Source Sofware: HyVisual Execuable Hybrid Syse Modeling Buil on Poley II HyVisual 5.- alpha was released in March, 25. Lee, Berkeley: 54
Basic Continuous-Time Modeling
Operaional Seanics of Hybrid Syses Edward A. Lee and Haiyang Zheng Wih conribuions fro: Ada Caaldo, Jie Liu, Xiaojun Liu, Elefherios Masikoudis Chess Seinar, Noveber 6, 24 Absrac In his alk, I will discuss
More informationIntroduction to Numerical Analysis. In this lesson you will be taken through a pair of techniques that will be used to solve the equations of.
Inroducion o Nuerical Analysis oion In his lesson you will be aen hrough a pair of echniques ha will be used o solve he equaions of and v dx d a F d for siuaions in which F is well nown, and he iniial
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 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 informationChapter 8 The Complete Response of RL and RC Circuits
Chaper 8 The Complee Response of RL and RC Circuis Seoul Naional Universiy Deparmen of Elecrical and Compuer Engineering Wha is Firs Order Circuis? Circuis ha conain only one inducor or only one capacior
More informationWave Mechanics. January 16, 2017
Wave Mechanics January 6, 7 The ie-dependen Schrödinger equaion We have seen how he ie-dependen Schrodinger equaion, Ψ + Ψ i Ψ follows as a non-relaivisic version of he Klein-Gordon equaion. In wave echanics,
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 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 informationLinear Time-invariant systems, Convolution, and Cross-correlation
Linear Time-invarian sysems, Convoluion, and Cross-correlaion (1) Linear Time-invarian (LTI) sysem A sysem akes in an inpu funcion and reurns an oupu funcion. x() T y() Inpu Sysem Oupu y() = T[x()] An
More informationOrdinary dierential equations
Chaper 5 Ordinary dierenial equaions Conens 5.1 Iniial value problem........................... 31 5. Forward Euler's mehod......................... 3 5.3 Runge-Kua mehods.......................... 36
More informationGuest Lectures for Dr. MacFarlane s EE3350 Part Deux
Gues Lecures for Dr. MacFarlane s EE3350 Par Deux Michael Plane Mon., 08-30-2010 Wrie name in corner. Poin ou his is a review, so I will go faser. Remind hem o go lisen o online lecure abou geing an A
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 informationProblem set 2 for the course on. Markov chains and mixing times
J. Seif T. Hirscher Soluions o Proble se for he course on Markov chains and ixing ies February 7, 04 Exercise 7 (Reversible chains). (i) Assue ha we have a Markov chain wih ransiion arix P, such ha here
More informationExpert Advice for Amateurs
Exper Advice for Amaeurs Ernes K. Lai Online Appendix - Exisence of Equilibria The analysis in his secion is performed under more general payoff funcions. Wihou aking an explici form, he payoffs of he
More informationRC, RL and RLC circuits
Name Dae Time o Complee h m Parner Course/ Secion / Grade RC, RL and RLC circuis Inroducion In his experimen we will invesigae he behavior of circuis conaining combinaions of resisors, capaciors, and inducors.
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 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 informationFrom Particles to Rigid Bodies
Rigid Body Dynamics From Paricles o Rigid Bodies Paricles No roaions Linear velociy v only Rigid bodies Body roaions Linear velociy v Angular velociy ω Rigid Bodies Rigid bodies have boh a posiion and
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 informationMath 2142 Exam 1 Review Problems. x 2 + f (0) 3! for the 3rd Taylor polynomial at x = 0. To calculate the various quantities:
Mah 4 Eam Review Problems Problem. Calculae he 3rd Taylor polynomial for arcsin a =. Soluion. Le f() = arcsin. For his problem, we use he formula f() + f () + f ()! + f () 3! for he 3rd Taylor polynomial
More informationChapter 9 Sinusoidal Steady State Analysis
Chaper 9 Sinusoidal Seady Sae Analysis 9.-9. The Sinusoidal Source and Response 9.3 The Phasor 9.4 pedances of Passive Eleens 9.5-9.9 Circui Analysis Techniques in he Frequency Doain 9.0-9. The Transforer
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 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 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 informationSimulation-Solving Dynamic Models ABE 5646 Week 2, Spring 2010
Simulaion-Solving Dynamic Models ABE 5646 Week 2, Spring 2010 Week Descripion Reading Maerial 2 Compuer Simulaion of Dynamic Models Finie Difference, coninuous saes, discree ime Simple Mehods Euler Trapezoid
More informationTIME DELAY BASEDUNKNOWN INPUT OBSERVER DESIGN FOR NETWORK CONTROL SYSTEM
TIME DELAY ASEDUNKNOWN INPUT OSERVER DESIGN FOR NETWORK CONTROL SYSTEM Siddhan Chopra J.S. Laher Elecrical Engineering Deparen NIT Kurukshera (India Elecrical Engineering Deparen NIT Kurukshera (India
More informationVehicle Arrival Models : Headway
Chaper 12 Vehicle Arrival Models : Headway 12.1 Inroducion Modelling arrival of vehicle a secion of road is an imporan sep in raffic flow modelling. I has imporan applicaion in raffic flow simulaion where
More informationFinal Spring 2007
.615 Final Spring 7 Overview The purpose of he final exam is o calculae he MHD β limi in a high-bea oroidal okamak agains he dangerous n = 1 exernal ballooning-kink mode. Effecively, his corresponds o
More informationM x t = K x F t x t = A x M 1 F t. M x t = K x cos t G 0. x t = A x cos t F 0
Forced oscillaions (sill undaped): If he forcing is sinusoidal, M = K F = A M F M = K cos G wih F = M G = A cos F Fro he fundaenal heore for linear ransforaions we now ha he general soluion o his inhoogeneous
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 informationon the interval (x + 1) 0! x < ", where x represents feet from the first fence post. How many square feet of fence had to be painted?
Calculus II MAT 46 Improper Inegrals A mahemaician asked a fence painer o complee he unique ask of paining one side of a fence whose face could be described by he funcion y f (x on he inerval (x + x
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 informationNature Neuroscience: doi: /nn Supplementary Figure 1. Spike-count autocorrelations in time.
Supplemenary Figure 1 Spike-coun auocorrelaions in ime. Normalized auocorrelaion marices are shown for each area in a daase. The marix shows he mean correlaion of he spike coun in each ime bin wih he spike
More informationLab 10: RC, RL, and RLC Circuits
Lab 10: RC, RL, and RLC Circuis In his experimen, we will invesigae he behavior of circuis conaining combinaions of resisors, capaciors, and inducors. We will sudy he way volages and currens change in
More informationMATH 4330/5330, Fourier Analysis Section 6, Proof of Fourier s Theorem for Pointwise Convergence
MATH 433/533, Fourier Analysis Secion 6, Proof of Fourier s Theorem for Poinwise Convergence Firs, some commens abou inegraing periodic funcions. If g is a periodic funcion, g(x + ) g(x) for all real x,
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 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 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 information) were both constant and we brought them from under the integral.
YIELD-PER-RECRUIT (coninued The yield-per-recrui model applies o a cohor, bu we saw in he Age Disribuions lecure ha he properies of a cohor do no apply in general o a collecion of cohors, which is wha
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 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 informationSZG Macro 2011 Lecture 3: Dynamic Programming. SZG macro 2011 lecture 3 1
SZG Macro 2011 Lecure 3: Dynamic Programming SZG macro 2011 lecure 3 1 Background Our previous discussion of opimal consumpion over ime and of opimal capial accumulaion sugges sudying he general decision
More 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 informationF This leads to an unstable mode which is not observable at the output thus cannot be controlled by feeding back.
Lecure 8 Las ime: Semi-free configuraion design This is equivalen o: Noe ns, ener he sysem a he same place. is fixed. We design C (and perhaps B. We mus sabilize if i is given as unsable. Cs ( H( s = +
More informationChapter 1 Fundamental Concepts
Chaper 1 Fundamenal Conceps 1 Signals A signal is a paern of variaion of a physical quaniy, ofen as a funcion of ime (bu also space, disance, posiion, ec). These quaniies are usually he independen variables
More informationd 1 = c 1 b 2 - b 1 c 2 d 2 = c 1 b 3 - b 1 c 3
and d = c b - b c c d = c b - b c c This process is coninued unil he nh row has been compleed. The complee array of coefficiens is riangular. Noe ha in developing he array an enire row may be divided or
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 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 information4 Sequences of measurable functions
4 Sequences of measurable funcions 1. Le (Ω, A, µ) be a measure space (complee, afer a possible applicaion of he compleion heorem). In his chaper we invesigae relaions beween various (nonequivalen) convergences
More informationSome Ramsey results for the n-cube
Some Ramsey resuls for he n-cube Ron Graham Universiy of California, San Diego Jozsef Solymosi Universiy of Briish Columbia, Vancouver, Canada Absrac In his noe we esablish a Ramsey-ype resul for cerain
More 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 informationLectures 29 and 30 BIQUADRATICS AND STATE SPACE OP AMP REALIZATIONS. I. Introduction
EE-202/445, 3/18/18 9-1 R. A. DeCarlo Lecures 29 and 30 BIQUADRATICS AND STATE SPACE OP AMP REALIZATIONS I. Inroducion 1. The biquadraic ransfer funcion has boh a 2nd order numeraor and a 2nd order denominaor:
More information6.003 Homework 1. Problems. Due at the beginning of recitation on Wednesday, February 10, 2010.
6.003 Homework Due a he beginning of reciaion on Wednesday, February 0, 200. Problems. Independen and Dependen Variables Assume ha he heigh of a waer wave is given by g(x v) where x is disance, v is velociy,
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 information8. Basic RL and RC Circuits
8. Basic L and C Circuis This chaper deals wih he soluions of he responses of L and C circuis The analysis of C and L circuis leads o a linear differenial equaion This chaper covers he following opics
More informationChallenge Problems. DIS 203 and 210. March 6, (e 2) k. k(k + 2). k=1. f(x) = k(k + 2) = 1 x k
Challenge Problems DIS 03 and 0 March 6, 05 Choose one of he following problems, and work on i in your group. Your goal is o convince me ha your answer is correc. Even if your answer isn compleely correc,
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 informationChapter 7: Solving Trig Equations
Haberman MTH Secion I: The Trigonomeric Funcions Chaper 7: Solving Trig Equaions Le s sar by solving a couple of equaions ha involve he sine funcion EXAMPLE a: Solve he equaion sin( ) The inverse funcions
More informationCHAPTER 6: FIRST-ORDER CIRCUITS
EEE5: CI CUI T THEOY CHAPTE 6: FIST-ODE CICUITS 6. Inroducion This chaper considers L and C circuis. Applying he Kirshoff s law o C and L circuis produces differenial equaions. The differenial equaions
More informationES.1803 Topic 22 Notes Jeremy Orloff
ES.83 Topic Noes Jeremy Orloff Fourier series inroducion: coninued. Goals. Be able o compue he Fourier coefficiens of even or odd periodic funcion using he simplified formulas.. Be able o wrie and graph
More information2.160 System Identification, Estimation, and Learning. Lecture Notes No. 8. March 6, 2006
2.160 Sysem Idenificaion, Esimaion, and Learning Lecure Noes No. 8 March 6, 2006 4.9 Eended Kalman Filer In many pracical problems, he process dynamics are nonlinear. w Process Dynamics v y u Model (Linearized)
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 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 informationCourse Notes for EE227C (Spring 2018): Convex Optimization and Approximation
Course Noes for EE7C Spring 018: Convex Opimizaion and Approximaion Insrucor: Moriz Hard Email: hard+ee7c@berkeley.edu Graduae Insrucor: Max Simchowiz Email: msimchow+ee7c@berkeley.edu Ocober 15, 018 3
More informationMATH 5720: Gradient Methods Hung Phan, UMass Lowell October 4, 2018
MATH 5720: Gradien Mehods Hung Phan, UMass Lowell Ocober 4, 208 Descen Direcion Mehods Consider he problem min { f(x) x R n}. The general descen direcions mehod is x k+ = x k + k d k where x k is he curren
More informationAP Chemistry--Chapter 12: Chemical Kinetics
AP Chemisry--Chaper 12: Chemical Kineics I. Reacion Raes A. The area of chemisry ha deals wih reacion raes, or how fas a reacion occurs, is called chemical kineics. B. The rae of reacion depends on he
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 informationSMT 2014 Calculus Test Solutions February 15, 2014 = 3 5 = 15.
SMT Calculus Tes Soluions February 5,. Le f() = and le g() =. Compue f ()g (). Answer: 5 Soluion: We noe ha f () = and g () = 6. Then f ()g () =. Plugging in = we ge f ()g () = 6 = 3 5 = 5.. There is a
More informationTHE FINITE HAUSDORFF AND FRACTAL DIMENSIONS OF THE GLOBAL ATTRACTOR FOR A CLASS KIRCHHOFF-TYPE EQUATIONS
European Journal of Maheaics and Copuer Science Vol 4 No 7 ISSN 59-995 HE FINIE HAUSDORFF AND FRACAL DIMENSIONS OF HE GLOBAL ARACOR FOR A CLASS KIRCHHOFF-YPE EQUAIONS Guoguang Lin & Xiangshuang Xia Deparen
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 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 informationBias in Conditional and Unconditional Fixed Effects Logit Estimation: a Correction * Tom Coupé
Bias in Condiional and Uncondiional Fixed Effecs Logi Esimaion: a Correcion * Tom Coupé Economics Educaion and Research Consorium, Naional Universiy of Kyiv Mohyla Academy Address: Vul Voloska 10, 04070
More informationFishing limits and the Logistic Equation. 1
Fishing limis and he Logisic Equaion. 1 1. The Logisic Equaion. The logisic equaion is an equaion governing populaion growh for populaions in an environmen wih a limied amoun of resources (for insance,
More informationNotes 04 largely plagiarized by %khc
Noes 04 largely plagiarized by %khc Convoluion Recap Some ricks: x() () =x() x() (, 0 )=x(, 0 ) R ț x() u() = x( )d x() () =ẋ() This hen ells us ha an inegraor has impulse response h() =u(), and ha a differeniaor
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 information6.2 Transforms of Derivatives and Integrals.
SEC. 6.2 Transforms of Derivaives and Inegrals. ODEs 2 3 33 39 23. Change of scale. If l( f ()) F(s) and c is any 33 45 APPLICATION OF s-shifting posiive consan, show ha l( f (c)) F(s>c)>c (Hin: In Probs.
More informationEECE 301 Signals & Systems Prof. Mark Fowler
EECE 3 Signals & Sysems Prof. Mark Fowler Noe Se #2 Wha are Coninuous-Time Signals??? Reading Assignmen: Secion. of Kamen and Heck /22 Course Flow Diagram The arrows here show concepual flow beween ideas.
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 informationKEY. Math 334 Midterm III Winter 2008 section 002 Instructor: Scott Glasgow
KEY Mah 334 Miderm III Winer 008 secion 00 Insrucor: Sco Glasgow Please do NOT wrie on his exam. No credi will be given for such work. Raher wrie in a blue book, or on your own paper, preferably engineering
More informationCE 395 Special Topics in Machine Learning
CE 395 Special Topics in Machine Learning Assoc. Prof. Dr. Yuriy Mishchenko Fall 2017 DIGITAL FILTERS AND FILTERING Why filers? Digial filering is he workhorse of digial signal processing Filering is a
More information( ) = Q 0. ( ) R = R dq. ( t) = I t
ircuis onceps The addiion of a simple capacior o a circui of resisors allows wo relaed phenomena o occur The observaion ha he ime-dependence of a complex waveform is alered by he circui is referred o as
More informationEffects of Coordinate Curvature on Integration
Effecs of Coordinae Curvaure on Inegraion Chrisopher A. Lafore clafore@gmail.com Absrac In his paper, he inegraion of a funcion over a curved manifold is examined in he case where he curvaure of he manifold
More informationEssential Microeconomics : OPTIMAL CONTROL 1. Consider the following class of optimization problems
Essenial Microeconomics -- 6.5: OPIMAL CONROL Consider he following class of opimizaion problems Max{ U( k, x) + U+ ( k+ ) k+ k F( k, x)}. { x, k+ } = In he language of conrol heory, he vecor k is he vecor
More informationFourier Series & The Fourier Transform. Joseph Fourier, our hero. Lord Kelvin on Fourier s theorem. What do we want from the Fourier Transform?
ourier Series & The ourier Transfor Wha is he ourier Transfor? Wha do we wan fro he ourier Transfor? We desire a easure of he frequencies presen in a wave. This will lead o a definiion of he er, he specru.
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 informationExplaining Total Factor Productivity. Ulrich Kohli University of Geneva December 2015
Explaining Toal Facor Produciviy Ulrich Kohli Universiy of Geneva December 2015 Needed: A Theory of Toal Facor Produciviy Edward C. Presco (1998) 2 1. Inroducion Toal Facor Produciviy (TFP) has become
More informationSIGNALS AND SYSTEMS LABORATORY 8: State Variable Feedback Control Systems
SIGNALS AND SYSTEMS LABORATORY 8: Sae Variable Feedback Conrol Syses INTRODUCTION Sae variable descripions for dynaical syses describe he evoluion of he sae vecor, as a funcion of he sae and he inpu. There
More informationLaplace transfom: t-translation rule , Haynes Miller and Jeremy Orloff
Laplace ransfom: -ranslaion rule 8.03, Haynes Miller and Jeremy Orloff Inroducory example Consider he sysem ẋ + 3x = f(, where f is he inpu and x he response. We know is uni impulse response is 0 for
More informationReading from Young & Freedman: For this topic, read sections 25.4 & 25.5, the introduction to chapter 26 and sections 26.1 to 26.2 & 26.4.
PHY1 Elecriciy Topic 7 (Lecures 1 & 11) Elecric Circuis n his opic, we will cover: 1) Elecromoive Force (EMF) ) Series and parallel resisor combinaions 3) Kirchhoff s rules for circuis 4) Time dependence
More informationarxiv: v2 [math.ap] 16 Oct 2017
Unspecified Journal Volume 00, Number 0, Pages 000 000 S????-????XX0000-0 MINIMIZATION SOLUTIONS TO CONSERVATION LAWS WITH NON-SMOOTH AND NON-STRICTLY CONVEX FLUX CAREY CAGINALP arxiv:1708.02339v2 [mah.ap]
More informationSolutions to Assignment 1
MA 2326 Differenial Equaions Insrucor: Peronela Radu Friday, February 8, 203 Soluions o Assignmen. Find he general soluions of he following ODEs: (a) 2 x = an x Soluion: I is a separable equaion as we
More information23.5. Half-Range Series. Introduction. Prerequisites. Learning Outcomes
Half-Range Series 2.5 Inroducion In his Secion we address he following problem: Can we find a Fourier series expansion of a funcion defined over a finie inerval? Of course we recognise ha such a funcion
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 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 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 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 informationEXPLICIT TIME INTEGRATORS FOR NONLINEAR DYNAMICS DERIVED FROM THE MIDPOINT RULE
Version April 30, 2004.Submied o CTU Repors. EXPLICIT TIME INTEGRATORS FOR NONLINEAR DYNAMICS DERIVED FROM THE MIDPOINT RULE Per Krysl Universiy of California, San Diego La Jolla, California 92093-0085,
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 informationConservation of Momentum. The purpose of this experiment is to verify the conservation of momentum in two dimensions.
Conseraion of Moenu Purose The urose of his exerien is o erify he conseraion of oenu in wo diensions. Inroducion and Theory The oenu of a body ( ) is defined as he roduc of is ass () and elociy ( ): When
More informationOn Boundedness of Q-Learning Iterates for Stochastic Shortest Path Problems
MATHEMATICS OF OPERATIONS RESEARCH Vol. 38, No. 2, May 2013, pp. 209 227 ISSN 0364-765X (prin) ISSN 1526-5471 (online) hp://dx.doi.org/10.1287/moor.1120.0562 2013 INFORMS On Boundedness of Q-Learning Ieraes
More information