Towards a Domain-Specific Language for Reversible Assembly Sequences

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

Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Abstrakt

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.

OriginalsprogEngelsk
TitelReversible Computation : 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings
RedaktørerJean Krivine, Jean-Bernard Stefani
ForlagSpringer
Publikationsdato2015
Sider111-126
ISBN (Trykt)978-3-319-20859-6
ISBN (Elektronisk)978-3-319-20860-2
DOI
StatusUdgivet - 2015
Begivenhed7th Conference on Reversible Computation - Grenoble, Frankrig
Varighed: 16. jul. 201517. jul. 2015

Konference

Konference7th Conference on Reversible Computation
Land/OmrådeFrankrig
ByGrenoble
Periode16/07/201517/07/2015
NavnLecture Notes in Computer Science
Vol/bind9138
ISSN0302-9743

Fingeraftryk

Dyk ned i forskningsemnerne om 'Towards a Domain-Specific Language for Reversible Assembly Sequences'. Sammen danner de et unikt fingeraftryk.

Citationsformater