A Laboratórium a matematikai rendszerelmélet irányítástechnika tárgyú kutatásainak vezető hazai kutatóhelye. Az itt művelt kutatási területek felölelik a matematikai rendszerelmélet és modellezés módszereit, a hagyományos és feltörekvő új technológiák által létrehozott dinamikus rendszerek analízisének és irányításának problémáit. A kutatások kiterjednek a matematikai rendszerelmélet legkorszerűbb megközelítéseire, a rendszerek identifikációjára, szűrési és irányítási feladatok megoldására, jel- és képfeldolgozási eljárásokra, különös tekintettel a módszerek robusztus működésére és a biztonságkritikus alkalmazások speciális igényeire.
Megjelenés
2015
In: Tudományos Diákköri Konferencia - Budapesti Műszaki és Gazdaságtudományi Egyetem.
Repülőgép sebességszenzor hiba javítása sebességbecslő algoritmusokkal
In: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science (9035) Springer, Berlin; Heidelberg, pp. 643-657.
Saturation-based incremental LTL model checking with inductive proofs
In: 13th International Workshop on Cellular Nanoscale Networks and their Applications (CNNA), Turin, Italy Aug. 29-31, 2012, 2012-08-29 - 2012-08-31, Torino, Olaszország.
Azimuth estimation of distant, approaching airplane in see-and-avoid systems