Automated robot collision avoidance using virtual commissioning and formal methods

Examensarbete för masterexamen

Please use this identifier to cite or link to this item: https://hdl.handle.net/20.500.12380/253623
Download file(s):
File Description SizeFormat 
253623.pdfFulltext1.94 MBAdobe PDFView/Open
Type: Examensarbete för masterexamen
Master Thesis
Title: Automated robot collision avoidance using virtual commissioning and formal methods
Authors: Garcia Romero, Lucas
Skalberg, Karl-Oscar
Keywords: Elektroteknik och elektronik;Electrical Engineering, Electronic Engineering, Information Engineering
Issue Date: 2017
Publisher: Chalmers tekniska högskola / Institutionen för elektroteknik
Chalmers University of Technology / Department of Electrical Engineering
Series/Report no.: Examensarbete - Institutionen för elektroteknik, Chalmers tekniska högskola : EX079/2017
URI: https://hdl.handle.net/20.500.12380/253623
Collection:Examensarbeten för masterexamen // Master Theses



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.