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: 21st Mediterranean Conference on Control and Automation, MED 2013 - Conference Proceedings, 2013-06-25 - 2013-06-28, Chania, Görögország.
Freeway shockwave control using ramp metering and variable speed limits
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