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
2013
In: Proceedings of ISPA 2013 8th International Symposium on Image and Signal Processing and Analysis, 2013-09-04 - 2013-09-06, Trieste, Olaszország.
Multifractal analysis of human peripapillary atrophy
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