Robotics DSL Zoo

Development phase

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.

3 publications

Publications per subdomain
  1. Kinematics 0
  2. Dynamics 0
  3. Mechanisms and Actuation 0
  4. Sensing and Estimation 0
  5. Motion Planning 0
  6. Motion Control 0
  7. Force Control 0
  8. Architectures and Programming 3
  9. Reasoning Methods 1
Publications per year
  2. 1985
  7. 1990
  12. 1995
  17. 2000
  22. 2005
  27. 2010
  32. 2015

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.

KeyTitleAuthorsYear FormalismTool
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
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
saglietti2016modeldriven Model-driven Structural and Statistical Testing of Robot Cooperation and ReconfigurationProceedings of the 3rd Workshop on Model-Driven Robot Software Engineering website Francesca Saglietti, Matthias Meitner 2016 unknown

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.

KeyTitleAuthorsYear FormalismTool
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