[ ] [ 2 [ ] [ ] ( ) [ ] Tehtävä 1. ( ) ( ) ( ) ( ) ( ) ( ) 2( ) = 1. E v k 1( ) R E[ v k v k ] E e k e k e k e k. e k e k e k e k.

Samankaltaiset tiedostot
Estimointi Laajennettu Kalman-suodin. AS , Automaation signaalinkäsittelymenetelmät Laskuharjoitus 4

Kalman-suodin. AS , Automaation signaalinkäsittelymenetelmät. Laskuharjoitus 3

EETU OJANEN SIGNAALIN ENNUSTAMINEN KALMAN-SUOTIMELLA. Kandidaatintyö

Olkoot X ja Y riippumattomia satunnaismuuttujia, joiden odotusarvot, varianssit ja kovarianssi ovat

2 Taylor-polynomit ja -sarjat

V. POTENSSISARJAT. V.1. Abelin lause ja potenssisarjan suppenemisväli. a k (x x 0 ) k M

Antti Somppi Paloittain päivittävä Kalmanin suodatin. Kandidaatintyö

Differentiaali- ja integraalilaskenta 1 Ratkaisut 1. viikolle /

Todennäköisyysjakaumat 1/5 Sisältö ESITIEDOT: todennäköisyyslaskenta, määrätty integraali

DEE Lineaariset järjestelmät Harjoitus 2, ratkaisuehdotukset. Johdanto differenssiyhtälöiden ratkaisemiseen

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä ym., osa I

Ennen kuin mennään varsinaisesti tämän harjoituksen asioihin, otetaan aluksi yksi merkintätekninen juttu. Tarkastellaan differenssiyhtälöä

1. YKSISUUNTAINEN VARIANSSIANALYYSI: AINEISTON ESITYSMUODOT

DEE Lineaariset järjestelmät Harjoitus 5, harjoitustenpitäjille tarkoitetut ratkaisuehdotukset

Vakuutusteknisistä riskeistä johtuvien suureiden laskemista varten käytettävä vakuutuslajiryhmittely.

funktiojono. Funktiosarja f k a k (x x 0 ) k

J1 (II.6.9) J2 (X.5.5) MATRIISILASKENTA(TFM) MALLIT AV 6

Todennäköisyyslaskenta IIa, syys lokakuu 2019 / Hytönen 1. laskuharjoitus, ratkaisuehdotukset

Matemaattinen Analyysi

9 Lukumäärien laskemisesta

MAB7 Talousmatematiikka. Otavan Opisto / Kati Jordan

(1 + i) + JA. t=1. t=1. (1 + i) n (1 + i) n. = H + k (1 + i)n 1 i(1 + i) n + JA

DISKREETIN MATEMATIIKAN SOVELLUKSIA: KANAVA-EKVALISOINTI TIEDONSIIRROSSA. Taustaa

z z 0 (m 1)! g(m 1) (z0) k=0 Siksi kun funktioon f(z) sovelletaan Cauchyn integraalilausetta, on voimassa: sin(z 2 dz = (z i) n+1 k=0

MS-A0402 Diskreetin matematiikan perusteet

Projekti 5 Systeemifunktiot ja kaksiportit. Kukin ryhmistä tarkastelee piiriä eri taajuuksilla. Ryhmäni taajuus on

III. SARJATEORIAN ALKEITA. III.1. Sarjan suppeneminen. x k = x 1 + x 2 + x ,

Ellipsoidimenetelmä. Samuli Leppänen Kokonaislukuoptimointi. S ysteemianalyysin Laboratorio

KJR-C2002 Kontinuumimekaniikan perusteet, viikko 45/2017

Matematiikan tukikurssi

Joulukuun vaativammat valmennustehtävät ratkaisut

järjestelmät Luku 2 Diskreettiaikaiset järjestelmät - aikataso DEE Lineaariset järjestelmät Risto Mikkonen

6 Lineaarisen ennustuksen sovelluksia

4.3 Erillisten joukkojen yhdisteet

4.0.2 Kuinka hyvä ennuste on?

Tehtävä 3. Määrää seuraavien jonojen raja-arvot 1.

2.8 Mallintaminen ensimmäisen asteen polynomifunktion avulla

Vakuutusmatematiikan sovellukset klo 9-15

Talousmatematiikan verkkokurssi. Koronkorkolaskut

järjestelmät Diskreettiaikaiset järjestelmät aikatason analyysi DEE Lineaariset järjestelmät Risto Mikkonen

JOHDATUS LUKUTEORIAAN (syksy 2017) HARJOITUS 1, MALLIRATKAISUT

Projekti 5 Systeemifunktiot ja kaksiportit. Kukin ryhmistä tarkastelee piiriä eri taajuuksilla. Ryhmäni taajuus on

VÄRÄHTELYMEKANIIKKA SESSIO 19: Usean vapausasteen systeemin liikeyhtälöiden johto Newtonin lakia käyttäen

termit on luontevaa kirjoittaa summamuodossa. Tällöin päädymme lukusarjojen teoriaan: a k = s.

M 2 M = sup E M 2 t. E X t = lim. niin martingaalikonvergenssilauseen oletukset ovat voimassa, eli löydämme satunnaismuuttujan M, joka toteuttaa ehdon

min x x2 2 x 1 + x 2 1 = 0 (1) 2x1 1, h = f = 4x 2 2x1 + v = 0 4x 2 + v = 0 min x x3 2 x1 = ± v/3 = ±a x 2 = ± v/3 = ±a, a > 0 0 6x 2

K-KS vakuutussumma on kiinteä euromäärä

Inversio-ongelmien laskennallinen peruskurssi Luento 4

Simo Ali-Löytty Kalmanin suodatin ja sen laajennukset paikannuksessa

Dynaamiset regressiomallit

Inversio-ongelmien laskennallinen peruskurssi Luento 2

VÄRÄHTELYMEKANIIKKA SESSIO 21: Usean vapausasteen systeemin liikeyhtälöiden johto Lagrangen

Sovellettu todennäköisyyslaskenta B

Pyramidi 3 Analyyttinen geometria tehtävien ratkaisut sivu 139 Päivitetty a) 402 Suplementtikulmille on voimassa

TAMPEREEN YLIOPISTO Pro gradu -tutkielma. Hannu Pajula. Stirlingin luvuista

x 4 e 2x dx Γ(r) = x r 1 e x dx (1)

Naulalevylausunto Kartro PTN naulalevylle

8. kierros. 2. Lähipäivä

1974 N:o 622. Vakuutusteknisistä riskeistä johtuvien suureiden laskemista varten käytettävä vakuutuslajiryhmittely. Liite 1.

Kun annettu differenssiyhtälö z-muunnetaan puolittain, saadaan: 1 1 z Y z zy z z/4 4

VÄRÄHTELYMEKANIIKKA SESSIO 18: Yhden vapausasteen pakkovärähtely, transienttikuormituksia

Gaussin ja Jordanin eliminointimenetelmä

Oletetaan, että virhetermit eivät korreloi toistensa eikä faktorin f kanssa. Toisin sanoen

Regressioanalyysi. Kuusinen/Heliövaara 1

VALIKOITUJA KOHTIA LUKUTEORIASTA

1 Rajoittamaton optimointi

Yhden selittäjän lineaarinen regressiomalli (jatkoa) Ensi viikolla ei pidetä luentoa eikä harjoituksia. Heliövaara 1

Miehitysluvuille voidaan kirjoittaa Maxwell Boltzmann jakauman mukaan. saamme miehityslukujen summan muodossa

Perustehtäviä. Sarjateorian tehtävät 10. syyskuuta 2005 sivu 1 / 24

Tehtävä 2 Todista luennoilla annettu kaava: jos lukujen n ja m alkulukuesitykset. ja m = k=1

Helsinki University of Technology Laboratory of Telecommunications Technology

Simo Ali-Löytty Kalmanin suodatin ja sen laajennukset paikannuksessa

STOKASTISET DIFFERENTIAALIYHTÄLÖT 7

Talousmatematiikan perusteet

Paikannuksen matematiikka MAT

VÄRÄHTELYMEKANIIKKA SESSIO 02: Vapausasteet, värähtelyiden analysointi

BM20A5840 Usean muuttujan funktiot ja sarjat Harjoitus 7, Kevät 2018

järjestelmät Luento 4

HARMONINEN VÄRÄHTELIJÄ

Ennustaminen ARMA malleilla ja Kalmanin suodin

Regressioanalyysi. Vilkkumaa / Kuusinen 1

LAPPEENRANNAN TEKNILLINEN YLIOPISTO

Luku kahden alkuluvun summana

2. Teoriaharjoitukset

3 Lineaariset yhtälöryhmät ja Gaussin eliminointimenetelmä

Ylioppilastutkintolautakunta S tudentexamensnämnden

Ominaisarvot ja ominaisvektorit 140 / 170

Sattuman matematiikkaa III

Johdatus tekoälyn taustalla olevaan matematiikkaan

3. Markovin prosessit ja vahva Markovin ominaisuus

Tilastollisen analyysin perusteet Luento 9: Moniulotteinen lineaarinen. regressio

S , Fysiikka III (ES) Tentti Tentti / välikoeuusinta. Laaditaan taulukko monisteen esimerkin 3.1. tapaan ( nj njk Pk

ABHELSINKI UNIVERSITY OF TECHNOLOGY

2. kierros. 2. Lähipäivä

Lineaariset yhtälöryhmät ja matriisit

M y. u w r zi. M x. F z. F x. M z. F y

Eksponentti- ja logaritmiyhtälö

SYMBOLIVIRHETODENNÄKÖISYYDESTÄ BITTIVIRHETODENNÄKÖISYYTEEN

. Kun p = 1, jono suppenee raja-arvoon 1. Jos p = 2, jono hajaantuu. Jono suppenee siis lineaarisesti. Vastaavasti jonolle r k+1 = r k, suhde on r k+1

IV. TASAINEN SUPPENEMINEN. f(x) = lim. jokaista ε > 0 ja x A kohti n ε,x N s.e. n n

Transkriptio:

ehtävä. x( + ) x( y x( + e ( y x( + e ( E v E e ( ) e ( R E[ v v ] E e e e e e e e e 6 estimointivirhe: ~ x( x( x$( x( - b y ( - b y ( estimointivirheen odotusarvo: x( - b x( - b e ( - b x( - b e ( ( - b - b )x( - b e ( - b e ( E ~ x ( ) b b b + b estimointivirheen varianssi: [ ] E ~ x ( ) ~ x ( ) E x ( ) x $( ) E x ( ) x ( )$( x ) + x $ ( ) x ( x( E... + [ b x( + b e ( + b x( + b e (]... b x( + b e ( + b x( + b e ( Kirjoitetaan lausee aui. Muistetaan, että E(x + y) E(x) + E(y) E(c x) c E(x),un con vaio

Käytetään hyväsi tietoa, että x( on vaioarvoinen signaali, ja että e ja e ovat esenään orreloimattomia nollaesiarvoisia satunnaissignaaleja: [ x (] E c c x x( x, osa x( on vaioarvoinen signaali [ x( e( ] c x E[ e (] E c e on nollaesiarvoistaohinaa [ e( e (] c E[ e ( e (] E c e ja e orreloimattomia Lausee saadaan nyt sievennetysi muotoon x ( b + b b + + b b ) + b E[ e ] + b E[ e ] sij.b b b E e + ( b ) E[ e ] [ ] E e E e var(e ) var(e ) 6 8b b + 6 lasetaan minimi (derivaatan nollaohta): 6b b. 75, b. 5 x$ b y ( + b y (. 75y ( +. 5y ( y ( + y ( y ( + y ( σ σ 6 + + σ σ 6. 75y ( +. 5y ( Parametrit ( b, b ) ovat samat uin mittauset painotettaisiin mittausvirheen varianssin äänteisluvulla eli hyvyysluvulla.

ehtävä. ( i+ ) x( A x + A Bu( i), x A Z z z A Z { z( zi A) } Z z z z Z z ( z ) z Z z z z z ( z ) z z Odotusarvo: Varianssi: E x E A Bu i A BE u i i ( i+ ) ( i+ ) ( i + ) ( j+ ) E[ x( x ( ] E A Bu( i) A Bu( j) j ( i+ ) ( j+ ) [ ] E A Bu i u j B A j [ ] A BE u i u j B A j ( i+ ) ( j+ ) lauseeen arvo ( tyhjä jouo), jos indesit erisuuret!! i i i ( + ) A B B ( A ) i i ( + ) ( + ) i + ( i) ( i) ( i) ( + )( + ) ( + ) 6 ( + )

Aritmeettisen sarjan summa: S n ( + ) u u n n 3 Potenssisarja: + + K+ n n + n + n 3 6 3 + i i + i ( ) + 3 + 3 + 6 ( + )( + ) 6

Laajennettu Kalman-suodin Prosessi uvataan yleisessä tilamuodossa: x( + ) f ( x(, u(, + w( y( h( x(, + v( Funtiot f ja h eivät välttämättä ole lineaarisia, ja saattavat riippua x(:n ja u(:n lisäsi :sta (huomaa f- ja h-funtioiden parametrit). Funtio f ei välttämättä uvaa täydellisesti seuraavan tilan muodostumista, jolloin seuraavaan tilaan x(+) saattaa vaiuttaa myös ohinatermi w(. Lisäsi mittaus sisältää aina ohinaa, jolloin mittausvetoriin y( summautuu funtion h(x(, lisäsi ohinatermi v(. Kohinatermien ovarianssimatriisit oletetaan tunnetuisi. Kohinatermin w( ovarianssimatriisia meritään Q(:lla, ja v(:n ovarianssimatriisia R(:llä. Yleisessä tapausessa ovarianssit saattavat muuttua ajan funtiona, tämän vuosi ovarianssimatriisit esitetään :n funtioina. Prosessin tila x, syöte u, mittaus y, funtiot f ja h, seä ohinatermit w ja v ovat aii yleisessä tapausessa vetoreita. Kalman-suodin estimoi prosessin sisäistä tilaa. A-priori-estimaatti xˆ ( -) äyttää hyväseen prosessin syötettä u(-), seä edellisen ajanheten a-posteriori-estimaattia xˆ (- -). ämä estimaatti xˆ ( -) syötetään mittausfuntiolle h, jolloin saadaan estimaatti mittausesta ŷ (. ätä verrataan todelliseen mittauseen y(, jolloin saadaan virhetermi, joa ertoo, uina paljon estimaatti eroaa prosessin tilasta. Huom! Kosa mittaus y( sisältää ohinaa, myös tähän erotuseen on summautunut ohinaa. A-posteriori-estimaatti xˆ ( orjaa a-priori-estimaattia painottamalla erotusta vahvistusmatriisilla K (ei meritty eriseen uvaan, sisältyy "orjaus"-lohoon). syöte u u( x( Prosessi y( u(-) x( -) ^ + ^ x( x(- -) ^ - A-prioriestimaatti (ennaointi) A-posterioriestimaatti (orjaus) Vahvistusmatriisin K lasemisesi suodin estimoi a-priori- ja a-posteriori-estimaattien ovariansseja. Estimaatin a-priori-ovarianssi meritään P( -) ja a-posteriori-ovarianssi P(. K:n ja P:n estimaattien lasemisesi tarvitaan matriiseja A ja C, eli lineaarisessa tilamallissa äytettyjä matriiseja: x( + ) Ax( + Bu( y( Cx( Näiden lasemisesi tarvitaan Jaobin matriisia, eli jaobiaania. A-matriisi muodostetaan derivoimalla f-funtion omponentit f, f, jne. (f on siis vetori) unin tilamuuttujan (tilavetorin x omponentit x, x,...) suhteen, ja muodostamalla niistä matriisi. Vastaavasti C-matriisi muodostetaan derivoimalla h-funtion omponentit tilamuuttujien suhteen.

Esimeri. ilavetori x sisältää riviä, joten f sisältää myös riviä. ällöin linearisoitu A- matriisi (jaobiaani) on x ooinen ja se muodostetaan seuraavasti: f x A f x f x f x Muodostetaan myös C-matriisi. Mittaus y sisältää yhden omponentin, joten myös mittausfuntio h sisältää yhden rivin. Nyt C on x ooinen (-omponenttinen vaaavetori) ja se muodostetaan seuraavasti: h C x h x Jos f ei ole lineaarinen, tulee matriiseihin termejä, jota sisältävät tilamuuttujia (x, x,...), syötevetorin u omponentteja tai -muuttujia. ämän vuosi A- ja C-matriisit lasetaan joaisella ierrosella uudelleen. Matriisia A lasettaessa tilavetorina x äytetään edellisen ierrosen a-posteriori-estimaattia xˆ (- -), un taas C-matriisia lasettaessa äytetään uluvan ierrosen a-priori-estimaattia xˆ ( -). Laajennetun Kalman-suotimen aavat ) ilan ennaointi seuraavaan mittausheteen: x ˆ( ) f(ˆ( x ), u( ), ) ) A:n orvaava derivaatta: f (ˆ( x ), u( ), ) A (ˆ( x )) xˆ( ) 3) ilan estimointivirheen ovarianssi (ennaointi) seuraavaan mittausheteen: P( ) A xˆ( ) P( ) A xˆ( ) + Q( 4) C:n orvaava derivaatta: h(ˆ( x ), C xˆ( ) xˆ( ) ) 5) Estimoinnin vahvistusen K( lasenta: [ + R( )] ( xˆ ( ) ) C( xˆ ( ) ) P( ) C ( xˆ ( ) ) K( P( ) C 6) ilan päivitys mittausella: x ˆ( xˆ( ) + K( y( h(ˆ( x )) 7) ilan estimointivirheen ovarianssin päivitys: P ( P( ) - K( C(ˆ( x )) P( ) Vaiheen 7) jäleen siirrytään seuraavaan ajanheteen +, ja jatetaan reursiivisesti vaiheesta ). Nyt xˆ (- -) on edellisen ierrosen xˆ ( ja P(- -) on edellisen ierrosen P(.

ehtävä 3. x& ( t) x ( t) C DA ( t) x& ( t) x ( t) w( t) m + ρ, E{ w t w t } y( t ) M + x ( t ) H + v( t ), Q( t) { } E v( t ) v( t ) R( t ) Annettu järjestelmä, jossa malliyhtälö on jatuvaa muotoa ja mittaus disreetti on uvattu yllä. x on pallon etäisyys maasta, x on pallon nopeus. Mittaustieto on C A t etäisyys pallosta. H ja M ovat vaioita. ρ D VAK m oletetaan vaiosi. x&( t) f x( t), u( t) + w( t) y( t ) h x( t ) + v( t ) Disretointi Eulerin-menetelmällä: t + t ( + ) [ ( )] f x t dt t t f x t (Suoraulmio) x&( t) x( t + ) x( t ) f( x( t), t) (f(x(t),t) dynamiia-yhtälöstä) x( t ) x( t ) x&( t) x( t ) x( t ) + x&( t) + + x( t ) x( t ) + f( x( t )) + x( + ) x( t x ( x ( + ) x ( tvakx ( + w( 444 4443 f DISK., E{ w w } Q(

( ) y( M + x ( H + v(, 444 4443 h DISK. { } E v( v( R( x( + ) f DISK. ( x(, u(, + w o. ( w ( ) o. w( y( h x(, + v( DISK. Meritään ( f f ja h h ). ilan ennaointi seuraavaan mittausheteen: Dis. Dis. x$( ) f($( x ), u( )) A:n orvaava derivaatta: f f f($( x ), u( )) x$ x$ A($( x )) x$( ) f f x$ x$ ilan estimointivirheen ovarianssi (ennaointi) seuraavaan mittausheteen: t tvakx$ ( ) P( -) A x( $ - -) P( - -) A x( $ - -) + Q( ) C:n orvaava derivaatta: C. 5 ( M + x H ) ( x H) h($( x )) ( x$( ) ) x$( ). 5 $ ( ) $ ( ) Estimoinnin vahvistusen K( lasenta: K( P( ) C x$( ) C x$( ) P( ) C x$( ) + R( ilan päivitys mittausella: x$( x$( ) + K( y( h( x$( )) ilan estimointivirheen ovarianssin päivitys: P( P( -) - K( C(x( $ -)) P( -)

Laajennetun Kalmanin suodattimen disreetit yhtälöt: ilan ennaointi seuraavaan mittausheteen: x$ ( ) $ ( ) $ x t x ( ) x$ ( ) x$ ( ) tvakx$ ( ) ilan estimointivirheen ovarianssi (ennaointi) seuraavaan mittausheteen: t P( ) tvakxˆ ( ) P( ) + Q( ) t tvakxˆ ( ) Estimoinnin vahvistusen K:n lasenta:. 5 ( M + ( x H) ) ( x H) K( P( ). $ ( ) $ ( ) 5. 5 ( + ( ) ) ( ). 5. ( M + ( x$ ( ) H) ) ( x$ ( ) H). M x$ ( ) H x$ ( ) H 5 P( ) 5 + R( ilan päivitys mittausella: x$ ( ) $ ( ) $ x + K y M + x( ) H x$ ( ) $ ( ) $ x + K y M + x( ) H ilan estimointivirheen ovarianssi (päivitys):. P( P( ) K( 5. 5( M + ( x$ ( ) H) ) ( x$ ( ) H ) P( )