Automated robot collision avoidance using virtual commissioning and formal methods

Visa enkel post
dc.contributor.authorGarcia Romero, Lucas
dc.contributor.authorSkalberg, Karl-Oscar
dc.contributor.departmentChalmers tekniska högskola / Institutionen för elektrotekniksv
dc.contributor.departmentChalmers University of Technology / Department of Electrical Engineeringen
dc.date.accessioned2019-07-03T14:41:25Z
dc.date.available2019-07-03T14:41:25Z
dc.date.issued2017
dc.identifier.urihttps://hdl.handle.net/20.500.12380/253623
dc.language.isoeng
dc.relation.ispartofseriesExamensarbete - Institutionen för elektroteknik, Chalmers tekniska högskola : EX079/2017
dc.setspec.uppsokTechnology
dc.subjectElektroteknik och elektronik
dc.subjectElectrical Engineering, Electronic Engineering, Information Engineering
dc.titleAutomated robot collision avoidance using virtual commissioning and formal methods
dc.type.degreeExamensarbete för masterexamensv
dc.type.degreeMaster Thesisen
dc.type.uppsokH
local.programmeProduction engineering (MPPEN), MSc

Ladda ner

Original bundle

Visar 1 - 1 av 1
Bild (thumbnail)
Namn:
253623.pdf
Storlek:
1.89 MB
Format:
Adobe Portable Document Format
Beskrivning:
Fulltext
Ladda ner

Samlingar

Examensarbeten för masterexamen