JAKEŠ, L. Řídicí systém pro automatické montážní pracoviště [online]. Brno: Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií. 2014.
Zadání diplomové práce si přinesl diplomant z praxe. V rámci diplomové práce realizoval řídicí algoritmus do PLC, včetně obsluhy periferií a komunikace. Vytvořený systém byl nasazen do reálného provozu. Dále diplomant provedl formální verifikaci systému. Problematiku formální verifikace samostatně nastudoval. Diplomant pracoval velmi systematicky, práci měl dobře rozvrženou a dokončenou s předstihem. Postup práce pravidelně konzultoval, k řešení přistupoval samostatně. Výslednou práci považuji za velmi zdařilou a navrhuji hodnocení výborně.
eVSKP id 73666