Témy doktorandského štúdia

Ústav informatiky SAV

Názov témy
Modelovanie a riadenie udalostných systémov pomocou Petriho sietí
Program DŠ
Informatika / Robotika a kybernetika
Meno školiteľa
Doc. Ing. František Čapkovič, CSc. ()
Prijímajúca škola
Fakulta elektrotechniky a informatiky TUKE
Stručná anotácia
Prijímajúca škola (ďalšia možnosť):
Fakulta elektrotechniky a informatiky STU (program: Robotika a kybernetika)

  Udalostné systémy (angl. discrete-event systems – DES) sú systémy diskrétne vo svojej podstate. Systém typu DES zotrváva v aktuálnom stave pokým nie je nútený tento stav zmeniť v dôsledku výskytu nejakej diskrétnej udalosti. Mnoho druhov systémov v spoločenskej praxi má charakter DES – napr. pružné výrobné systémy (Flexible Manufacturing Systems – FMS), robotizované bunky, diskrétne výrobné linky, niektoré druhy dopravných systémov, komunikačné systémy a pod. Petriho siete (angl. Petri nets – PN) rôznych druhov sú vhodným nástrojom pre matematické modelovanie DES. Umožňujú vykonávať tiež syntézu riadenia DES – t.j. syntézu supervízorov.
Cieľom tohoto zadania je navrhnúť metódu syntézy supervízora pomocou analýzy štruktúry PN modelu pomocou násosiek (angl. siphons) a pascí (angl. traps) s cieľom eliminovať uviaznutia (angl. deadlocks).
viac info