Towards a domain-specific language for reversible assembly sequences

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 9138, Issue , 2015, Pages 111-126

  Schultz, Ulrik Pagh ^a   Laursen, Johan Sund ^a   Ellekilde, Lars Peter ^a   Axelsen, Holger Bock ^b  

^a UNIVERSITY OF SOUTHERN DENMARK   (Denmark)

^b UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; FORMAL METHODS; INDUSTRIAL ROBOTS; PROBLEM ORIENTED LANGUAGES; ROBOT PROGRAMMING; SEMANTICS;

ASSEMBLY OPERATIONS; ASSEMBLY SEQUENCE; BATCH PRODUCTION; DISASSEMBLY SEQUENCE; DOMAIN SPECIFIC LANGUAGES; FORMAL SEMANTICS; INDUSTRIAL CASE STUDY; SOFTWARE FRAMEWORKS;

ASSEMBLY;

EID: 84949982941     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-319-20860-2_7     Document Type: Conference Paper

References (15)

1. Angerer, A., Hoffmann, A., Schierl, A., Vistein, M., Reif, W.: Robotics API: Object-oriented software development for industrial robots. Journal of Software Engineering in Robotics 4(1), 1–22 (2013)
2. Buch, J.P., Laursen, J.S., Sørensen, L.C., Ellekilde, L.-P., Kraft, D., Schultz, U.P., Petersen, H.G.: Applying simulation and a domain-specific language for an adaptive action library. In: Brugali, D., Broenink, J.F., Kroeger, T., MacDonald, B.A. (eds.) SIMPAR 2014. LNCS, vol. 8810, pp. 86–97. Springer, Heidelberg (2014)
3. EU Robotics AISBL: Robotics 2020 multi-annual roadmap for robotics in europe (2014)
4. Foster, J.N., Greenwald, M.B., Moore, J.T., Pierce, B.C., Schmitt, A.: Combinators for bi-directional tree transformations: A linguistic approach to the view update problem. ACM Transactions on Programming Languages and Systems 29(3), Article 17 (2007)
5. Haegele, M., Skordas, T., Sagert, S., Bischoff, R., Brogardh, T., Dresselhaus, M.: White paper - Industrial Robot Automation (2005). http://www.euron.org/miscdocs/docs/euron2/year2/dr-14-1-industry.pdf
6. Laursen, J.S., Buch, J.P., Sørensen, L.C., Kraft, D., Petersen, H.G., Ellekilde, L.P., Schultz, U.P.: Towards Error Handling in a DSL for Robot Assembly Tasks (2014), DSLRob 2014. arXiv:1412.4538
7. Muhe, H., Angerer, A., Hoffmann, A., Reif, W.: On reverse-engineering the KUKA Robot Language (2010), DSLRob 2010. arXiv:1009.5004
8. Savarimuthu, T.R., Liljekrans, D., Ellekilde, L.P., Ude, A., Nemec, B., Krüger, N.: Analysis of human peg-in-hole executions in a robotic embodiment using uncertain grasps. In: Robot Motion and Control (RoMoCo 2013), pp. 233–239. IEEE (2013)
9. Schultz, U., Bordignon, M., Stoy, K.: Robust and reversible execution of selfreconfiguration sequences. Robotica 29, 35–57 (2011). http://www.youtube.com/watch?v=SYizuooEs7s
10. Schultz, U.: Poster: programming language abstractions for self-reconfigurable robots. In: Systems, Programming, and Applications: Software for Humanity (SPLASH 2012), pp. 69–70. ACM, New York (2012)
11. Schultz, U.P.: Towards a general-purpose, reversible language for controlling self-reconfigurable robots. In: Glück, R., Yokoyama, T. (eds.) RC 2012. LNCS, vol. 7581, pp. 97–111. Springer, Heidelberg (2013)
12. Stoddart, B., Lynas, R., Zeyda, F.: A virtual machine for supporting reversible probabilistic guarded command languages. Electronic Notes in Theoretical Computer Science 253(6), 33–56 (2010). Reversible Computation (RC 2009)
13. Yim, M., Shen, W.M., Salemi, B., Rus, D., Moll, M., Lipson, H., Klavins, E., Chirikjian, G.S.: Modular Self-Reconfigurable Robot Systems [Grand Challenges of Robotics]. IEEE Robotics and Automation Magazine 14(1), 43–52 (2007)
14. Yokoyama, T., Axelsen, H.B., Glück, R.: Principles of a reversible programming language. In: Computing Frontiers (CF 2008), pp. 43–54. ACM, New York (2008)
15. Zuliani, P.: Logical reversibility. IBM Journal of Research and Development 45(6), 807–818 (2001)