Kálmán Rudolf és a Kálmán-szűrő

Facebook
Nyomtatás

Kálmán Rudolf emlékére

2016. július 2-án, életének 86. évében, a rákbetegséggel folytatott többéves küzdelme után elhunyt Kálmán Rudolf, a rendszertudomány matematikai alapjainak megalkotója, aki a legmagasabb amerikai kitüntetések és nemzetközi elismerések mellett is büszke volt magyar akadémiai tiszteleti tagságára, valamint az MTA SZTAKI-val való kapcsolatára, ahol haláláig szobája volt.

Kálmán a második világháború elől családjával gyerekként az Egyesült Államokba menekült, és ott telepedett le, így ott tanulhatott az akkori matematikai-műszaki világ nyugati úttörői között. 1953-ban végzett az MIT-n, majd a Stanfordi és a Floridai Egyetemeken tanított. 1973 óta a Svájci Szövetségi Műszaki Főiskola professzora volt.

A navigációs rendszerek matematikai tervezésének fejlesztése során dolgozta ki a ma már a nevét viselő Kálmán-szűrőt, amelyet 1963-ban az ember nélküli amerikai Hold-szondánál alkalmazták először, és azóta is az űreszközök irányításának általánosan használt eleme. Napjainkban használatos a meteorológiai előrejelzések, a GPS, a célkövető radarok, és közgazdasági idősorok elemzésénél is.

1985-ben elsőként kapta meg a Kyoto Díjat. 2008-ban megkapta az amerikai mérnöki akadémia Charles Stark Draper-díját, amelyet mérnöki Nobel-díjként tartanak számon. 2009-ben Barack Obama amerikai elnöktől vehette át az Egyesült Államok legfontosabb tudományos elismerését, a Nemzeti Tudományos Érmet.

A Kálmán-szűrő alapgondolata

A Kálmán-szűrő komplex, zajos (sztochasztikus) rendszerek belső állapotainak a becslésére ad hatékony, valós időben alkalmazható eljárást külső, mért, zajos jelek alapján. A probléma maga a telekommunikációban már a II. világháború idején megfogalmazódott, de az akkor született eredmények integrálegyenletek megoldását kívánták meg, emiatt alkalmazásuk nehézkes.

A Kálmán-szűrő kifejlesztése szorosan összefügg Kálmán Rudolfnak a lineáris rendszerek elméletében végzett úttörő jelentőségű munkájával, amelyet a villamos áramkörök vizsgálata inspirált. Az elmélet kiindulópontja az az egyszerű felismerés, hogy az RLC áramkörök dinamikája leírható egy lineáris rendszerrel az alábbi módon: \[\displaystyle\dot x_t=Ax_t+Bu_t\] \[\displaystyle y_{t}=Cx_{t},\] ahol az \(x_t\) vektor a rendszer állapotváltozója, az \(u_t\) vektor a rendszer bemenete, az \(y_t\) vektor pedig a rendszer kimenete, \(A\), \(B\), \(C\) pedig alkalmas méretű mátrixok. A fenti modellben \(t\) folytonos időt, \({\dot x}_t\) pedig az idő szerinti deriváltat jelöli. Kézenfekvő módosítással a fenti modell diszkrét idejű változata is könnyen felírható.

 

Kálmán alapvető felismerése volt, hogy a lineáris rendszerek elmélete véletlen (sztochasztikus) folyamatok modellezésében addig nem ismert új utakat nyit a szűrési probléma megoldására.  Nevezetesen, tekintsük a fenti modell sztochasztikus, diszkrét idejű változatát: \[\displaystyle x_{n+1}=Ax_{n}+u_{n},\] \[\displaystyle y_{n}=Cx_{n}+v_{n},\] minden egész \(n\)-re, ahol az \((u_n,v_n)\) egy alkalmas dimenziójú, \(0\)-várható értékű ortogonális folyamat, vagyis pl. \({\rm E}u_nu^T_m=0\) ha \(n\neq m\), egyébként \({\rm E}u_n u^T_n = \Sigma = {\rm const.}\)

A (prediktív) szűrési probléma ekkor matematikailag így fogalmazható meg: keressük az \(x_{n+1}\) állapot legkisebb négyzetes becslését az \(y_n\), \(y_{n-1}\), \(\dots\) mért értékek birtokában. Ezt jelöljük \({\hat x}_{n+1}\)-gyel. Kálmán zseniális észrevétele az volt, hogy az általános szűrési problémát a fenti feladatosztályra megszorítva \({\hat x}_{n+1}\) eleget tesz az \[\displaystyle{\hat x}_{n+1}=A{\hat x}_n+K\nu_n\] \[\displaystyle y_n=Cx_n+\nu_n\] állapottéregyenletnek, ahol az állapotegyenletben és a megfigyelésben egy közös \(\nu_n\) folyamat jelenik meg, ezt innovációs folyamatnak hívjuk. A \(K\) mátrix angolul és magyarul az ún. Kalman-gain. A fenti egyenlet egyszerű átrendezésével kapjuk az \({\hat x}_{n+1}\) keresett értékét, éspedig rekurzív alakban: \[\displaystyle{\hat x}_{n+1}=\left(A-KC\right){\hat x}_n+Ky_n.\]

A \(K\) mátrix meghatározása nem triviális feladat, ehhez többek között meg kell oldani egy mátrix-egyenletet, egy ún. algebrai Riccati-egyenletet, amelyben az ismeretlen mátrix másodfokú függvényei is szerepelnek. A fenti témakör legteljesebb és legmodernebb kifejtését az alábbi könyv tartalmazza:

Lindquist, A. and Picci,G., Linear Stochastic Systems: A Geometric Approach to Modeling, Estimation and Identification. Springer, 2015.

Gerencsér László,
MTA SZTAKI

Megjegyzés: Az első rész megemlékezése az MTI által közzétett hír szerkesztett változata.

A rovat ajánlott cikkei
Az Érintő, és benne a Tudomány rovat mostanában sokat foglalkozik a mesterséges intelligencia egyre növekvő szerepével a matematikában. Pach János írása Pálvölgyi Dömötöréhez hasonlóan az Erdős-sejtés cáfolatától indul, de más vizekre hajózik…
Ez a szöveg a ChatGPT 5.5 Thinking modell segítségével készült: ő írta az első verziót, majd visszajelzéseim alapján újra és újra átírta, végül a végső verziót átszerkesztettem és kiegészítettem. Már önmagában ez is jól mutatja, mennyire témába vág, amiről a cikk szól. – Pálvölgyi Dömötör.
Mi található a valós számokon túl? Hát, sokan tudják: a komplex számok! Node azon is túl? Sir William Rowan Hamilton (képünkön a róla készült festmény, forrás:Wikipedia) a 19. században felfedezte a kvaterniókat, de még ezeken is túlléphet, és szépen felépítve eljuthat az olvasó az októniók és szedéniók fogalmához Csonka Bence cikkéből.
A matematika tudományos, közösségi és társadalmi kapcsolódásaiba nyerhettek bepillantást azok, akik részt vettek az MTA matematikai osztályhónapja januári rendezvényein. Torda Júlia beszámolója foglalja össze az elhangzottakat. (Fényképek: Szigeti Tamás, MTA.)
A valószínűségszámítás két, klasszikusnak számító paradoxonából indul ki Pintér Gergő kétrészes írása. Az első részt ajánljuk azoknak is, akik most találkoznak először a Monty Hall vagy a két pénzérmés problémával. Ebben kiderül az is, mi az a közlési protokoll. (A kép forrása: Wikipedia)
Hírlevél feliratkozás