Capability Building
In the Capability Building phase, basic and composite components are constructed up to the application-level and constraints for their deployment are specified. This also includes the specification and eventually generation of additional knowledge required for component execution such as knowledge bases and training data.
106 publications
- 1985
- 1990
- 1995
- 2000
- 2005
- 2010
- 2015
Kinematics
Kinematics refers to the motion of bodies in robotic mechanisms without taking the forces/torques causing the motion into account. Hence, it includes general representations of the position and orientation of a body, the relation among the joints as well as conventions for representing the geometry of rigid bodies connected by joints. This subdomain corresponds to Part A, Chapter 1 in the Handbook of Robotics.
| Key | Title | Authors | Year | Formalism | Tool |
|---|---|---|---|---|---|
| aertbelien2014etasl | eTaSL/eTC: A constraint-based task specification language and robot controller using expression graphsIntelligent Robots and Systems (IROS 2014), 2014 IEEE/RSJ International Conference on | Erwin Aertbeliën, Joris De Schutter | 2014 | ||
| bordignon2011generalized | Generalized programming of modular robots through kinematic configurationsIntelligent Robots and Systems (IROS), 2011 IEEE/RSJ International Conference on | Mirko Bordignon, Kasper Stoy, Ulrik Pagh Schultz | 2011 | ||
| frigerio2012code | Code Generation of Algebraic Quantities for Robot ControllersIntelligent Robots and Systems (IROS), 2012 IEEE/RSJ International Conference on websitedownload | Marco Frigerio, Jonas Buchli, Darwin G Caldwell | 2012 | ecore | xtext |
| frigerio2012model | Model based code generation for kinematics and dynamics computations in robot controllersWorkshop on Software Development and Integration in Robotics, St. Paul, Minnesota, USA | Marco Frigerio, Jonas Buchli, Darwin G Caldwell | 2012 | ecore | xtext |
| jara2011ejs+ | Ejs+ EjsRL: An interactive tool for industrial robots simulation, Computer Vision and remote operationRobotics and Autonomous systems | Carlos A Jara, Francisco A Candelas, Pablo Gil, Fernando Torres, Francisco Esquembre, Sebastián Dormido | 2011 | other | none |
| kanayama2000s | It's time to make mobile robots programmableRobotics and Automation, 2000. Proceedings. ICRA'00. IEEE International Conference on | Yutaka J Kanayama, C Thomas Wu | 2000 | unknown | |
| kang20053d | 3d virtual prototyping of home service robots using asadal/objRobotics and Automation, 2005. ICRA 2005. Proceedings of the 2005 IEEE International Conference on | Kyo Chul Kang, Moonzoo Kim, Jaejoon Lee, Byungkil Kim, Youngjin Hong, Hyoungki Lee, Seokwon Bang | 2005 | unknown | ASADAL/OBJ |
| klotzbucher2011reusable | Reusable hybrid force-velocity controlled motion specifications with executable domain specific languagesIntelligent Robots and Systems (IROS), 2011 IEEE/RSJ International Conference on download | M Klotzbucher, Ruben Smits, Herman Bruyninckx, Joris De Schutter | 2011 | unknown | unknown |
| manikonda1995motion | A motion description language and a hybrid architecture for motion planning with nonholonomic robotsRobotics and Automation, 1995. Proceedings., 1995 IEEE International Conference on | Vikram Manikonda, Perinkulam S Krishnaprasad, James Hendler | 1995 | other | none |
| ramadorai1994generic | A generic kinematics software packageRobotics and Automation, 1994. Proceedings., 1994 IEEE International Conference on | Arvind K Ramadorai, U Ganapathy, F Guida | 1994 | unknown | none |
| vanthienen2013rapid | Rapid application development of constrained-based task modelling and execution using domain specific languagesIntelligent Robots and Systems (IROS), 2013 IEEE/RSJ International Conference on | Dominick Vanthienen, M Klotzbuucher, Joris De Schutter, Tinne De Laet, Herman Bruyninckx | 2013 | unknown | EMF + internal (lua) |
Dynamics
Dynamics covers the relationships between actuation and contact forces that act on robot mechanisms. Such a mechanism in this sense is described by rigid bodies connected by joints. Furthermore, it pertains to the acceleration and motion trajectories resulting from these relationships. This subdomain corresponds to Part A, Chapter 2 in the Handbook of Robotics.
| Key | Title | Authors | Year | Formalism | Tool |
|---|---|---|---|---|---|
| aertbelien2014etasl | eTaSL/eTC: A constraint-based task specification language and robot controller using expression graphsIntelligent Robots and Systems (IROS 2014), 2014 IEEE/RSJ International Conference on | Erwin Aertbeliën, Joris De Schutter | 2014 | ||
| frigerio2012code | Code Generation of Algebraic Quantities for Robot ControllersIntelligent Robots and Systems (IROS), 2012 IEEE/RSJ International Conference on websitedownload | Marco Frigerio, Jonas Buchli, Darwin G Caldwell | 2012 | ecore | xtext |
| frigerio2012model | Model based code generation for kinematics and dynamics computations in robot controllersWorkshop on Software Development and Integration in Robotics, St. Paul, Minnesota, USA | Marco Frigerio, Jonas Buchli, Darwin G Caldwell | 2012 | ecore | xtext |
| jara2011ejs+ | Ejs+ EjsRL: An interactive tool for industrial robots simulation, Computer Vision and remote operationRobotics and Autonomous systems | Carlos A Jara, Francisco A Candelas, Pablo Gil, Fernando Torres, Francisco Esquembre, Sebastián Dormido | 2011 | other | none |
Mechanisms and Actuation
Mechanisms and Actuation focuses on the mechanical structure of a robot that creates its movable skeleton. All elements that cause a robotic mechanism to move – so called actuators – are addressed along with the mathematical model that is used to characterize the robot's performance. This subdomain corresponds to Part A, Chapter 3 in the Handbook of Robotics.
| Key | Title | Authors | Year | Formalism | Tool |
|---|---|---|---|---|---|
| barth2012goto | A GOTO-based concept for intuitive robot programmingIntelligent Robots and Systems (IROS), 2012 IEEE/RSJ International Conference on | Katharina Barth, Dominik Henrich | 2012 | other | none |
| fleury1994design | Design of a modular architecture for autonomous robotRobotics and Automation, 1994. Proceedings., 1994 IEEE International Conference on | Sara Fleury, Matthieu Herrb, Raja Chatila | 1994 | unknown | Lex, Yacc |
| kang20053d | 3d virtual prototyping of home service robots using asadal/objRobotics and Automation, 2005. ICRA 2005. Proceedings of the 2005 IEEE International Conference on | Kyo Chul Kang, Moonzoo Kim, Jaejoon Lee, Byungkil Kim, Youngjin Hong, Hyoungki Lee, Seokwon Bang | 2005 | unknown | ASADAL/OBJ |
| kilgo2012visual | A Visual Modeling Language for RDIS and ROS Nodes Using AToM3Simulation, Modeling, and Programming for Autonomous Robots | Paul Kilgo, Eugene Syriani, Monica Anderson | 2012 | AToM3 | |
| kitagishi2002development | Development of motion data description language for robots based on eXtensible Markup Language-realization of better understanding and communication via networksIntelligent Robots and Systems, 2002. IEEE/RSJ International Conference on | Ikuo Kitagishi, Tamotsu Machino, Akira Nakayama, Satoshi Iwaki, Masashi Okudaira | 2002 | XSD | unknown |
| ljungkrantz2007implementing | Implementing a control system framework for automatic generation of manufacturing cell controllersRobotics and Automation, 2007 IEEE International Conference on | Oscar Ljungkrantz, K Akesson, Johan Richardsson, Kristin Andersson | 2007 | XSD | |
| nilas2004innovative | An innovative high-level human-robot interaction for disabled personsRobotics and Automation, 2004. Proceedings. ICRA'04. 2004 IEEE International Conference on | Phongchai Nilas, Pramila Rani, Nilanjan Sarkar | 2004 | unknown | unknown |
| schneider2014declarative | Declarative specification of task-based grasping with constraint validationIntelligent Robots and Systems (IROS 2014), 2014 IEEE/RSJ International Conference on | Sven Schneider, Nico Hochgeschwender, Gerhard K Kraetzschmar | 2014 | ecore | xtext |
Sensing and Estimation
Sensing and Estimation ranges from robot-state estimation for feedback control to task-oriented interpretation of sensor data of any kind. Apart from estimation techniques, this category also covers different kinds of information representations. This subdomain corresponds to Part A, Chapter 4 in the Handbook of Robotics.
| Key | Title | Authors | Year | Formalism | Tool |
|---|---|---|---|---|---|
| Araiza-Illan2016 | Intelligent Agent-Based Stimulation for Testing Robotic Software in Human-Robot Interactions | Dejanira Araiza-Illan, Anthony G. Pipe, Kerstin Eder | 2016 | unknown | none |
| fleury1994design | Design of a modular architecture for autonomous robotRobotics and Automation, 1994. Proceedings., 1994 IEEE International Conference on | Sara Fleury, Matthieu Herrb, Raja Chatila | 1994 | unknown | Lex, Yacc |
| gordillo1991high | LE: a high level language for specifying vision verification tasksRobotics and Automation, 1991. Proceedings., 1991 IEEE International Conference on | Jose L Gordillo | 1991 | unknown | unknown |
| henderson1984logical | Logical sensor systemsJournal of Robotic Systems | Tom Henderson, Esther Shilcrat | 1984 | (E)BNF | |
| hochgeschwender2014declarative | Declarative Specification of Robot Perception ArchitecturesSimulation, Modeling, and Programming for Autonomous Robots | Nico Hochgeschwender, Sven Schneider, Holger Voos, Gerhard K Kraetzschmar | 2014 | ecore | xtext |
| kilgo2012visual | A Visual Modeling Language for RDIS and ROS Nodes Using AToM3Simulation, Modeling, and Programming for Autonomous Robots | Paul Kilgo, Eugene Syriani, Monica Anderson | 2012 | AToM3 | |
| ljungkrantz2007implementing | Implementing a control system framework for automatic generation of manufacturing cell controllersRobotics and Automation, 2007 IEEE International Conference on | Oscar Ljungkrantz, K Akesson, Johan Richardsson, Kristin Andersson | 2007 | XSD | |
| nilas2004innovative | An innovative high-level human-robot interaction for disabled personsRobotics and Automation, 2004. Proceedings. ICRA'04. 2004 IEEE International Conference on | Phongchai Nilas, Pramila Rani, Nilanjan Sarkar | 2004 | unknown | unknown |
| ramaswamy2014solution | Solution space modeling for robotic systemsJournal for Software Engineering Robotics (JOSER) | Arun Kumar Ramaswamy, Bruno Monsuez, Adriana Tapus | 2014 | ecore | EMF/GMF |
Motion Planning
Motion Planning covers collision-free trajectory planning for mobile platforms as well as robot actuators. This subdomain corresponds to Part A, Chapter 5 in the Handbook of Robotics.
| Key | Title | Authors | Year | Formalism | Tool |
|---|---|---|---|---|---|
| Araiza-Illan2016 | Intelligent Agent-Based Stimulation for Testing Robotic Software in Human-Robot Interactions | Dejanira Araiza-Illan, Anthony G. Pipe, Kerstin Eder | 2016 | unknown | none |
| dantam2011motion | The motion grammar for physical human-robot gamesRobotics and Automation (ICRA), 2011 IEEE International Conference on | Neil Dantam, P Koine, Mike Stilman | 2011 | other | unknown |
| dantam2012linguistic | Linguistic transfer of human assembly tasks to robotsIntelligent Robots and Systems (IROS), 2012 IEEE/RSJ International Conference on | Neil Dantam, Irfan Essa, Mike Stilman | 2012 | (E)BNF | unknown |
| dantam2013correct | Correct Software Synthesis for Stable Speed-Controlled Robotic Walking.Robotics: Science and Systems | Neil Dantam, Ayonga Hereid, Aaron D Ames, Mike Stilman | 2013 | CFG? | none |
| feniello2014program | Program synthesis by examples for object repositioning tasksIntelligent Robots and Systems (IROS 2014), 2014 IEEE/RSJ International Conference on | Ashley Feniello, Hao Dang, Stan Birchfield | 2014 | unknown | none |
| finucane2010ltlmop | LTLMoP: Experimenting with language, temporal logic and robot controlIntelligent Robots and Systems (IROS), 2010 IEEE/RSJ International Conference on | Cameron Finucane, Gangyuan Jing, Hadas Kress-Gazit | 2010 | LTL | unknown |
| hsieh2007adaptive | Adaptive teams of autonomous aerial and ground robots for situational awarenessJournal of Field Robotics | M Ani Hsieh, Anthony Cowley, James F Keller, Luiz Chaimowicz, Ben Grocholsky, Vijay Kumar, Camillo J Taylor, Yoichiro Endo, Ronald C Arkin, Boyoon Jung, et al. | 2007 | unknown | |
| kanayama2000s | It's time to make mobile robots programmableRobotics and Automation, 2000. Proceedings. ICRA'00. IEEE International Conference on | Yutaka J Kanayama, C Thomas Wu | 2000 | unknown | |
| kress2007structured | From structured english to robot motionIntelligent Robots and Systems, 2007. IROS 2007. IEEE/RSJ International Conference on | Hadas Kress-Gazit, Georgios E Fainekos, George J Pappas | 2007 | LTL | none |
| mackenzie1995specification | Specification and execution of multiagent missionsIntelligent Robots and Systems 95.'Human Robot Interaction and Cooperative Robots', Proceedings. 1995 IEEE/RSJ International Conference on | Douglas C MacKenzie, Jonathan M Cameron, Ronald C Arkin | 1995 | unknown | MissionLab |
| mosemann2001automatic | Automatic decomposition of planned assembly sequences into skill primitivesRobotics and Automation, IEEE Transactions on | Heiko Mosemann, Friedrich M Wahl | 2001 | other | unknown |
| rugg1994formal | A formal semantics for multiple vehicle task and motion planningRobotics and Automation, 1994. Proceedings., 1994 IEEE International Conference on | Neil Rugg-Gunn, Stephen Cameron | 1994 | other | |
| schneider2014declarative | Declarative specification of task-based grasping with constraint validationIntelligent Robots and Systems (IROS 2014), 2014 IEEE/RSJ International Conference on | Sven Schneider, Nico Hochgeschwender, Gerhard K Kraetzschmar | 2014 | ecore | xtext |
| zhang2003control | Control of small formations using shape coordinatesRobotics and Automation, 2003. Proceedings. ICRA'03. IEEE International Conference on | Fumin Zhang, Michael Goldgeier, Perinkulam S Krishnaprasad | 2003 | SDD | MDLe engine |
Motion Control
Motion Control addresses the dynamical model of robotic manipulators. This includes different controller approaches, such as independent-joint, PID as well as torque control. This subdomain corresponds to Part A, Chapter 6 in the Handbook of Robotics.
| Key | Title | Authors | Year | Formalism | Tool |
|---|---|---|---|---|---|
| barth2012goto | A GOTO-based concept for intuitive robot programmingIntelligent Robots and Systems (IROS), 2012 IEEE/RSJ International Conference on | Katharina Barth, Dominik Henrich | 2012 | other | none |
| buch2014applying | Applying Simulation and a Domain-Specific Language for an Adaptive Action LibrarySimulation, Modeling, and Programming for Autonomous Robots | Jacob Pørksen Buch, Johan Sund Laursen, Lars Carøe Sørensen, Lars-Peter Ellekilde, Dirk Kraft, Ulrik Pagh Schultz, Henrik Gordon Petersen | 2014 | (E)BNF | unknown |
| burbidge2009grammatical | Grammatical evolution of a robot controllerIntelligent Robots and Systems, 2009. IROS 2009. IEEE/RSJ International Conference on | Robert Burbidge, Joanne H Walker, Myra S Wilson | 2009 | (E)BNF | |
| dantam2013correct | Correct Software Synthesis for Stable Speed-Controlled Robotic Walking.Robotics: Science and Systems | Neil Dantam, Ayonga Hereid, Aaron D Ames, Mike Stilman | 2013 | CFG? | none |
| fayman1999av | AV-shell, an environment for autonomous robotic applications using active visionAutonomous Robots | Jeffrey A Fayman, Ehud Rivlin, Henrik I Christensen | 1999 | unknown | unknown |
| finucane2010ltlmop | LTLMoP: Experimenting with language, temporal logic and robot controlIntelligent Robots and Systems (IROS), 2010 IEEE/RSJ International Conference on | Cameron Finucane, Gangyuan Jing, Hadas Kress-Gazit | 2010 | LTL | unknown |
| graves1999distributed | Distributed generic control for multiple types of telerobotRobotics and Automation, 1999. Proceedings. 1999 IEEE International Conference on | Alan R Graves, Chris Czarnecki | 1999 | unknown | unknown |
| kanayama2000s | It's time to make mobile robots programmableRobotics and Automation, 2000. Proceedings. ICRA'00. IEEE International Conference on | Yutaka J Kanayama, C Thomas Wu | 2000 | unknown | |
| kim2003task | Task description language for underwater robotsIntelligent Robots and Systems, 2003.(IROS 2003). Proceedings. 2003 IEEE/RSJ International Conference on | Tae Won Kim, Junku Yuh | 2003 | (E)BNF | unknown |
| kitagishi2002development | Development of motion data description language for robots based on eXtensible Markup Language-realization of better understanding and communication via networksIntelligent Robots and Systems, 2002. IEEE/RSJ International Conference on | Ikuo Kitagishi, Tamotsu Machino, Akira Nakayama, Satoshi Iwaki, Masashi Okudaira | 2002 | XSD | unknown |
| klotzbucher2011reusable | Reusable hybrid force-velocity controlled motion specifications with executable domain specific languagesIntelligent Robots and Systems (IROS), 2011 IEEE/RSJ International Conference on download | M Klotzbucher, Ruben Smits, Herman Bruyninckx, Joris De Schutter | 2011 | unknown | unknown |
| kress2007structured | From structured english to robot motionIntelligent Robots and Systems, 2007. IROS 2007. IEEE/RSJ International Conference on | Hadas Kress-Gazit, Georgios E Fainekos, George J Pappas | 2007 | LTL | none |
| manikonda1995motion | A motion description language and a hybrid architecture for motion planning with nonholonomic robotsRobotics and Automation, 1995. Proceedings., 1995 IEEE International Conference on | Vikram Manikonda, Perinkulam S Krishnaprasad, James Hendler | 1995 | other | none |
| morelli2014control | Control and Scheduling Co-design for a Simulated Quadcopter Robot: A Model-Driven ApproachSimulation, Modeling, and Programming for Autonomous Robots | Matteo Morelli, Marco Di Natale | 2014 | ecore | EMF/GMF |
| nishiyama1998logic | Logic specifications for multiple robots based on a current programming languageIntelligent Robots and Systems, 1998. Proceedings., 1998 IEEE/RSJ International Conference on | Hiroyuki Nishiyama, Hayato Ohwada, Fumio Mizoguchi | 1998 | unknown | unknown |
| nordmann2015modeling | Modeling of Movement Control Architectures based on Motion Primitives using Domain-Specific LanguagesInternational Conference on Robotics and Automation (ICRA) | Arne Nordmann, Sebastian Wrede, Jochen J. Steil | 2015 | MPS | |
| ramadorai1994generic | A generic kinematics software packageRobotics and Automation, 1994. Proceedings., 1994 IEEE International Conference on | Arvind K Ramadorai, U Ganapathy, F Guida | 1994 | unknown | none |
| thomas2013new | A New Skill Based Robot Programming Language Using UML/P StatechartsRobotics and Automation (ICRA), 2013 IEEE International Conference on | Ulrike Thomas, Gerd Hirzinger, Bernhard Rumpe, Christoph Schulze, Andreas Wortmann | 2013 | other | Monticore |
| utz2005hierarchical | Hierarchical behavior organizationIntelligent Robots and Systems, 2005.(IROS 2005). 2005 IEEE/RSJ International Conference on | Hans Utz, Gerhard Kraetzschmar, Gerd Mayer, Günther Palm | 2005 | XSD | |
| vanthienen2013rapid | Rapid application development of constrained-based task modelling and execution using domain specific languagesIntelligent Robots and Systems (IROS), 2013 IEEE/RSJ International Conference on | Dominick Vanthienen, M Klotzbuucher, Joris De Schutter, Tinne De Laet, Herman Bruyninckx | 2013 | unknown | EMF + internal (lua) |
| zhang2003control | Control of small formations using shape coordinatesRobotics and Automation, 2003. Proceedings. ICRA'03. IEEE International Conference on | Fumin Zhang, Michael Goldgeier, Perinkulam S Krishnaprasad | 2003 | SDD | MDLe engine |
Force Control
Force Control pertains to the achievement of a robust and dynamic behavior of robotic systems in compliant interaction between robot and environment. Similar to the Motion Control category, it includes different control aspects, e.g., stiffness and impedance control. This subdomain corresponds to Part A, Chapter 7 in the Handbook of Robotics.
| Key | Title | Authors | Year | Formalism | Tool |
|---|---|---|---|---|---|
| klotzbucher2011reusable | Reusable hybrid force-velocity controlled motion specifications with executable domain specific languagesIntelligent Robots and Systems (IROS), 2011 IEEE/RSJ International Conference on download | M Klotzbucher, Ruben Smits, Herman Bruyninckx, Joris De Schutter | 2011 | unknown | unknown |
Architectures and Programming
Architectures and Programming refers to the way a robotic system is designed on the software-level. It can be divided into architectural structure and architectural style. The structure is represented by how the system is split up into subsystems and how they interact with each other. The style however addresses the underlying computational concepts. This subdomain corresponds to Part A, Chapter 8 in the Handbook of Robotics.
| Key | Title | Authors | Year | Formalism | Tool |
|---|---|---|---|---|---|
| abdellatif2012rigorous | Rigorous design of robot software: A formal component-based approachRobotics and Autonomous Systems | Tesnim Abdellatif, Saddek Bensalem, Jacques Combaz, Lavindra De Silva, Felix Ingrand | 2012 | unknown | |
| adam2014towards | Towards rule-based dynamic safety monitoring for mobile robotsSimulation, Modeling, and Programming for Autonomous Robots | Sorin Adam, Morten Larsen, Kjeld Jensen, Ulrik Pagh Schultz | 2014 | unknown | |
| aertbelien2014etasl | eTaSL/eTC: A constraint-based task specification language and robot controller using expression graphsIntelligent Robots and Systems (IROS 2014), 2014 IEEE/RSJ International Conference on | Erwin Aertbeliën, Joris De Schutter | 2014 | ||
| aggarwal1994specification | Specification and automated implementation of coordination protocols in distributed controls for flexible manufacturing cellsRobotics and Automation, 1994. Proceedings., 1994 IEEE International Conference on | Sudhir Aggarwal, Sandeep Mitra, Sanjay S Jagdale | 1994 | unknown | unknown |
| alonso2010v3cmm | V3cmm: A 3-view component meta-model for model-driven robotic software developmentJournal of Software Engineering for Robotics | Diego Alonso, Cristina Vicente-Chicote, Francisco Ortiz, Juan Pastor, Barbara Alvarez | 2010 | ecore | EMF/GMF |
| anderson2012rdis | RDIS: Generalizing Domain Concepts to Specify Device to Framework MappingsRobotics and Automation (ICRA), 2012 IEEE International Conference on | Monica Anderson, Jason Bowman, Paul Kilgo | 2012 | ANTLR grammar | unknown |
| barth2012goto | A GOTO-based concept for intuitive robot programmingIntelligent Robots and Systems (IROS), 2012 IEEE/RSJ International Conference on | Katharina Barth, Dominik Henrich | 2012 | other | none |
| berenz2014targets | Targets-Drives-Means: A declarative approach to dynamic behavior specification with higher usabilityRobotics and Autonomous Systems | Vincent Berenz, Kenji Suzuki | 2014 | unknown | unknown |
| biggs2006specifying | Specifying robot reactivity in procedural languagesIntelligent Robots and Systems, 2006 IEEE/RSJ International Conference on | Geoffrey Biggs, Bruce A MacDonald | 2006 | unknown | none |
| biggs2008evaluating | Evaluating a reactive semantics for roboticsIntelligent Robots and Systems, 2008. IROS 2008. IEEE/RSJ International Conference on | Geoffrey Biggs, Bruce A MacDonald | 2008 | none | |
| bordignon2011generalized | Generalized programming of modular robots through kinematic configurationsIntelligent Robots and Systems (IROS), 2011 IEEE/RSJ International Conference on | Mirko Bordignon, Kasper Stoy, Ulrik Pagh Schultz | 2011 | ||
| bouzouia1998three | A three-layer workcell control architecture designRobotics and Automation, 1998. Proceedings. 1998 IEEE International Conference on | Brahim Bouzouia, Fawzi Guerroumi, Abdelmalek Boukhezar | 1998 | unknown | unknown |
| braberman2013controller | Controller synthesis: From modelling to enactmentProceedings of the 2013 International Conference on Software Engineering | Víctor Braberman, Nicolas D'Ippolito, Nir Piterman, Daniel Sykes, Sebastian Uchitel | 2013 | MTSA | |
| buch2014applying | Applying Simulation and a Domain-Specific Language for an Adaptive Action LibrarySimulation, Modeling, and Programming for Autonomous Robots | Jacob Pørksen Buch, Johan Sund Laursen, Lars Carøe Sørensen, Lars-Peter Ellekilde, Dirk Kraft, Ulrik Pagh Schultz, Henrik Gordon Petersen | 2014 | (E)BNF | unknown |
| burbidge2009grammatical | Grammatical evolution of a robot controllerIntelligent Robots and Systems, 2009. IROS 2009. IEEE/RSJ International Conference on | Robert Burbidge, Joanne H Walker, Myra S Wilson | 2009 | (E)BNF | |
| causse1993man | A man machine interface for a mobile robotIntelligent Robots and Systems' 93, IROS'93. Proceedings of the 1993 IEEE/RSJ International Conference on | Olivier Causse, James L Crowley | 1993 | (E)BNF | unknown |
| chaki2014model | Model-Driven Verifying Compilation of Synchronous Distributed ApplicationsModel-Driven Engineering Languages and Systems | Sagar Chaki, James Edmondson | 2014 | (E)BNF | unknown |
| coste1997maestro | The maestro language and its environment: Specification, validation and control of robotic missionsIntelligent Robots and Systems, 1997. IROS'97., Proceedings of the 1997 IEEE/RSJ International Conference on | Eve Coste-Maniere, Nicolas Turro | 1997 | unknown | unknown |
| dai2002specifying | Specifying behavior in C++Robotics and Automation, 2002. Proceedings. ICRA'02. IEEE International Conference on | Xiangtian Dai, Gregory Hager, John Peterson | 2002 | internal (c++) | |
| dantam2011motion | The motion grammar for physical human-robot gamesRobotics and Automation (ICRA), 2011 IEEE International Conference on | Neil Dantam, P Koine, Mike Stilman | 2011 | other | unknown |
| dantam2012linguistic | Linguistic transfer of human assembly tasks to robotsIntelligent Robots and Systems (IROS), 2012 IEEE/RSJ International Conference on | Neil Dantam, Irfan Essa, Mike Stilman | 2012 | (E)BNF | unknown |
| datta2012robostudio | Robostudio: A visual programming environment for rapid authoring and customization of complex services on a personal service robotIntelligent Robots and Systems (IROS), 2012 IEEE/RSJ International Conference on | Chandan Datta, Chandimal Jayawardena, I Han Kuo, Bruce A MacDonald | 2012 | unknown | Netbeans |
| de2007distributed | Distributed watchpoints: Debugging large multi-robot systemsRobotics and Automation, 2007 IEEE International Conference on | Michael De Rosa, Jason Campbell, Padmanabhan Pillai, S Goldstein, Peter Lee, T Mowry | 2007 | (E)BNF | unknown |
| de2012scripting | A Scripting-Based Approach to Robot Behavior Engineering using Hierarchical GeneratorsRobotics and Automation (ICRA), 2012 IEEE International Conference on | Thijs Jeffry de Haas, Tim Laue, T Rofer | 2012 | unknown | unknown |
| dhouib2012robotml | Robotml, a domain-specific language to design, simulate and deploy robotic applicationsSimulation, Modeling, and Programming for Autonomous Robots | Saadia Dhouib, Selma Kchir, Serge Stinckwich, Tewfik Ziadi, Mikal Ziane | 2012 | UML/MOF | GMF |
| dittes2011intelligent | Intelligent system architectures-comparison by translationIntelligent Robots and Systems (IROS), 2011 IEEE/RSJ International Conference on | Benjamin Dittes, Christian Goerick | 2011 | unknown | |
| dittes2011language | A language for formal design of embedded intelligence research systemsRobotics and Autonomous Systems | Benjamin Dittes, Christian Goerick | 2011 | other | unknown |
| fayman1999av | AV-shell, an environment for autonomous robotic applications using active visionAutonomous Robots | Jeffrey A Fayman, Ehud Rivlin, Henrik I Christensen | 1999 | unknown | unknown |
| feniello2014program | Program synthesis by examples for object repositioning tasksIntelligent Robots and Systems (IROS 2014), 2014 IEEE/RSJ International Conference on | Ashley Feniello, Hao Dang, Stan Birchfield | 2014 | unknown | none |
| finucane2010ltlmop | LTLMoP: Experimenting with language, temporal logic and robot controlIntelligent Robots and Systems (IROS), 2010 IEEE/RSJ International Conference on | Cameron Finucane, Gangyuan Jing, Hadas Kress-Gazit | 2010 | LTL | unknown |
| fleurey2009domain | A domain specific modeling language supporting specification, simulation and execution of dynamic adaptive systemsModel Driven Engineering Languages and Systems | Franck Fleurey, Arnor Solberg | 2009 | ecore | GMF |
| fleury1994design | Design of a modular architecture for autonomous robotRobotics and Automation, 1994. Proceedings., 1994 IEEE International Conference on | Sara Fleury, Matthieu Herrb, Raja Chatila | 1994 | unknown | Lex, Yacc |
| fleury1997g | GenoM: A Tool for the Specification and the Implementation of Operating Modules in a Distributed Robot ArchitectureIntelligent Robots and Systems, 1997. IROS'97., Proceedings of the 1997 IEEE/RSJ International Conference on | Sara Fleury, Matthieu Herrb, Raja Chatila | 1997 | unknown | unknown |
| freund2001state | State oriented modeling as enabling technology for projective virtual realityIntelligent Robots and Systems, 2001. Proceedings. 2001 IEEE/RSJ International Conference on | Eckhard Freund, Michael Schluse, Jürgen Rossmann | 2001 | unknown | unknown |
| gat1991alfa | Alfa: A language for programming reactive robotic control systemsRobotics and Automation, 1991. Proceedings., 1991 IEEE International Conference on | Erann Gat | 1991 | unknown | |
| gherardi2014modeling | Modeling and reusing robotic software architectures: the hyperflex toolchainRobotics and Automation (ICRA), 2014 IEEE International Conference on | Luca Gherardi, Davide Brugali | 2014 | ecore | EMF/GMF |
| gobillot2014modeling | A Modeling Framework for Software Architecture Specification and ValidationSimulation, Modeling, and Programming for Autonomous Robots | Nicolas Gobillot, Charles Lesire, David Doose | 2014 | unknown | EMF/GMF |
| gordillo1991high | LE: a high level language for specifying vision verification tasksRobotics and Automation, 1991. Proceedings., 1991 IEEE International Conference on | Jose L Gordillo | 1991 | unknown | unknown |
| graves1999distributed | Distributed generic control for multiple types of telerobotRobotics and Automation, 1999. Proceedings. 1999 IEEE International Conference on | Alan R Graves, Chris Czarnecki | 1999 | unknown | unknown |
| gritzner2018synthesizing | Synthesizing Executable PLC Code for Robots from Scenario-Based GR(1) SpecificationsSoftware Technologies: Applications and Foundations website | Daniel Gritzner, Joel Greenyer | 2018 | ScenarioTools | |
| henderson1984logical | Logical sensor systemsJournal of Robotic Systems | Tom Henderson, Esther Shilcrat | 1984 | (E)BNF | |
| hochgeschwender2013model | A model-based approach to software deployment in roboticsIntelligent Robots and Systems (IROS), 2013 IEEE/RSJ International Conference on | Nico Hochgeschwender, Luca Gherardi, Azamat Shakhirmardanov, Gerhard K Kraetzschmar, Davide Brugali, Herman Bruyninckx | 2013 | ecore | xtext |
| hochgeschwender2014declarative | Declarative Specification of Robot Perception ArchitecturesSimulation, Modeling, and Programming for Autonomous Robots | Nico Hochgeschwender, Sven Schneider, Holger Voos, Gerhard K Kraetzschmar | 2014 | ecore | xtext |
| hongxing2009component | A component based design framework for robot software architectureIntelligent Robots and Systems, 2009. IROS 2009. IEEE/RSJ International Conference on | Wei Hongxing, Duan Xinming, Li Shiyi, Tong Guofeng, Wang Tianmiao | 2009 | (E)BNF | unknown |
| horswill2000functional | Functional programming of behavior-based systemsAutonomous Robots | Ian Douglas Horswill | 2000 | none | |
| hsieh2007adaptive | Adaptive teams of autonomous aerial and ground robots for situational awarenessJournal of Field Robotics | M Ani Hsieh, Anthony Cowley, James F Keller, Luiz Chaimowicz, Ben Grocholsky, Vijay Kumar, Camillo J Taylor, Yoichiro Endo, Ronald C Arkin, Boyoon Jung, et al. | 2007 | unknown | |
| ingrand2002execution | An execution control system for autonomous robotsRobotics and Automation, 2002. Proceedings. ICRA'02. IEEE International Conference on | Félix Ingrand, Frederic Py | 2002 | unknown | unknown |
| ingrand2007decisional | Decisional autonomy of planetary roversJournal of Field Robotics | Félix Ingrand, Simon Lacroix, Solange Lemai-Chenevier, Frederic Py | 2007 | unknown | |
| jara2011ejs+ | Ejs+ EjsRL: An interactive tool for industrial robots simulation, Computer Vision and remote operationRobotics and Autonomous systems | Carlos A Jara, Francisco A Candelas, Pablo Gil, Fernando Torres, Francisco Esquembre, Sebastián Dormido | 2011 | other | none |
| joyeux2010managing | Managing plans: Integrating deliberation and reactive execution schemesRobotics and Autonomous Systems | Sylvain Joyeux, Frank Kirchner, Simon Lacroix | 2010 | unknown | unknown |
| kang20053d | 3d virtual prototyping of home service robots using asadal/objRobotics and Automation, 2005. ICRA 2005. Proceedings of the 2005 IEEE International Conference on | Kyo Chul Kang, Moonzoo Kim, Jaejoon Lee, Byungkil Kim, Youngjin Hong, Hyoungki Lee, Seokwon Bang | 2005 | unknown | ASADAL/OBJ |
| kim2003task | Task description language for underwater robotsIntelligent Robots and Systems, 2003.(IROS 2003). Proceedings. 2003 IEEE/RSJ International Conference on | Tae Won Kim, Junku Yuh | 2003 | (E)BNF | unknown |
| kovsecka1997experiments | Experiments in behavior compositionRobotics and Autonomous systems | Jana Košecká, Henrik I Christensen, Ruzena Bajcsy | 1997 | other | unknown |
| kress2007structured | From structured english to robot motionIntelligent Robots and Systems, 2007. IROS 2007. IEEE/RSJ International Conference on | Hadas Kress-Gazit, Georgios E Fainekos, George J Pappas | 2007 | LTL | none |
| kubica2002creating | Creating a smarter membrane: Automatic code generation for modular self-reconfigurable robotsRobotics and Automation, 2002. Proceedings. ICRA'02. IEEE International Conference on | Jeremy Kubica, Eleanor Rieffel | 2002 | unknown | unknown |
| kulakowski2012modeling | Modeling robot behavior with CCLSimulation, Modeling, and Programming for Autonomous Robots | Konrad Kułakowski, Tomasz Szmuc | 2012 | ||
| kunze2011towards | Towards semantic robot description languagesRobotics and Automation (ICRA), 2011 IEEE International Conference on | Lars Kunze, Tobias Roehm, Michael Beetz | 2011 | OWL | |
| lesire2012mauve | Mauve: a Component-based Modeling Framework for Real-time Analysis of Robotic Applications.7th full day Workshop on Software Development and Integration in Robotics (ICRA2012-SDIR VII) | Charles Lesire, David Doose, Hugues Cassé | 2012 | ecore | xtext |
| ljungkrantz2007implementing | Implementing a control system framework for automatic generation of manufacturing cell controllersRobotics and Automation, 2007 IEEE International Conference on | Oscar Ljungkrantz, K Akesson, Johan Richardsson, Kristin Andersson | 2007 | XSD | |
| loetzsch2006xabsl | XABSL-a pragmatic approach to behavior engineeringIntelligent Robots and Systems, 2006 IEEE/RSJ International Conference on | Martin Loetzsch, Max Risler, Matthias Jungel | 2006 | (E)BNF | unknown |
| lyons2013getting | Getting it right the first time: Robot mission guarantees in the presence of uncertaintyIntelligent Robots and Systems (IROS), 2013 IEEE/RSJ International Conference on | Damian M Lyons, Ronald C Arkin, Paramesh Nirmal, T-M Liu, J Deeb, et al. | 2013 | unknown | own development |
| mackenzie1995specification | Specification and execution of multiagent missionsIntelligent Robots and Systems 95.'Human Robot Interaction and Cooperative Robots', Proceedings. 1995 IEEE/RSJ International Conference on | Douglas C MacKenzie, Jonathan M Cameron, Ronald C Arkin | 1995 | unknown | MissionLab |
| maenpaa2004distributed | A distributed architecture for executing complex tasks with multiple robotsRobotics and Automation, 2004. Proceedings. ICRA'04. 2004 IEEE International Conference on | Topi Maenpaa, Antti Tikanmaki, Jukka Riekki, Juha Roning | 2004 | XSD | none |
| mallet2002specification | A specification of generic robotics software components: future evolutions of G en o M in the Orocos contextIntelligent Robots and Systems, 2002. IEEE/RSJ International Conference on | Anthony Mallet, Sara Fleury, Herman Bruyninckx | 2002 | (E)BNF | unknown |
| mallet2010genom3 | GenoM3: Building middleware-independent robotic componentsRobotics and Automation (ICRA), 2010 IEEE International Conference on | Anthony Mallet, Cédric Pasteur, Matthieu Herrb, Séverin Lemaignan, Félix Ingrand | 2010 | unknown | own development |
| menga1991framework | A framework for object oriented design and prototyping of manufacturing systemsRobotics and Automation, 1991. Proceedings., 1991 IEEE International Conference on | G Menga, M Morisio, M Mancin | 1991 | unknown | unknown |
| morelli2014control | Control and Scheduling Co-design for a Simulated Quadcopter Robot: A Model-Driven ApproachSimulation, Modeling, and Programming for Autonomous Robots | Matteo Morelli, Marco Di Natale | 2014 | ecore | EMF/GMF |
| mosemann2001automatic | Automatic decomposition of planned assembly sequences into skill primitivesRobotics and Automation, IEEE Transactions on | Heiko Mosemann, Friedrich M Wahl | 2001 | other | unknown |
| nishiyama1998logic | Logic specifications for multiple robots based on a current programming languageIntelligent Robots and Systems, 1998. Proceedings., 1998 IEEE/RSJ International Conference on | Hiroyuki Nishiyama, Hayato Ohwada, Fumio Mizoguchi | 1998 | unknown | unknown |
| nordmann2015modeling | Modeling of Movement Control Architectures based on Motion Primitives using Domain-Specific LanguagesInternational Conference on Robotics and Automation (ICRA) | Arne Nordmann, Sebastian Wrede, Jochen J. Steil | 2015 | MPS | |
| noreils1995plan | Plan execution monitoring and control architecture for mobile robotsRobotics and Automation, IEEE Transactions on | Fabrice R Noreils, Raja G Chatila | 1995 | (E)BNF | unknown |
| o2014automatic | Automatic Verification of Autonomous Robot MissionsSimulation, Modeling, and Programming for Autonomous Robots | Matthew O’Brien, Ronald C Arkin, Dagan Harrington, Damian Lyons, Shu Jiang | 2014 | unknown | unknown |
| ortiz2014component | A Component-Based Meta-Model and Framework in the Model Driven Toolchain C-ForgeSimulation, Modeling, and Programming for Autonomous Robots | Francisco J Ortiz, Diego Alonso, Francisca Rosique, Francisco Sánchez-Ledesma, Juan A Pastor | 2014 | unknown | EMF/GMF |
| pembeci2003functional | Functional reactive programming as a hybrid system frameworkRobotics and Automation, 2003. Proceedings. ICRA'03. IEEE International Conference on | Izzet Pembeci, Gregory Hager | 2003 | none | |
| peterson1999language | A language for declarative robotic programmingRobotics and Automation, 1999. Proceedings. 1999 IEEE International Conference on | John Peterson, Gregory D Hager, Paul Hudak | 1999 | other | unknown |
| raman2013explaining | Explaining impossible high-level robot behaviorsRobotics, IEEE Transactions on | Vasumathi Raman, Hadas Kress-Gazit | 2013 | unknown | |
| ramaswamy2014saferobots | SafeRobots: A model-driven Framework for developing Robotic SystemsIntelligent Robots and Systems (IROS 2014), 2014 IEEE/RSJ International Conference on | Anand Ramaswamy, Bruno Monsuez, Adriana Tapus | 2014 | ecore | EMF/GMF |
| ramaswamy2014solution | Solution space modeling for robotic systemsJournal for Software Engineering Robotics (JOSER) | Arun Kumar Ramaswamy, Bruno Monsuez, Adriana Tapus | 2014 | ecore | EMF/GMF |
| ramirez2011automatic | Automatic derivation of utility functions for monitoring software requirementsModel Driven Engineering Languages and Systems | Andres J Ramirez, Betty HC Cheng | 2011 | unknown | |
| ringert2015language | Language and code generator composition for model-driven engineering of robotics component & connector systemsJOURNAL OF SOFTWARE ENGINEERING IN ROBOTICS websitedownload | Jan Oliver Ringert, Roth Alexander, Rumpe Bernhard, Wortmann Andreas | 2015 | MontiArcAutomaton | |
| rugg1994formal | A formal semantics for multiple vehicle task and motion planningRobotics and Automation, 1994. Proceedings., 1994 IEEE International Conference on | Neil Rugg-Gunn, Stephen Cameron | 1994 | other | |
| rusakov2014simple | Simple concurrency for robotics with the Roboscoop frameworkIntelligent Robots and Systems (IROS 2014), 2014 IEEE/RSJ International Conference on | Andrey Rusakov, Jiwon Shin, Bertrand Meyer | 2014 | unknown | none |
| schlegel2010design | Design abstraction and processes in robotics: From code-driven to model-driven engineeringSimulation, Modeling, and Programming for Autonomous Robots | Christian Schlegel, Andreas Steck, Davide Brugali, Alois Knoll | 2010 | UML/MOF | GMF |
| simmons1998task | A task description language for robot controlIntelligent Robots and Systems, 1998. Proceedings., 1998 IEEE/RSJ International Conference on | Reid Simmons, David Apfelbaum | 1998 | (E)BNF | unknown |
| steck2011managing | Managing execution variants in task coordination by exploiting design-time models at run-timeIntelligent Robots and Systems (IROS), 2011 IEEE/RSJ International Conference on | Andreas Steck, Christian Schlegel | 2011 | internal (lisp) | |
| sun2012model | A model-driven approach to support engineering changes in industrial robotics software | Yu Sun, Jeff Gray, Karlheinz Bulheller, Nicolaus von Baillou | 2012 | ||
| thomas2013new | A New Skill Based Robot Programming Language Using UML/P StatechartsRobotics and Automation (ICRA), 2013 IEEE International Conference on | Ulrike Thomas, Gerd Hirzinger, Bernhard Rumpe, Christoph Schulze, Andreas Wortmann | 2013 | other | Monticore |
| tousignant2011overview | An overview of XRobots: A hierarchical state machine based languageICRA-2011 Workshop on Software Development and Integration in Robotics, Shanghai, China May | Steve Tousignant, Eric Van Wyk, Maria Gini | 2011 | silver | silver |
| tousignant2012xrobots | XRobots: A flexible language for programming mobile robots based on hierarchical state machinesRobotics and Automation (ICRA), 2012 IEEE International Conference on | Steve Tousignant, Eric Van Wyk, Maria Gini | 2012 | unknown | unknown |
| utz2005hierarchical | Hierarchical behavior organizationIntelligent Robots and Systems, 2005.(IROS 2005). 2005 IEEE/RSJ International Conference on | Hans Utz, Gerhard Kraetzschmar, Gerd Mayer, Günther Palm | 2005 | XSD | |
| wang2001reconfigurable | Reconfigurable software for open architecture controllersRobotics and Automation, 2001. Proceedings 2001 ICRA. IEEE International Conference on | Shige Wang, Kang G Shin | 2001 | unknown | unknown |
| woithe2009programming | A programming architecture for smart autonomous underwater vehiclesIntelligent Robots and Systems, 2009. IROS 2009. IEEE/RSJ International Conference on | Hans C Woithe, Ulrich Kremer | 2009 | other | flex/bison |
Reasoning Methods
Reasoning Methods focuse on symbol-based reasoning and knowledge representation. It covers logic- as well as probability-based approaches. Furthermore, this category also addresses learning, such as inductive logic learning, neuronal networks and reinforcement learning. This subdomain corresponds to Part A, Chapter 9 in the Handbook of Robotics.
| Key | Title | Authors | Year | Formalism | Tool |
|---|---|---|---|---|---|
| dantam2012linguistic | Linguistic transfer of human assembly tasks to robotsIntelligent Robots and Systems (IROS), 2012 IEEE/RSJ International Conference on | Neil Dantam, Irfan Essa, Mike Stilman | 2012 | (E)BNF | unknown |
| de2007distributed | Distributed watchpoints: Debugging large multi-robot systemsRobotics and Automation, 2007 IEEE International Conference on | Michael De Rosa, Jason Campbell, Padmanabhan Pillai, S Goldstein, Peter Lee, T Mowry | 2007 | (E)BNF | unknown |
| feniello2014program | Program synthesis by examples for object repositioning tasksIntelligent Robots and Systems (IROS 2014), 2014 IEEE/RSJ International Conference on | Ashley Feniello, Hao Dang, Stan Birchfield | 2014 | unknown | none |
| gobillot2014modeling | A Modeling Framework for Software Architecture Specification and ValidationSimulation, Modeling, and Programming for Autonomous Robots | Nicolas Gobillot, Charles Lesire, David Doose | 2014 | unknown | EMF/GMF |
| gordillo1991high | LE: a high level language for specifying vision verification tasksRobotics and Automation, 1991. Proceedings., 1991 IEEE International Conference on | Jose L Gordillo | 1991 | unknown | unknown |
| hochgeschwender2014declarative | Declarative Specification of Robot Perception ArchitecturesSimulation, Modeling, and Programming for Autonomous Robots | Nico Hochgeschwender, Sven Schneider, Holger Voos, Gerhard K Kraetzschmar | 2014 | ecore | xtext |
| horswill2000functional | Functional programming of behavior-based systemsAutonomous Robots | Ian Douglas Horswill | 2000 | none | |
| joyeux2010managing | Managing plans: Integrating deliberation and reactive execution schemesRobotics and Autonomous Systems | Sylvain Joyeux, Frank Kirchner, Simon Lacroix | 2010 | unknown | unknown |
| kunze2011towards | Towards semantic robot description languagesRobotics and Automation (ICRA), 2011 IEEE International Conference on | Lars Kunze, Tobias Roehm, Michael Beetz | 2011 | OWL | |
| noreils1995plan | Plan execution monitoring and control architecture for mobile robotsRobotics and Automation, IEEE Transactions on | Fabrice R Noreils, Raja G Chatila | 1995 | (E)BNF | unknown |
| o2014automatic | Automatic Verification of Autonomous Robot MissionsSimulation, Modeling, and Programming for Autonomous Robots | Matthew O’Brien, Ronald C Arkin, Dagan Harrington, Damian Lyons, Shu Jiang | 2014 | unknown | unknown |
| raman2013explaining | Explaining impossible high-level robot behaviorsRobotics, IEEE Transactions on | Vasumathi Raman, Hadas Kress-Gazit | 2013 | unknown | |
| steck2011managing | Managing execution variants in task coordination by exploiting design-time models at run-timeIntelligent Robots and Systems (IROS), 2011 IEEE/RSJ International Conference on | Andreas Steck, Christian Schlegel | 2011 | internal (lisp) |