Reversible control of robots

Ulrik Pagh Schultz*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

36 Downloads (Pure)


Programming industrial robots is challenging due to the difficulty of precisely specifying general yet robust operations. As the complexity of these operations increases, so does the likelihood of errors. Certain classes of errors during industrial robot operations can however be addressed using reverse execution, allowing the robot to temporarily back out of an erroneous situation, after which the operation can be automatically retried. Moreover reverse execution permits automatically deriving programs that physically reverse the operations of an industrial robot. This can be useful in industrial assembly, where a disassembly program can be automatically derived from the assembly program. In this case study we investigate robotic assembly from the point of view of reversibility, investigating to what extent program inversion of a robotic assembly sequence for a given product can be considered to derive a robotic disassembly sequence for this same product, and investigating to what extent changing the execution direction at runtime (i.e., backtracking and retrying) using program inversion can be used as an automatic error handling procedure. The programming model used to reversibly control industrial robots is based on an abstract semantics-based model, extended with various features required for reversible control of industrial robots in real-world scenarios, and implemented as a domain-specific programming language.

Original languageEnglish
Title of host publicationReversible Computation : Extending Horizons of Computing - Selected Results of the COST Action IC1405
EditorsIrek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira
Publication dateMay 2020
ISBN (Print)9783030473600
ISBN (Electronic)978-3-030-47361-7
Publication statusPublished - May 2020
Event12th International Conference on Reversible Computation, RC 2020 - Oslo, Norway
Duration: 9. Jul 202010. Jul 2020


Conference12th International Conference on Reversible Computation, RC 2020
SeriesLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume12070 LNCS


Dive into the research topics of 'Reversible control of robots'. Together they form a unique fingerprint.

Cite this