Thesis supervisor: Katalin Hangos
co-supervisor: Miklós Gerzson
Location of studies (in Hungarian): PE MIK Villamosmérnöki és Információs Rendszerek Tanszék Abbreviation of location of studies: PE
Description of the research topic:
A színes Petri hálók a diszkrét eseményű rendszerek egy széles osztályának leírására alkalmasak, ugyanakkor – irányított páros gráf szerkezetük miatt – kombinatorikus (pl. gráfelméleti) módszerekkel jól kezelhetők, így mind az elméleti számítástudomány mind az irányításelmélet eszköztára alkalmazható a vizsgálatukhoz. A kutatás célja, hogy olyan, lehetőleg algoritmikusan könnyű módszereket fejlesszünk ki ezen rendszerosztályhoz, amellyel hatékonyan oldhatóak meg ütemezési, beavatkozás-tervezési, valamint meghibásodás detektálási és azonosítási feladatok.
A fenti feladatok sikeres megoldásához a színes Peri hálók realizációs, reprezentációs és dinamikus analízissel feltárható tulajdonságait (pl. elérhetőség, holtpontok) is vizsgálni kell.
A kidolgozott eszközöket és módszereket nagyméretű energetikai és folyamatirányítási feladatokon kívánjuk alkalmazni az alkalmazási terület sajátosságait jól kihasználó módon.
A kutatási téma előzményei: a témavezetők alábbi közleményeiben találhatóak
[1] Hangos, K., Gerzson, M., Leitold, A., Werner-Stark, A. & Dulai, T. (2012), "Petri háló modelleken alapuló jármûipari diagnosztikai módszerek", Magyar Tudomány., 7, 2012. Vol. 7 - kulonszam(7 - különszám), pp. 154-163..
[2] Márczi, B., Leitold, A., Gerzson, M. & Hangos, K. (2012), "Diagnosis of technological systems based on their coloured Petri net model", In 7th Vienna International Conference on Mathematical Modelling, Vienna, Austria, 14-17 Feb.
Required language skills: angol Number of students who can be accepted: 1