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
2005
LECTURE NOTES IN COMPUTER SCIENCE, 3595, pp. 829-838.
Complexity and approximation of satisfactory partition problems
COMPUTERS & CHEMICAL ENGINEERING, 18 (Suppl.)., pp. S565-S569.
Qualitative model based verification of operating procedures by high level Petri nets.( ESCAPE-3. European symposium on computer aided process engineering-3)
In: 4th International Conference on Models and Technologies for Intelligent Transportation Systems (MT-ITS) BME Közlekedésmérnöki és Járműmérnöki Kar, Budapest, pp. 477-482.
Security Issues and Vulnerabilities in Connected Car Systems
In: 8th international symposium of Hungarian researchers on computational intelligence and informatics. Magyar kutatók 8. nemzetközi szimpóziuma. Budapest, 2007..
TP tool - a MATLAB toolbox for TP model transformation