Towards a domain-specific language for reversible assembly sequences

DOI10.1007/978-3-319-20860-2_7MaRDI QIDQ2822499zbMATH OpenOpenAlexFDO

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

Publication date 30 September 2016

Published in Reversible Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-20860-2_7

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Artificial intelligence for robotics (68T40) Automated systems (robots, etc.) in control theory (93C85)

Recommendations

• Towards a general-purpose, reversible language for controlling self-reconfigurable robots
• Human robot collaborative assembly planning: an answer set programming approach
• A representation method of assembly tasks for dealing with uncertainty
• Publication:5750417
• Hybrid compliance control for intelligent assembly in a robot work cell

Cites work

• Combinators for bi-directional tree transformations: a linguistic approach to the view update problem
• Towards a general-purpose, reversible language for controlling self-reconfigurable robots

Cited in

(7)

• Algeo: an algebraic approach to reversibility
• Join inverse categories as models of reversible recursion
• The degree of irreversibility in deterministic finite automata
• The degree of irreversibility in deterministic finite automata
• Join inverse categories and reversible recursion
• A small-step semantics for Janus
• Join inverse rig categories for reversible functional programming, and beyond

Describes a project that uses

Uses Software

• Robotics API
• KUKA Robot Language

This page was built for publication: Towards a domain-specific language for reversible assembly sequences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2822499)