Towards a Domain-Specific Language for Reversible Assembly Sequences

Ulrik Pagh Schultz, Johan Sund Laursen, Lars-Peter Ellekilde, Holger Bock Axelsen

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


Programming industrial robots for small-sized batch production of assembly operations is challenging due to the difficulty of precisely specifying general yet robust assembly operations. We observe that as the complexity of assembly increases, so does the likelihood of errors. We propose that certain classes of errors during assembly operations can be addressed using reverse execution, allowing the robot to temporarily back out of an erroneous situation, after which the assembly operation can be automatically retried. Moreover, reversibility can be used to automatically derive a disassembly sequence from a given assembly sequence, or vice versa. This paper presents the initial design of the RASQ domain-specific language (DSL) for specifying such assembly sequences, based on initial experiments using an industrial case study. The language is defined in terms of a formal semantics corresponding to a realistic execution model currently under implementation. The DSL is used as part of a software framework that aims at tackling uncertainties through a combination of reverse and probabilistic execution.

Original languageEnglish
Title of host publicationReversible Computation : 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings
EditorsJean Krivine, Jean-Bernard Stefani
Publication date2015
ISBN (Print)978-3-319-20859-6
ISBN (Electronic)978-3-319-20860-2
Publication statusPublished - 2015
Event7th Conference on Reversible Computation - Grenoble, France
Duration: 16. Jul 201517. Jul 2015


Conference7th Conference on Reversible Computation
SeriesLecture Notes in Computer Science


Dive into the research topics of 'Towards a Domain-Specific Language for Reversible Assembly Sequences'. Together they form a unique fingerprint.

Cite this