Az alábbi példa biztonságkritikus rendszerekhez kapcsolódik. Gépjárművekben egyre több elektronikus beavatkozó van. Ezek egy része elektromotor. Az elektromotorok alkalmazási köre lehet kényelmi funkció (pl. elektromos ablakemelő, ülések, tükrök mozgatása stb.), de egyre gyakrabban találkozunk biztonságkritikus funkciókkal is (elektronikus szervokormány, adaptív futóműállítás, félautomata váltó stb.). Vizsgálatunk tárgya egy biztonságkritikus alkalmazásban felhasznált állandó mágnesű szinkronmotor. Leggyakrabban nyomatékszabályozással találkozunk a motoroknál, mely a nyomaték pontos ismeretét feltételezi. Nyomatékszenzor aránylag költséges lenne, de elektromotoroknál az áramokból és a rotor pozíciójából számítható a nyomaték. Ahhoz, hogy egy biztonságkritikus rendszerben ne egy áramszenzoron múljon a működés helyessége, alternatív módon is szeretnénk becsülni az átfolyó áramot, és ez alapján következtetni a nyomatékra. Az analitikus redundancia felhasználásával, a motor elektromos modelljének felírásával nyílik erre lehetőségünk. A MIT tanszéken kifejlesztett algoritmust ismertetjük [3.36]. Először bemutatjuk a motor modelljének felírását, utána tárgyaljuk a paraméterbecslési eljárást, mely lehetőséget teremt a közvetlenül nem mért áram becslésére.