Cargando…

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

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. In order to assure that the system fulfils its safety requirements, formal verification is an important tool to supplement traditio...

Descripción completa

Detalles Bibliográficos
Autores principales: Murray, Yvonne, Anisi, David A., Sirevåg, Martin, Ribeiro, Pedro, Hagag, Rabah Saleh
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7676227/
http://dx.doi.org/10.1007/978-3-030-63882-5_4

Ejemplares similares