Cílem doktorského studijního programu se zaměřenínm na kybernetiku,měření a řízení je vychovat vysoce kvalifikované odborníky pro výzkum,vývoj i specializované technické provozy.

Absolvent má obecné znalosti oboru na vysoké teoretické úrovni. Speciální znalosti určuje téma doktorské disertační práce.
Téma disertační práci určuje úzkou oblast, ve které disertant vypracoval svou práci. Současně je však schopen pracovat na kvalifikačně nejvyšších místech i v obecnějším měřítku.
Vedení výzkumných a vývojových skupin,řídicí pracovník průmyslových jednotek.

Absolvent má rozsáhlé znalosti oboru na vysoké odborné úrovni podložené znalostmi teoretických základů na kterých je obor vystavěn. Navíc má hluboké speciální znalosti v oblasti zaměření své disertační práce. Absolvent oboru je schopen provádět samostatnou vědeckou tvůrčí činnost v oblasti výzkumu a vývoje s využitím nejnovějších teoretických znalostí. Absolvent je rovněž připraven řídit tým odborných pracovníků v oblasti výzkumu a vývoje.

prof. Ing. Pavel Václavek, Ph.D.

1. Formální metody sekvenčního řízení strojů

   Práce se bude zabývat formální specifikací obecné úlohy sekvenčního řízení strojů a výrobních linek s převažujícím řízením programovatelnými automaty a z toho plynoucími specifiky. Cílem je automatické generování sekvenčního řídicího programu s možností jeho následné strojové verifikace a validace. V práci budou využity formální metody založené na Petriho sítích, časovaných stavových automatech, temporálních logikách a dalších metodách. Předpokládá se ověření výsledků práce na stroji s manipulátory řízenými PLC.

   Školitel: Zezulka František, prof. Ing., CSc.