Design and verification of collaborative robots system, CourseAbdelhakim Baouya and Salim Chehida, Univ.Grenoble-Alpes2nd Summer School on Cyber-Physical Systems and Internet of Things