TY - GEN
T1 - Towards a Domain-Specific Language for Reversible Assembly Sequences
AU - Schultz, Ulrik Pagh
AU - Laursen, Johan Sund
AU - Ellekilde, Lars-Peter
AU - Axelsen, Holger Bock
PY - 2015
Y1 - 2015
N2 - 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.
AB - 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.
U2 - 10.1007/978-3-319-20860-2_7
DO - 10.1007/978-3-319-20860-2_7
M3 - Article in proceedings
SN - 978-3-319-20859-6
T3 - Lecture Notes in Computer Science
SP - 111
EP - 126
BT - Reversible Computation
A2 - Krivine, Jean
A2 - Stefani, Jean-Bernard
PB - Springer
T2 - 7th Conference on Reversible Computation
Y2 - 16 July 2015 through 17 July 2015
ER -