aaron.pereira's picture






My Bio: 

Aaron is employed as an Early Stage Researcher in the SMART-e Consortium (ESR9). His research involves formal guarantees and trajectory planning for safe human-robot co-working.

Having received an MEng. in Mechanical Engineering from Imperial College London, completing his masters project abroad at the University of California, Davis, Aaron is now working towards a PhD at the Department of Computer Science, Technische Universität München.

His research interests include applying formal verification techniques to robot control, and how humans and machines collaborate.

What I do in Smart-E: 

ESR9: Safe human-robot co-working through formal methods

Strict international standards govern the interaction between humans and machines in the workplace. For example, robots must often be separated from humans with cages or light curtains, and cannot operate when humans are inside their workspace.

If a control strategy can guarantee that robots and humans can work together safely, this is an important step towards allowing humans and machines to share a collaborative workspace in industrial settings.


See: www6.in.tum.de/Main/Pereira#Publications

Aaron Pereira and Matthias Althoff. "Overapproximative arm occupancy prediction for human-robot co-existence built from archetypal movements". In Proc. IEEE/RSJ Int. Conf. on Intelligent Robots and Systems (2016)
Martijn J.A. Zeestraten, Aaron Pereira, Matthias Althoff, and Sylvain Calinon. "Online motion synthesis with minimal intervention control and formal safety guarantees". In Proc. of IEEE Systems, Man and Cybernetics (2016)
A. Pereira and M. Althoff. "Safety control of robots under computed torque control using reachable sets". In Proc. IEEE Int. Conf. Robotics and Automation (2015) 331-338

First Name: 


Last Name: 



Member for
2 years 8 months