|
|
Robotic Arm Mitshubishi Melfa 6 SL Control
Schindler, Petr ; Hanáček, Petr (referee) ; Zbořil, František (advisor)
This thesis is focused on the control of the robotic arm Mitsubishi Melfa 6 SL. It is a part of a bigger project, which goal is to build an online laboratory supporting the teaching of artificial intelligence. This document describes methods which can be used to control the arm, especially using personal computer. It also briefly describes the laboratory itself. The goal of this project was to create a set of routines, which can be used to control the robot using one's own software.
|
|
|
Tool for Büchi Automata
Schindler, Petr ; Lengál, Ondřej (referee) ; Rogalewicz, Adam (advisor)
This thesis elaborates the Büchi automata theory and introduces a library that enables working with them. Basics of the automata theory is explained. The main part of this work is focused on Büchi automata, which belong to finite automata. The main properties of Büchi automata are explained and proved. The knowledge of those properties is important for understanding the algorithms mentioned in this work. The next part describes those algorithms and explains their principles in details. The design of library is described in the next part of this work. Main part is aimed at the implementation of the library and auxiliary scripts. The most interesting and important parts of methods are described in detail. Closing part describes testing of library functionality.
|
|
|
Robotic Arm Mitshubishi Melfa 6 SL Control
Schindler, Petr ; Hanáček, Petr (referee) ; Zbořil, František (advisor)
This thesis is focused on the control of the robotic arm Mitsubishi Melfa 6 SL. It is a part of a bigger project, which goal is to build an online laboratory supporting the teaching of artificial intelligence. This document describes methods which can be used to control the arm, especially using personal computer. It also briefly describes the laboratory itself. The goal of this project was to create a set of routines, which can be used to control the robot using one's own software.
|
|
|
Tool for Büchi Automata
Schindler, Petr ; Lengál, Ondřej (referee) ; Rogalewicz, Adam (advisor)
This thesis elaborates the Büchi automata theory and introduces a library that enables working with them. Basics of the automata theory is explained. The main part of this work is focused on Büchi automata, which belong to finite automata. The main properties of Büchi automata are explained and proved. The knowledge of those properties is important for understanding the algorithms mentioned in this work. The next part describes those algorithms and explains their principles in details. The design of library is described in the next part of this work. Main part is aimed at the implementation of the library and auxiliary scripts. The most interesting and important parts of methods are described in detail. Closing part describes testing of library functionality.
|
guest ::
