Goals of this program are to educate most qualified specialists for research and scientific development as well.

Graduates have outstanding knowledge in special area, determined by his/her PhD. project.
Special orientation is given by thesis;graduates are qualified for high positions in all branch.
Leader of research team,managers in industry.

The graduate of the subject field obtains broad knowledge of subject of cybernetics control and/or measuremet. The knowledge is build mainly on theoretical background of the subject. Moreover the graduate will obtain deep special knowledge aimed in direction of his/her thesis. The graduate will be able to perform scientific and/or applied research based on up to date theoretical knowledge. The graduate will be able to organize and lead a team of researchers in the studied subject.

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

1. Formal methods of sequential control of machines

   The PhD. work will deal with formal specification of a general task of sequential control of machines and production lines with predominate control via PLCs. The goal of the work is an automatic generation of program code for PLCs with a possibility of its computer validation and verification. There will be used formal methods based on Petri Nets, timed automata, temporal logics and other appropriate methods in the investigation. We expect testing of project outputs in an application with machines with manipulators controlled by PLCs.

   Supervisor: Zezulka František, prof. Ing., CSc.