2 Hits in 3.5 sec

Modelling and Verification of Robotic Platforms for Simulation Using RoboStar Technology [chapter]

Ana Cavalcanti
2020 Lecture Notes in Computer Science  
Current practice in robotics often uses simulation to understand the behaviour of a robotic controller for a particular robotic platform and environment.  ...  (for verification of probabilistic controllers), and simulations.  ...  The work mentioned is a collaboration with colleagues at the RoboStar group, in particular, Alvaro Miyazawa and Sharar Ahmadi.  ... 
doi:10.1007/978-3-030-48077-6_1 fatcat:gg3qwmlyhfcbfg5dpvt4vxyokq

Safety Assurance of a High Voltage Controller for an Industrial Robotic System [chapter]

Yvonne Murray, David A. Anisi, Martin Sirevåg, Pedro Ribeiro, Rabah Saleh Hagag
2020 Lecture Notes in Computer Science  
Due to the risk of discharge sparks and ignition, there are strict rules concerning the safety of high voltage electrostatic systems used in industrial painting robots.  ...  The controller has been modelled as a finite state machine, which was formally verified using two different model checking software tools; Simulink Design Verifier and RoboTool.  ...  The authors gratefully acknowledge the value of all the input and support provided by ABB Robotics research group at Bryne, Norway, most prominently by Dr. Morten Mossige and Cato Jensen.  ... 
doi:10.1007/978-3-030-63882-5_4 fatcat:kmacle3umbft5fpzgj67rrmjdm