Pedro Ribeiro

most citedSafety assurance of an industrial robotic control system using hardware/software co-verification

17 citations · 17 across the 1 of their papers we have counts for

collaborators

3 papers

cs.RO2024★ 1 cited

Model Checking and Verification of Synchronisation Properties of Cobot Welding

Yvonne Murray, Henrik Nordlie, David A. Anisi +2

This paper describes use of model checking to verify synchronisation properties of an industrial welding system consisting of a cobot arm and an external turntable. The robots must…

math.NT2024

On the uniform distribution of the zero ordinates of the $L -$ function associated with $θ (z)^{- 3} η (2 z)^{12}$

Pedro Ribeiro

We show that the ordinates of the nontrivial zeros of certain $L -$ functions attached to half-integral weight cusp forms are uniformly distributed modulo one.

cs.RO2021★ 17 cited

Safety assurance of an industrial robotic control system using hardware/software co-verification

Yvonne Murray, Martin Sirevåg, Pedro Ribeiro +2

As a general trend in industrial robotics, an increasing number of safety functions are being developed or re-engineered to be handled in software rather than by physical hardware…

Model Checking and Verification of Synchronisation Properties of Cobot Welding

On the uniform distribution of the zero ordinates of the L−function associated with θ(z)−3η(2z)12

Safety assurance of an industrial robotic control system using hardware/software co-verification

On the uniform distribution of the zero ordinates of the $L -$ function associated with $θ (z)^{- 3} η (2 z)^{12}$