• Systém pro řízení autonomních mobilních robotů 

      Autor: Filip Dvořák; Vedoucí práce: Burget Pavel; Oponent práce: Maslikiewicz Ondřej
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-08-28)
      Cieľom tejto diplomovej práce je implementovať Fleet management system, ktorý bude vychádzať z hotového riešenia KUKA Navserver, ktoré využíva mobilných robotov KUKA KMP a KMR. Tento navrhnutý systém by mal obsahovať ...
    • Verifikace programů pro PLC 

      Autor: Maslikiewicz Ondřej; Vedoucí práce: Burget Pavel; Oponent práce: Šebek Zdeněk
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-01-19)
      Tato práce se zabývá analýzou a kontrolou PLC programu. Její soucástí je nástroj pro automatické generování binárních rozhodovacích diagramu a stavových automatu pro promenné, které jsou použity v PLC programu. Hlavním ...