Reversible Execution for Robustness in Embodied AI and Industrial Robots

Ivan Lanese (1) , Ulrik P Schultz (2) , Irek Ulidowski (3)

1 FOCUS - Foundations of Component-based Ubiquitous Systems
2 SDU - University of Southern Denmark
3 University of Leicester

Reversible computation is a computing paradigm where execution can progress backwards as well as in the usual, forward direction. It has found applications in many areas of computer science, such as circuit design, programming languages, simulation, modelling of chemical reactions, debugging and robotics. In this article, we give an overview of reversible computation focusing on its use in robotics. We present an example of programming industrial robots for assembly operations where we combine classical AI planning with reversibility and embodied AI to increase robustness and versatility of industrial robots.

Domaines: Langage de programmation [cs.PL]; Robotique [cs.RO]

Ivan Lanese, Ulrik P Schultz, Irek Ulidowski. Reversible Execution for Robustness in Embodied AI and Industrial Robots. IT Professional, 2021, 23, pp.12 - 17. ⟨10.1109/mitp.2021.3073757⟩. ⟨hal-03338672⟩