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.
18 publications
- 1985
- 1990
- 1995
- 2000
- 2005
- 2010
- 2015
Scenario Building
In the Scenario Building phase, environment features, constraints and characteristics are defined. Furthermore, the robot's task is defined. This includes the specification of customer acceptance tests to be performed in the specified and potentially generalized environment.
| Key | Title | Authors | Year | Formalism | Tool |
|---|---|---|---|---|---|
| kunze2011towards | Towards semantic robot description languagesRobotics and Automation (ICRA), 2011 IEEE International Conference on | Lars Kunze, Tobias Roehm, Michael Beetz | 2011 | OWL | |
| menghi2019Specification | Specification Patterns for Robotic MissionsTransactions on Software Engineering websitedownload | C. Menghi, C. Tsigkanos, P. Pelliccione, C. Ghezzi, T. Berger | 2019 | LTL/CTL | |
| 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 |
| raman2012avoiding | Avoiding forgetfulness: Structured English specifications for high-level robot control with implicit memoryIntelligent Robots and Systems (IROS), 2012 IEEE/RSJ International Conference on | Vasumathi Raman, Bingxin Xu, Hadas Kress-Gazit | 2012 | LTL | LTLMoP |
Functional Design
In the Functional Design phase, hardware requirements and top-level functionalities are derived based on the scenario definition. Furthermore, top-level functionalities are decomposed and dependencies among them are identified. Also an initial functional design stating which functionalities interact with each other is developed.
| Key | Title | Authors | Year | Formalism | Tool |
|---|---|---|---|---|---|
| bocionek1990generating | Generating expert systems for configuration tasksRobotics and Automation, 1990. Proceedings., 1990 IEEE International Conference on | S Bocionek, P Buchka, J Schweiger | 1990 | ||
| 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 |
| 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 |
| raman2013explaining | Explaining impossible high-level robot behaviorsRobotics, IEEE Transactions on | Vasumathi Raman, Hadas Kress-Gazit | 2013 | unknown | |
| roehr2014reconfigurable | Reconfigurable integrated multirobot exploration system (RIMRES): heterogeneous modular reconfigurable robots for space explorationJournal of Field Robotics | Thomas M Roehr, Florian Cordes, Frank Kirchner | 2014 |
Platform Building
In the Platform Building phase, the robot hardware is determined. This includes the selection and potential configuration of robot's sensors and actuators meeting the requirements defined in the functional design phase.
| Key | Title | Authors | Year | Formalism | Tool |
|---|---|---|---|---|---|
| bocionek1990generating | Generating expert systems for configuration tasksRobotics and Automation, 1990. Proceedings., 1990 IEEE International Conference on | S Bocionek, P Buchka, J Schweiger | 1990 | ||
| 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 |
| 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 |
| 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 |
| roehr2014reconfigurable | Reconfigurable integrated multirobot exploration system (RIMRES): heterogeneous modular reconfigurable robots for space explorationJournal of Field Robotics | Thomas M Roehr, Florian Cordes, Frank Kirchner | 2014 |
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.
| 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) |
System Deployment
In the System Deployment phase, top-level component(s) are packaged into a complete application system which defines a mapping of components and composites to computational units. Furthermore, features and procedures for system launch management are developed.
| Key | Title | Authors | Year | Formalism | Tool |
|---|---|---|---|---|---|
| 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 |
System Benchmarking
In the System Benchmarking phase, certain test procedures targeting different quality attributes are performed such as stress testing, safety and security testing, reliability and durability testing, and performance testing.
| Key | Title | Authors | Year | Formalism | Tool |
|---|---|---|---|---|---|
| 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 |
Product Maintenance
In the Product Maintenance phase, the robot application is operated and maintained. This includes eventually the analysis of log files and the tuning of system parameters.
| Key | Title | Authors | Year | Formalism | Tool |
|---|---|---|---|---|---|
| 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 |
| 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 |
Not assigned to a development phase
| Key | Title | Authors | Year | Formalism | Tool |
|---|---|---|---|---|---|
| ferrein2008logic | Logic-based robot control in highly dynamic domainsRobotics and Autonomous Systems | Alexander Ferrein, Gerhard Lakemeyer | 2008 |