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: Controllare Necesse Est Széchenyi University Press, Győr, pp. 101-106.
Sensitivity measures for different YOULA regulators
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: Intelligent Transport Systems - From Research and Development to the Market Uptake, First International Conference, INTSYS 2017 Hyvinkää, Finland, November 29-30, 2017 Proceedings Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering (222) Springer, Cham (Svájc), pp. 252-262. ISSN 1867-8211
Detecting Change in the Urban Road Environment Along a Route Based on Traffic Sign and Crossroad Data