Hybridization Based Reachability of Uncertain Planar Affine Systems
|
|
- Joshua Neal
- 6 years ago
- Views:
Transcription
1 Hybdzaton Based Reachablty of Uncetan Plana Affne Systems Othmane NASR Mae-Anne LEFEBVRE Heé GUEGUEN Spélec- ER BP 87 Cesson-Ségné Ced Fance Abstact he behao efcaton of hybd systems fo eample fo safety popetes s based on the comptaton of the eachable state space of a hybd atomaton modellng the system nde stdy n ths pape we pesent a method fo the comptaton of eachable set of ncetan hybd affne systems hs method etends peos woks whch compte the eachable set of cetan affne systems by abstactng the contnos dynamcs by a lnea hybd atomaton We show that the calcls of the eachable space of the ncetan system may be dedced fom the comptaton of the eachable sets of a fnte nmbe of cetan systems ntodcton n ode to ense the systems adeacy to the specfcaton aldatons ae necessay n ode to detect the eos ntodced dng the deelopment Valdatons ae geneally obtaned by smlaton bt ths does not allow to cetfy the absence of eos t s ths nteestng to se fomal efcaton n ode to nse the coect behao Fo hybd systems that m dscete eents contnos dynamcs t appeas that pedomnant popetes ae safety [] that they can be epessed by fobdden domans n the state space he efcaton s then based on the calcls of the eachable space fom an ntal egon n ode to gaanty that the system nee eaches ths fobdden doman Ecept fo ey specfc classes of hybd systems [9] eact comptaton of the eachable sets s mpossble he man dffclty les n the comptaton of the eachable sets of the contnos dynamcs he mpotance of the poblem has motated mch eseach on appomate eachablty analyss wo man appoaches hae been deeloped he fst one conssts n comptng by smlaton the eachable space at specfc nstants to dedce fom these eslts an appomaton of the eachable space [78] Uncetanty s then taken nto accont by consdeng an nknown petbaton comptng at each step the wose case ales of the petbaton n each decton wth optmsaton pogammng [ 6 ] he second appoach ses abstact models fo whch the eachable space may be compted [] n peos woks a method based on sch abstacton [ ] has been deeloped fo affne dynamcs Howee t only consdes systems that ae completely known ths appeas to be a geat estcton to apply the method to eal systems n ths pap we popose an etenson of ths method to some ncetan affne systems he pape s oganzed as follows Fst we ntodce the pncples of the abstacton fo cetan systems the hypothess fo modellng of ncetanty hen we eplan how the basc concepts ae sefl to take nto accont the ncetantes how the method can be etended to ncetan systems he basc dea of ths etenson s that the calcls fo contnos aaton of some paamete can be dedced fom the calcls fo a fnte nmbe of specfc ales of ths paamete Aftewads we llstate o appoach by an eample Pncples of the abstacton Pncple of the abstacton wthot ncetanty n ths secton we consde a non-sngla plana affne system n ode to ntodce the basc deas that may be etended to moe comple dynamcs see []) he dynamcs s then modelled by eaton ) whee b R A s an netble mat he elbm pont s then gen by ) X//$ EEE
2 A b e ) A b ) Fo all ponts of a gen lne that stats at the elbm pont the deate ectos ae collnea So fo all ponts of a secto defned by two sch lnes the ecto feld s n the secto defned by the two deate ectos on the bonday as llstated Fge Fo a lne defned by the fst eaton of ) t s possble to chaacteze the ecto feld by the second eaton of ) fo moe detals see []) e ) wth A ) ) Moeo f the bode of sch a secto s defned by a eal left egen ecto of mat A t can t be cossed by contnos taectoy Othewse t s always cossed n the same decton S a) b) Fge Sectos dffeental nclsons fo plana systems t s then possble to etact fom a patton of the state space wth sch sectos an abstacton sch as each locaton s the soce the taget of at most one tanston as llstated Fge Fo a system wth comple egen ales) ts contnos dynamcs s gen by the nclson ) whee the two ectos ae gen by the second eaton of ) e S' ) ) ) t may be noted that ) mposes constants only on the decton not on the nom of the ecto feld bt as the abstacton s sed to calclate the eachable space ths s not a poblem moeoe t makes ths calclaton ey easy ndeed the eachable space fom a pont belongng to a secto s gen by the ntesecton of the secto wth the constants : a) b) ) ) ) ) ) S S S S S S S e S S Fge he patton of the state space a) the assocated atomaton b) Assmptons on ncetanty n ode to take nto accont the modellng ncetanty t s consdeed that the ecto b of eaton ) s not completely known bt can take a fed ale n a cone doman defned by ts etces Howee wthot loss of genealty t wll be consdeed fo smplcty eason that ths doman s a segment he eaton that defnes the stdy dynamcs s then: A b S S 8 S 8 S 7 S 6 S 7 S 6 6) Whee b ) b b ) b b ae known ectos he elbm pont fthe efes ) Reachablty fo ncetan system O am s then to compte an oe-appomaton of the eachable spac fom an ntal pont ald whatee s the ale of n eaton 6) n ode to eplan how ths can be acheed let s ntodce some notatons
3 { / n } s a set of ectos sch as ae lnealy ndependent { R / ) } s the soclne gong thogh the elbm pont othogonal to a ecto t cold be notced that fo all ponts of ths lne the ecto feld s othogonal to A ) that does not depend on S / ) ) { } the secto delmted by the half soclnes assocated wth an elbm pont t s possble to dedce fom ) the peos emak that the dffeental nclson assocated wth sch a secto does not depend on bt only on ) denotes the ntesecton of the eachable R space fom fo the abstacton the secto S And R ) denotes the epected oe-appomaton of the eachable space fom t can be notced that: R ) R ) [] n 7) he dffcltes of comptng R ) wth eaton 7) ae lnked to the contnos aaton of n ode to oecome these dffcltes let s consde a set of eal nmbes sch as fo all m m denote by : R ) R ) the non of the [ ] eachable spaces n S fo all t s then easy to see that eaton 8) holds: R ) R ) 8) he fndamental dea on whch the appoach s based s that a good choce of the allows to compte R ; ) then R ) by 8) Calcls of R ; ) We fst consde that ae two eal sch as the pont belongs to a same secto : a [ S s ] 9) hee ests a eal β sch as ) β β β whee y y y Fge dynamc system n the elately sectos As the dynamcs n the sectos S S S ae the sam fom ) the accessblty spaces fom hae the same fontes We denote by y y y the ntesecton ponts of one fonte wth the coespondng soclnes hese ponts ae algned Moeo we hae: y y β ) y β ) Let s fo defne by : y ) ) y ) ) ) hese ponts belong to the ntesecton of the accessble feld fom y wth see Fge )
4 y y y Fge Accessble space n the elately sectos he pont combnaton of the two ponts s the eslt of a cone : β ) β ) β β ) ) hogh ths easonng we hae shown that the etces of the eachable space n the secto S may be wtten as cone combnaton of the coespondng etces of the eachable space n S n S he same easonng may be ecently appled to the followng sectos then: R ) Con _ hll R ) R )) 6) f o ae non-ndependent then the ponts o may not be defned bt ths s not a lmtaton as ethe the ete of the eachable egon s the elbm pont ethe t s nfnte as shown Fge ) n both cases ths can be consdeed as specal cases of eaton ) hs can be poed by ewtng ): So β y β e efes : β ) y β ) )) )) S Fom 9) β y β y y β ) y β ) )) )) efy espectely: ) ) ) ) ) ) Accodng to ) ) we hae the followng eslt: β β β ) β ) )) )) Fge Accessblty space no lmted When the pont does not belong to the same sectos elate to the thee elbm ponts e the ponts y y y do not efy the eaton 9) they ae not algned) t s then nteestng to consde the patcla ale sch as : - [ ] S - [ ] S hs ale s defned as the ale sch as the pont belongs to see Fge 6) hs wll lead to the choce of the that wll be ntodced n the eachablty calcls f the ponts ests then ae ndependent ths poes ) n the same mann we hae:
5 yb k * yb y * y y Fge 6 Accessblty space n two dffeent sectos Smmng p of the eachablty pocess n the peos pat we hae shown that t s necessay sffcent that ae sch as 9) holds n ode to be able to apply 6) hs s the basc pont of o pocess that hae fo stages: Fst we compte the elbm ponts the ales k k belongs smltaneosly to the sectos S S fo k sch as so that belongs to t s clea that the pont k We then compte the sets R ) fo all ales { / k } petnent ales of by a classcal eachablty comptaton hen we can compte : R ) Con _ hll R ) R )) And fnally we compte R ) by 8) llstate eample n ode to eemplfy the appoach let s consde the system defned by A b b let s compte the eachable 9 space fom he lmt ales of b leads to lmt elbm ponts 7 / he patton of the state space n ode to defne the abstacton s based on ten sectos that ae sch as: S S he applcaton of the fst stage of the appoach 7 / leads to consde e : / / whch s assocated to b 97 / 7 he second stage ges the eachable space fo the thee specfc ales of that ae epesented fge7 - - Fge 7 Reachable space elate to thee elbm ponts Fom these comptatons t s possble to compte R ) see Fge8) R ) see Fge9) fnally R )
6 - - Fge 8 Global eachable space fo [ ] - - Fge9 Global eachable space fo [ ] hese eslts may seem ey ogh bt ths s becase we hae chosen a geat ncetanty on the ales of b n ths eample n ode that the ntemedate eslts may be ead easly f we consde 8 that b b whch s a moe ealstc ncetanty the appoach leads to the fnal eslt that s gen Fge - - Fge Global eachable space % new b ) Conclson pespectes n ths pap we hae pesented a method fo eachablty analyss of ncetan affne systems We etended a peos wok whch has the adantage to allow to compte easly the eachable space when the dynamc systems nde stdy s completely known hs appoach also poed to be well adapted to ncetan systems as t allows to compte the oeappomaton of the eachable space fo ncetan systems whee a paamete takes ales n a contnos space wth a fnte nmbe of patcla ales n ths wok t has been consdeed that the paamete was nknown bt f fte wok wll consde the case whee these paamete may eole wth tme Fnally an othe pont that hae to be consdeed s the adaptaton of ths wok fo systems wth constaned naant domans Refeences [] H Gégen J Zaytoon On the fomal efcaton of hybd systems Contol Engneeng Pactc Else [] M-ALefeb Abstactons po la éfcaton de sûeté des systèmes hybdes ER-Spelec PhD thess Un Rennes n Fench) [] M-ALefeb H Gegen Hybd Abstactons of Affne Systems FAC wold Conges [] -A Henzng P-H Ho H Wong-o Algothmc analyss of non-lnea hybd systems Specal sse on hybd system P-JAntsakls A Node Eds) EEE ansacton on Atomatc Contol ) pp [] A Gad Reachablty of Uncetan Lnea Systems Usng Zonotopes Hybd Systems: Comptaton Contol M Moa L hele Eds) no n LNCS Spng pp 9 [6] Dang Véfcaton et synthèse des systèmes hybdes NPG Genobl PhD thess [7] E Asan O Bonez Dang O Mal Apomate eachablty analyss of pecewse lnea dynamcal systems Hybd Systems: Comptaton Contol N Lynch B H Kogh Eds) no 79 n LNCS Spng pp [8] A Chtnan BH Kogh Vefcaton of polyedal naant hybd atomata sng flow ppe appomatons Hybd Systems: Comptaton Contol F Vaag J Van Schppen Eds) no 69 n LNCS Spng pp 76-9 [9] R Al Dang F ancc Reachablty analyss of hybd systems a pedcate abstacton Hybd Systems: Comptaton Contol CJ omln MR Geensteet Eds) no 89 n LNCS Spng pp - 8 [] A wa GKhanna Geometc pogammng elaaton fo lnea system eachablty Poc Amecan Contol Confeenc [] A Kzhansk P Vaaya Ellpsodal technes fo eachablty analyss Hybd Systems: Comptaton Contol N Lynch B H Kogh Eds) no 79 n LNCS Spng pp -
3. A Review of Some Existing AW (BT, CT) Algorithms
3. A Revew of Some Exstng AW (BT, CT) Algothms In ths secton, some typcal ant-wndp algothms wll be descbed. As the soltons fo bmpless and condtoned tansfe ae smla to those fo ant-wndp, the pesented algothms
More informationUnit_III Complex Numbers: Some Basic Results: 1. If z = x +iy is a complex number, then the complex number z = x iy is
Unt_III Comple Nmbes: In the sstem o eal nmbes R we can sole all qadatc eqatons o the om a b c, a, and the dscmnant b 4ac. When the dscmnant b 4ac
More informationScalars and Vectors Scalar
Scalas and ectos Scala A phscal quantt that s completel chaacteed b a eal numbe (o b ts numecal value) s called a scala. In othe wods a scala possesses onl a magntude. Mass denst volume tempeatue tme eneg
More informationVEKTORANALYS FLUX INTEGRAL LINE INTEGRAL. and. Kursvecka 2. Kapitel 4 5. Sidor 29 50
VEKTORANAYS Ksecka INE INTEGRA and UX INTEGRA Kaptel 4 5 Sdo 9 5 A wnd TARGET PROBEM We want to psh a mne cat along a path fom A to B. Bt the wnd s blowng. How mch enegy s needed? (.e. how mch s the wok?
More informationA New Fuzzy Control Model for Kidney Patients
Appled Mathematcs, 0, 3, 097-0 http://dx.do.og/0.436/am.0.396 Pblshed Onlne Septembe 0 (http://www.scrp.og/onal/am) A ew Fzzy Contol Model fo Kdney Patents Mna Lagzan, Mohammad Shazan, Al Vahdan Kamyad,
More informationCHAPTER 4 EVALUATION OF FORCE-CONSTANT MATRIX
CHAPTER 4 EVALUATION OF FORCE-CONSTANT MATRIX 4.- AIM OF THE WORK As antcpated n the ntodcton the am of the pesent ok s to obtan the nmecal vale of the foce-constant matx fo tantalm. In a fst step expesson
More informationMultistage Median Ranked Set Sampling for Estimating the Population Median
Jounal of Mathematcs and Statstcs 3 (: 58-64 007 ISSN 549-3644 007 Scence Publcatons Multstage Medan Ranked Set Samplng fo Estmatng the Populaton Medan Abdul Azz Jeman Ame Al-Oma and Kamaulzaman Ibahm
More information8 Baire Category Theorem and Uniform Boundedness
8 Bae Categoy Theoem and Unfom Boundedness Pncple 8.1 Bae s Categoy Theoem Valdty of many esults n analyss depends on the completeness popety. Ths popety addesses the nadequacy of the system of atonal
More informationIf there are k binding constraints at x then re-label these constraints so that they are the first k constraints.
Mathematcal Foundatons -1- Constaned Optmzaton Constaned Optmzaton Ma{ f ( ) X} whee X {, h ( ), 1,, m} Necessay condtons fo to be a soluton to ths mamzaton poblem Mathematcally, f ag Ma{ f ( ) X}, then
More informationUNIT10 PLANE OF REGRESSION
UIT0 PLAE OF REGRESSIO Plane of Regesson Stuctue 0. Intoducton Ojectves 0. Yule s otaton 0. Plane of Regesson fo thee Vaales 0.4 Popetes of Resduals 0.5 Vaance of the Resduals 0.6 Summay 0.7 Solutons /
More informationChapter Fifiteen. Surfaces Revisited
Chapte Ffteen ufaces Revsted 15.1 Vecto Descpton of ufaces We look now at the vey specal case of functons : D R 3, whee D R s a nce subset of the plane. We suppose s a nce functon. As the pont ( s, t)
More informationAn Analytical Approach to Turbulent Flow Through Smooth Pipes
An Analytcal Appoach to Tblent Flow Thogh Smooth Ppes AMIN MOOSAIE and GHOLAMALI ATEFI Depatment of Mechancal Engneeng Ian nesty of Scence and Technology P.O. Box 6844, Namak, Tehan IAN amnmoosae@mal.st.ac.
More informationSet of square-integrable function 2 L : function space F
Set of squae-ntegable functon L : functon space F Motvaton: In ou pevous dscussons we have seen that fo fee patcles wave equatons (Helmholt o Schödnge) can be expessed n tems of egenvalue equatons. H E,
More informationEnergy in Closed Systems
Enegy n Closed Systems Anamta Palt palt.anamta@gmal.com Abstact The wtng ndcates a beakdown of the classcal laws. We consde consevaton of enegy wth a many body system n elaton to the nvese squae law and
More informationThermodynamics of solids 4. Statistical thermodynamics and the 3 rd law. Kwangheon Park Kyung Hee University Department of Nuclear Engineering
Themodynamcs of solds 4. Statstcal themodynamcs and the 3 d law Kwangheon Pak Kyung Hee Unvesty Depatment of Nuclea Engneeng 4.1. Intoducton to statstcal themodynamcs Classcal themodynamcs Statstcal themodynamcs
More informationPhysics 2A Chapter 11 - Universal Gravitation Fall 2017
Physcs A Chapte - Unvesal Gavtaton Fall 07 hese notes ae ve pages. A quck summay: he text boxes n the notes contan the esults that wll compse the toolbox o Chapte. hee ae thee sectons: the law o gavtaton,
More informationCOMPLEMENTARY ENERGY METHOD FOR CURVED COMPOSITE BEAMS
ultscence - XXX. mcocd Intenatonal ultdscplnay Scentfc Confeence Unvesty of skolc Hungay - pl 06 ISBN 978-963-358-3- COPLEENTRY ENERGY ETHOD FOR CURVED COPOSITE BES Ákos József Lengyel István Ecsed ssstant
More informationTHE EQUIVALENCE OF GRAM-SCHMIDT AND QR FACTORIZATION (page 227) Gram-Schmidt provides another way to compute a QR decomposition: n
HE EQUIVAENCE OF GRA-SCHID AND QR FACORIZAION (page 7 Ga-Schdt podes anothe way to copute a QR decoposton: n gen ectos,, K, R, Ga-Schdt detenes scalas j such that o + + + [ ] [ ] hs s a QR factozaton of
More informationPHYS 705: Classical Mechanics. Derivation of Lagrange Equations from D Alembert s Principle
1 PHYS 705: Classcal Mechancs Devaton of Lagange Equatons fom D Alembet s Pncple 2 D Alembet s Pncple Followng a smla agument fo the vtual dsplacement to be consstent wth constants,.e, (no vtual wok fo
More informationUsing DP for hierarchical discretization of continuous attributes. Amit Goyal (31 st March 2008)
Usng DP fo heachcal dscetzaton of contnos attbtes Amt Goyal 31 st Mach 2008 Refeence Chng-Cheng Shen and Yen-Lang Chen. A dynamc-pogammng algothm fo heachcal dscetzaton of contnos attbtes. In Eopean Jonal
More information( ) α is determined to be a solution of the one-dimensional minimization problem: = 2. min = 2
Homewo (Patal Solton) Posted on Mach, 999 MEAM 5 Deental Eqaton Methods n Mechancs. Sole the ollowng mat eqaton A b by () Steepest Descent Method and/o Pecondtoned SD Method Snce the coecent mat A s symmetc,
More informationChapter IV Vector and Tensor Analysis IV.2 Vector and Tensor Analysis September 29,
hapte I ecto and Tenso Analyss I. ecto and Tenso Analyss eptembe 9, 08 47 hapte I ecto and Tenso Analyss I. ecto and Tenso Analyss eptembe 9, 08 48 I. ETOR AND TENOR ANALYI I... Tenso functon th Let A
More informationContact, information, consultations
ontact, nfomaton, consultatons hemsty A Bldg; oom 07 phone: 058-347-769 cellula: 664 66 97 E-mal: wojtek_c@pg.gda.pl Offce hous: Fday, 9-0 a.m. A quote of the week (o camel of the week): hee s no expedence
More informationPhysics 11b Lecture #2. Electric Field Electric Flux Gauss s Law
Physcs 11b Lectue # Electc Feld Electc Flux Gauss s Law What We Dd Last Tme Electc chage = How object esponds to electc foce Comes n postve and negatve flavos Conseved Electc foce Coulomb s Law F Same
More informationIntegral Vector Operations and Related Theorems Applications in Mechanics and E&M
Dola Bagayoko (0) Integal Vecto Opeatons and elated Theoems Applcatons n Mechancs and E&M Ι Basc Defnton Please efe to you calculus evewed below. Ι, ΙΙ, andιιι notes and textbooks fo detals on the concepts
More informationRotational Kinematics. Rigid Object about a Fixed Axis Western HS AP Physics 1
Rotatonal Knematcs Rgd Object about a Fxed Axs Westen HS AP Physcs 1 Leanng Objectes What we know Unfom Ccula Moton q s Centpetal Acceleaton : Centpetal Foce: Non-unfom a F c c m F F F t m ma t What we
More information4.4 Continuum Thermomechanics
4.4 Contnuum Themomechancs The classcal themodynamcs s now extended to the themomechancs of a contnuum. The state aables ae allowed to ay thoughout a mateal and pocesses ae allowed to be eesble and moe
More informationEngineering Mechanics. Force resultants, Torques, Scalar Products, Equivalent Force systems
Engneeng echancs oce esultants, Toques, Scala oducts, Equvalent oce sstems Tata cgaw-hll Companes, 008 Resultant of Two oces foce: acton of one bod on anothe; chaacteed b ts pont of applcaton, magntude,
More informationRigid Bodies: Equivalent Systems of Forces
Engneeng Statcs, ENGR 2301 Chapte 3 Rgd Bodes: Equvalent Sstems of oces Intoducton Teatment of a bod as a sngle patcle s not alwas possble. In geneal, the se of the bod and the specfc ponts of applcaton
More informationChapter 13 - Universal Gravitation
Chapte 3 - Unesal Gataton In Chapte 5 we studed Newton s thee laws of moton. In addton to these laws, Newton fomulated the law of unesal gataton. Ths law states that two masses ae attacted by a foce gen
More informationChapter I Matrices, Vectors, & Vector Calculus 1-1, 1-9, 1-10, 1-11, 1-17, 1-18, 1-25, 1-27, 1-36, 1-37, 1-41.
Chapte I Matces, Vectos, & Vecto Calculus -, -9, -0, -, -7, -8, -5, -7, -36, -37, -4. . Concept of a Scala Consde the aa of patcles shown n the fgue. he mass of the patcle at (,) can be epessed as. M (,
More informationOptimization Methods: Linear Programming- Revised Simplex Method. Module 3 Lecture Notes 5. Revised Simplex Method, Duality and Sensitivity analysis
Optmzaton Meods: Lnea Pogammng- Revsed Smple Meod Module Lectue Notes Revsed Smple Meod, Dualty and Senstvty analyss Intoducton In e pevous class, e smple meod was dscussed whee e smple tableau at each
More informationDynamics of Rigid Bodies
Dynamcs of Rgd Bodes A gd body s one n whch the dstances between consttuent patcles s constant thoughout the moton of the body,.e. t keeps ts shape. Thee ae two knds of gd body moton: 1. Tanslatonal Rectlnea
More informationPart V: Velocity and Acceleration Analysis of Mechanisms
Pat V: Velocty an Acceleaton Analyss of Mechansms Ths secton wll evew the most common an cuently pactce methos fo completng the knematcs analyss of mechansms; escbng moton though velocty an acceleaton.
More informationON THE FRESNEL SINE INTEGRAL AND THE CONVOLUTION
IJMMS 3:37, 37 333 PII. S16117131151 http://jmms.hndaw.com Hndaw Publshng Cop. ON THE FRESNEL SINE INTEGRAL AND THE CONVOLUTION ADEM KILIÇMAN Receved 19 Novembe and n evsed fom 7 Mach 3 The Fesnel sne
More informationTest 1 phy What mass of a material with density ρ is required to make a hollow spherical shell having inner radius r i and outer radius r o?
Test 1 phy 0 1. a) What s the pupose of measuement? b) Wte all fou condtons, whch must be satsfed by a scala poduct. (Use dffeent symbols to dstngush opeatons on ectos fom opeatons on numbes.) c) What
More information9/12/2013. Microelectronics Circuit Analysis and Design. Modes of Operation. Cross Section of Integrated Circuit npn Transistor
Mcoelectoncs Ccut Analyss and Desgn Donald A. Neamen Chapte 5 The pola Juncton Tanssto In ths chapte, we wll: Dscuss the physcal stuctue and opeaton of the bpola juncton tanssto. Undestand the dc analyss
More informationgravity r2,1 r2 r1 by m 2,1
Gavtaton Many of the foundatons of classcal echancs wee fst dscoveed when phlosophes (ealy scentsts and atheatcans) ted to explan the oton of planets and stas. Newton s ost faous fo unfyng the oton of
More informationData Structures Week #10. Graphs & Graph Algorithms
Data Stctes Week #0 Gaphs & Gaph Algoithms Otline Motiation fo Gaphs Definitions Repesentation of Gaphs Topological Sot Beadth-Fist Seach (BFS) Depth-Fist Seach (DFS) Single-Soce Shotest Path Poblem (SSSP)
More informationCapítulo. Three Dimensions
Capítulo Knematcs of Rgd Bodes n Thee Dmensons Mecánca Contents ntoducton Rgd Bod Angula Momentum n Thee Dmensons Pncple of mpulse and Momentum Knetc Eneg Sample Poblem 8. Sample Poblem 8. Moton of a Rgd
More information6. Introduction to Transistor Amplifiers: Concepts and Small-Signal Model
6. ntoucton to anssto mples: oncepts an Small-Sgnal Moel Lectue notes: Sec. 5 Sea & Smth 6 th E: Sec. 5.4, 5.6 & 6.3-6.4 Sea & Smth 5 th E: Sec. 4.4, 4.6 & 5.3-5.4 EE 65, Wnte203, F. Najmaba Founaton o
More information(8) Gain Stage and Simple Output Stage
EEEB23 Electoncs Analyss & Desgn (8) Gan Stage and Smple Output Stage Leanng Outcome Able to: Analyze an example of a gan stage and output stage of a multstage amplfe. efeence: Neamen, Chapte 11 8.0) ntoducton
More informationDYNAMICS VECTOR MECHANICS FOR ENGINEERS: Kinematics of Rigid Bodies in Three Dimensions. Seventh Edition CHAPTER
Edton CAPTER 8 VECTOR MECANCS FOR ENGNEERS: DYNAMCS Fednand P. Bee E. Russell Johnston, J. Lectue Notes: J. Walt Ole Teas Tech Unvest Knematcs of Rgd Bodes n Thee Dmensons 003 The McGaw-ll Companes, nc.
More information4. Linear systems of equations. In matrix form: Given: matrix A and vector b Solve: Ax = b. Sup = least upper bound
4. Lnea systes of eqatons a a a a 3 3 a a a a 3 3 a a a a 3 3 In at fo: a a a3 a a a a3 a a a a3 a Defnton ( vecto no): On a vecto space V, a vecto no s a fncton fo V to e set of non-negatve eal nes at
More informationMachine Learning. Spectral Clustering. Lecture 23, April 14, Reading: Eric Xing 1
Machne Leanng -7/5 7/5-78, 78, Spng 8 Spectal Clusteng Ec Xng Lectue 3, pl 4, 8 Readng: Ec Xng Data Clusteng wo dffeent ctea Compactness, e.g., k-means, mxtue models Connectvty, e.g., spectal clusteng
More informationINTRODUCTION. consider the statements : I there exists x X. f x, such that. II there exists y Y. such that g y
INRODUCION hs dssetaton s the eadng of efeences [1], [] and [3]. Faas lemma s one of the theoems of the altenatve. hese theoems chaacteze the optmalt condtons of seveal mnmzaton poblems. It s nown that
More informationMechanics Physics 151
Mechancs Physcs 151 Lectue 18 Hamltonan Equatons of Moton (Chapte 8) What s Ahead We ae statng Hamltonan fomalsm Hamltonan equaton Today and 11/6 Canoncal tansfomaton 1/3, 1/5, 1/10 Close lnk to non-elatvstc
More informationGeneral Variance Covariance Structures in Two-Way Random Effects Models
Appled Mathematcs 3 4 64-63 http://dxdoog/436/am34486 Publshed Onlne Apl 3 (http://wwwscpog/jounal/am) Geneal aance Covaance Stuctues n wo-way Rom Effects Models Calos e Poes Jaya Kshnakuma epatment of
More informationGenerating Functions, Weighted and Non-Weighted Sums for Powers of Second-Order Recurrence Sequences
Geneatng Functons, Weghted and Non-Weghted Sums fo Powes of Second-Ode Recuence Sequences Pantelmon Stăncă Aubun Unvesty Montgomey, Depatment of Mathematcs Montgomey, AL 3614-403, USA e-mal: stanca@studel.aum.edu
More informationAPPLICATIONS OF SEMIGENERALIZED -CLOSED SETS
Intenatonal Jounal of Mathematcal Engneeng Scence ISSN : 22776982 Volume Issue 4 (Apl 202) http://www.mes.com/ https://stes.google.com/ste/mesounal/ APPLICATIONS OF SEMIGENERALIZED CLOSED SETS G.SHANMUGAM,
More information24-2: Electric Potential Energy. 24-1: What is physics
D. Iyad SAADEDDIN Chapte 4: Electc Potental Electc potental Enegy and Electc potental Calculatng the E-potental fom E-feld fo dffeent chage dstbutons Calculatng the E-feld fom E-potental Potental of a
More informationCSJM University Class: B.Sc.-II Sub:Physics Paper-II Title: Electromagnetics Unit-1: Electrostatics Lecture: 1 to 4
CSJM Unvesty Class: B.Sc.-II Sub:Physcs Pape-II Ttle: Electomagnetcs Unt-: Electostatcs Lectue: to 4 Electostatcs: It deals the study of behavo of statc o statonay Chages. Electc Chage: It s popety by
More informationChapter IV Vector and Tensor Analysis IV.2 Vector and Tensor Analysis September 23,
hapte I ecto and Tenso Analyss I. ecto and Tenso Analyss eptembe, 07 47 hapte I ecto and Tenso Analyss I. ecto and Tenso Analyss eptembe, 07 48 I. ETOR AND TENOR ANALYI I... Tenso functon th Let A n n
More informationA Brief Guide to Recognizing and Coping With Failures of the Classical Regression Assumptions
A Bef Gude to Recognzng and Copng Wth Falues of the Classcal Regesson Assumptons Model: Y 1 k X 1 X fxed n epeated samples IID 0, I. Specfcaton Poblems A. Unnecessay explanatoy vaables 1. OLS s no longe
More informationOn a New Definition of a Stochastic-based Accuracy Concept of Data Reconciliation-Based Estimators
On a New Defnton of a Stochastc-based Accuacy Concept of Data Reconclaton-Based Estmatos M. Bagajewcz Unesty of Olahoma 100 E. Boyd St., Noman OK 73019, USA Abstact Tadtonally, accuacy of an nstument s
More informationV. Principles of Irreversible Thermodynamics. s = S - S 0 (7.3) s = = - g i, k. "Flux": = da i. "Force": = -Â g a ik k = X i. Â J i X i (7.
Themodynamcs and Knetcs of Solds 71 V. Pncples of Ievesble Themodynamcs 5. Onsage s Teatment s = S - S 0 = s( a 1, a 2,...) a n = A g - A n (7.6) Equlbum themodynamcs detemnes the paametes of an equlbum
More informationˆ SSE SSE q SST R SST R q R R q R R q
Bll Evas Spg 06 Sggested Aswes, Poblem Set 5 ECON 3033. a) The R meases the facto of the vaato Y eplaed by the model. I ths case, R =SSM/SST. Yo ae gve that SSM = 3.059 bt ot SST. Howeve, ote that SST=SSM+SSE
More informationGroupoid and Topological Quotient Group
lobal Jounal of Pue and Appled Mathematcs SSN 0973-768 Volume 3 Numbe 7 07 pp 373-39 Reseach nda Publcatons http://wwwpublcatoncom oupod and Topolocal Quotent oup Mohammad Qasm Manna Depatment of Mathematcs
More informationInfinite Horizon MPC applied to batch processes. Part II
Innte Hozon MPC appled to batch pocesses Pat II Aleando H González Edado J Adam Dac Odloa 2 and Jacnto L Machett Insttte o echnologcal Development o the Chemcal Indsty (INEC) CONICE - Unvesdad Naconal
More informationTian Zheng Department of Statistics Columbia University
Haplotype Tansmsson Assocaton (HTA) An "Impotance" Measue fo Selectng Genetc Makes Tan Zheng Depatment of Statstcs Columba Unvesty Ths s a jont wok wth Pofesso Shaw-Hwa Lo n the Depatment of Statstcs at
More informationA Selective and Gradual Method for Efficiency Improvement of DEA Models
Aled Mathematcal Scences, Vol. 3, 009, no., 58-590 A Selecte and Gadal Method fo Effcenc Imoement of DEA Models M. R. Alezaee* and M. Afshaan** Ian Unest of Scence and Technolog Mathematcs Faclt, Namak,
More informationSkps Media
Skps Media Skps Media Skps Media Skps Media Skps Media Skps Media Skps Media Skps Media Skps Media Skps Media Skps Media Skps Media Skps Media Skps Media Skps Media Skps Media Skps Media Skps Media Skps
More informationThe Forming Theory and the NC Machining for The Rotary Burs with the Spectral Edge Distribution
oden Appled Scence The Fomn Theoy and the NC achnn fo The Rotay us wth the Spectal Ede Dstbuton Huan Lu Depatment of echancal Enneen, Zhejan Unvesty of Scence and Technoloy Hanzhou, c.y. chan, 310023,
More informationA. Thicknesses and Densities
10 Lab0 The Eath s Shells A. Thcknesses and Denstes Any theoy of the nteo of the Eath must be consstent wth the fact that ts aggegate densty s 5.5 g/cm (ecall we calculated ths densty last tme). In othe
More information= y and Normed Linear Spaces
304-50 LINER SYSTEMS Lectue 8: Solutos to = ad Nomed Lea Spaces 73 Fdg N To fd N, we eed to chaacteze all solutos to = 0 Recall that ow opeatos peseve N, so that = 0 = 0 We ca solve = 0 ecusvel backwads
More informationAE/ME 339. K. M. Isaac. 8/31/2004 topic4: Implicit method, Stability, ADI method. Computational Fluid Dynamics (AE/ME 339) MAEEM Dept.
AE/ME 339 Comptatonal Fld Dynamcs (CFD) Comptatonal Fld Dynamcs (AE/ME 339) Implct form of dfference eqaton In the prevos explct method, the solton at tme level n,,n, depended only on the known vales of,
More informationCOORDINATE SYSTEMS, COORDINATE TRANSFORMS, AND APPLICATIONS
Dola Bagaoo 0 COORDINTE SYSTEMS COORDINTE TRNSFORMS ND PPLICTIONS I. INTRODUCTION Smmet coce of coodnate sstem. In solvng Pscs poblems one cooses a coodnate sstem tat fts te poblem at and.e. a coodnate
More information4 SingularValue Decomposition (SVD)
/6/00 Z:\ jeh\self\boo Kannan\Jan-5-00\4 SVD 4 SngulaValue Decomposton (SVD) Chapte 4 Pat SVD he sngula value decomposton of a matx s the factozaton of nto the poduct of thee matces = UDV whee the columns
More informationChapter 23: Electric Potential
Chapte 23: Electc Potental Electc Potental Enegy It tuns out (won t show ths) that the tostatc foce, qq 1 2 F ˆ = k, s consevatve. 2 Recall, fo any consevatve foce, t s always possble to wte the wok done
More informationSummer Workshop on the Reaction Theory Exercise sheet 8. Classwork
Joned Physcs Analyss Cente Summe Wokshop on the Reacton Theoy Execse sheet 8 Vncent Matheu Contact: http://www.ndana.edu/~sst/ndex.html June June To be dscussed on Tuesday of Week-II. Classwok. Deve all
More informationA Verified Algorithm for Geometric Zonotope/Hyperplane Intersection
A Vefed Algothm fo Geometc Zonotope/Hypeplane Intesecton Faban Immle Technsche Unvestät München mmle@n.tum.de Abstact To pefom goous numecal computatons, one can use a genealzaton of nteval athmetc, namely
More informationSummary of DLT method for stereo camera calibration, 3D reconstruction and robot-camera integration
tes n T Smma f T meth f stee camea calbatn, ecnstctn an bt-camea ntegatn. amea calbatn Statng pnt: pespecte eqatns f a camea These eqatns map the cnates f a genec pnt n space,, nt the cespnng cnates n
More informationThe Greatest Deviation Correlation Coefficient and its Geometrical Interpretation
By Rudy A. Gdeon The Unvesty of Montana The Geatest Devaton Coelaton Coeffcent and ts Geometcal Intepetaton The Geatest Devaton Coelaton Coeffcent (GDCC) was ntoduced by Gdeon and Hollste (987). The GDCC
More informationPhysics 202, Lecture 2. Announcements
Physcs 202, Lectue 2 Today s Topcs Announcements Electc Felds Moe on the Electc Foce (Coulomb s Law The Electc Feld Moton of Chaged Patcles n an Electc Feld Announcements Homewok Assgnment #1: WebAssgn
More informationGENERALIZATION OF AN IDENTITY INVOLVING THE GENERALIZED FIBONACCI NUMBERS AND ITS APPLICATIONS
#A39 INTEGERS 9 (009), 497-513 GENERALIZATION OF AN IDENTITY INVOLVING THE GENERALIZED FIBONACCI NUMBERS AND ITS APPLICATIONS Mohaad Faokh D. G. Depatent of Matheatcs, Fedows Unvesty of Mashhad, Mashhad,
More informationChapter I Vector Analysis
. Chpte I Vecto nlss . Vecto lgeb j It s well-nown tht n vecto cn be wtten s Vectos obe the followng lgebc ules: scl s ) ( j v v cos ) ( e Commuttv ) ( ssoctve C C ) ( ) ( v j ) ( ) ( ) ( ) ( (v) he lw
More informationP 365. r r r )...(1 365
SCIENCE WORLD JOURNAL VOL (NO4) 008 www.scecncewoldounal.og ISSN 597-64 SHORT COMMUNICATION ANALYSING THE APPROXIMATION MODEL TO BIRTHDAY PROBLEM *CHOJI, D.N. & DEME, A.C. Depatment of Mathematcs Unvesty
More informationN = N t ; t 0. N is the number of claims paid by the
Iulan MICEA, Ph Mhaela COVIG, Ph Canddate epatment of Mathematcs The Buchaest Academy of Economc Studes an CECHIN-CISTA Uncedt Tac Bank, Lugoj SOME APPOXIMATIONS USE IN THE ISK POCESS OF INSUANCE COMPANY
More informationSOME NEW SELF-DUAL [96, 48, 16] CODES WITH AN AUTOMORPHISM OF ORDER 15. KEYWORDS: automorphisms, construction, self-dual codes
Факултет по математика и информатика, том ХVІ С, 014 SOME NEW SELF-DUAL [96, 48, 16] CODES WITH AN AUTOMORPHISM OF ORDER 15 NIKOLAY I. YANKOV ABSTRACT: A new method fo constuctng bnay self-dual codes wth
More informationChapter Finite Difference Method for Ordinary Differential Equations
Chape 8.7 Fne Dffeence Mehod fo Odnay Dffeenal Eqaons Afe eadng hs chape, yo shold be able o. Undesand wha he fne dffeence mehod s and how o se o solve poblems. Wha s he fne dffeence mehod? The fne dffeence
More informationCS 3750 Machine Learning Lecture 6. Monte Carlo methods. CS 3750 Advanced Machine Learning. Markov chain Monte Carlo
CS 3750 Machne Learnng Lectre 6 Monte Carlo methods Mlos Haskrecht mlos@cs.ptt.ed 5329 Sennott Sqare Markov chan Monte Carlo Importance samplng: samples are generated accordng to Q and every sample from
More informationBifurcation Analysis for the Delay Logistic Equation with Two Delays
IOSR Jounal of Mathematics (IOSR-JM) e-issn: 78-578, p-issn: 39-765X. Volume, Issue 5 Ve. IV (Sep. - Oct. 05), PP 53-58 www.iosjounals.og Bifucation Analysis fo the Delay Logistic Equation with Two Delays
More informationRemember: When an object falls due to gravity its potential energy decreases.
Chapte 5: lectc Potental As mentoned seveal tmes dung the uate Newton s law o gavty and Coulomb s law ae dentcal n the mathematcal om. So, most thngs that ae tue o gavty ae also tue o electostatcs! Hee
More information19 The Born-Oppenheimer Approximation
9 The Bon-Oppenheme Appoxmaton The full nonelatvstc Hamltonan fo a molecule s gven by (n a.u.) Ĥ = A M A A A, Z A + A + >j j (883) Lets ewte the Hamltonan to emphasze the goal as Ĥ = + A A A, >j j M A
More informationRelaxed LMI Based designs for Takagi Sugeno Fuzzy Regulators and Observers Poly-Quadratic Lyapunov Function approach
Poceedngs of the 9 EEE ntenatonal Confeence on Systems, Man, and Cybenetcs San Antono, X, USA - Octobe 9 Relaxed LM Based desgns fo aag Sugeno uzzy Regulatos and Obsees Poly-Quadatc Lyapuno uncton appoach
More informationPhysics 207 Lecture 16
Physcs 07 Lectue 6 Goals: Lectue 6 Chapte Extend the patcle odel to gd-bodes Undestand the equlbu of an extended object. Analyze ollng oton Undestand otaton about a fxed axs. Eploy consevaton of angula
More informationDensity Functional Theory I
Densty Functonal Theoy I cholas M. Hason Depatment of Chemsty Impeal College Lonon & Computatonal Mateals Scence Daesbuy Laboatoy ncholas.hason@c.ac.uk Densty Functonal Theoy I The Many Electon Schönge
More informationTEST-03 TOPIC: MAGNETISM AND MAGNETIC EFFECT OF CURRENT Q.1 Find the magnetic field intensity due to a thin wire carrying current I in the Fig.
TEST-03 TPC: MAGNETSM AND MAGNETC EFFECT F CURRENT Q. Fnd the magnetc feld ntensty due to a thn we cayng cuent n the Fg. - R 0 ( + tan) R () 0 ( ) R 0 ( + ) R 0 ( + tan ) R Q. Electons emtted wth neglgble
More informationMarkscheme May 2017 Calculus Higher level Paper 3
M7/5/MATHL/HP3/ENG/TZ0/SE/M Makscheme May 07 Calculus Highe level Pape 3 pages M7/5/MATHL/HP3/ENG/TZ0/SE/M This makscheme is the popety of the Intenational Baccalaueate and must not be epoduced o distibuted
More informationTensor. Syllabus: x x
Tenso Sllabus: Tenso Calculus : Catesan tensos. Smmetc and antsmmetc tensos. Lev Vvta tenso denst. Pseudo tensos. Dual tensos. Dect poduct and contacton. Dads and dadc. Covaant, Contavaant and med tensos.
More informationChapter 8. Linear Momentum, Impulse, and Collisions
Chapte 8 Lnea oentu, Ipulse, and Collsons 8. Lnea oentu and Ipulse The lnea oentu p of a patcle of ass ovng wth velocty v s defned as: p " v ote that p s a vecto that ponts n the sae decton as the velocty
More informationχ x B E (c) Figure 2.1.1: (a) a material particle in a body, (b) a place in space, (c) a configuration of the body
Secton.. Moton.. The Materal Body and Moton hyscal materals n the real world are modeled usng an abstract mathematcal entty called a body. Ths body conssts of an nfnte number of materal partcles. Shown
More informationAsymptotic Waves for a Non Linear System
Int Jounal of Math Analyss, Vol 3, 9, no 8, 359-367 Asymptotc Waves fo a Non Lnea System Hamlaou Abdelhamd Dépatement de Mathématques, Faculté des Scences Unvesté Bad Mokhta BP,Annaba, Algea hamdhamlaou@yahoof
More informationUNIVERSITÀ DI PISA. Math thbackground
UNIVERSITÀ DI ISA Electomagnetc Radatons and Bologcal l Inteactons Lauea Magstale n Bomedcal Engneeng Fst semeste (6 cedts), academc ea 2011/12 of. aolo Nepa p.nepa@et.unp.t Math thbackgound Edted b D.
More informationInstantaneous velocity field of a round jet
Fee shea flows Instantaneos velocty feld of a ond et 3 Aveage velocty feld of a ond et 4 Vtal ogn nozzle coe Developng egon elf smla egon 5 elf smlaty caled vaables: ~ Q ξ ( ξ, ) y δ ( ) Q Q (, y) ( )
More informationBruce A. Draper & J. Ross Beveridge, January 25, Geometric Image Manipulation. Lecture #1 January 25, 2013
Brce A. Draper & J. Ross Beerdge, Janar 5, Geometrc Image Manplaton Lectre # Janar 5, Brce A. Draper & J. Ross Beerdge, Janar 5, Image Manplaton: Contet To start wth the obos, an mage s a D arra of pels
More informationWashout Enabled RED. This paper is organized as follows. In Section II we recall
1 Washot Enabled RED Pya Ranjan, Rchad J. La, and Eyad H. Abed Depatment of Electcal and Compte Engneeng Unvesty of Mayland, College Pak pya, hyongla, abed @eng.md.ed Abstact Recently, the athos pesented
More informationLinks in edge-colored graphs
Lnks n edge-coloed gaphs J.M. Becu, M. Dah, Y. Manoussaks, G. Mendy LRI, Bât. 490, Unvesté Pas-Sud 11, 91405 Osay Cedex, Fance Astact A gaph s k-lnked (k-edge-lnked), k 1, f fo each k pas of vetces x 1,
More information2/24/2014. The point mass. Impulse for a single collision The impulse of a force is a vector. The Center of Mass. System of particles
/4/04 Chapte 7 Lnea oentu Lnea oentu of a Sngle Patcle Lnea oentu: p υ It s a easue of the patcle s oton It s a vecto, sla to the veloct p υ p υ p υ z z p It also depends on the ass of the object, sla
More informationObserver Design for Takagi-Sugeno Descriptor System with Lipschitz Constraints
Intenatonal Jounal of Instumentaton and Contol Systems (IJICS) Vol., No., Apl Obseve Desgn fo akag-sugeno Descpto System wth Lpschtz Constants Klan Ilhem,Jab Dalel, Bel Hadj Al Saloua and Abdelkm Mohamed
More information