initiated and maintained by A. Nordmann, N. Hochgeschwender , D. Wigand, and S. Wrede, updated on May 8th 2020
This is an index of all publications in the Robotics DSL Zoo. For a more structured overview have a look at the different Subdomains.
| Key | Title | Authors | Year | Subdomains | Phases |
|---|---|---|---|---|---|
| abdellatif2012rigorous | Rigorous design of robot software: A formal component-based approach | Abdellatif, Tesnim and Bensalem, Saddek and Combaz, Jacques and De Silva, Lavindra and Ingrand, Felix | 2012 | Architectures and Programming, | Capability Building, System Benchmarking, |
| adam2014towards | Towards rule-based dynamic safety monitoring for mobile robots | Adam, Sorin and Larsen, Morten and Jensen, Kjeld and Schultz, Ulrik Pagh | 2014 | Architectures and Programming, | Functional Design, Capability Building, Product Maintenance, |
| aertbelien2014etasl | eTaSL/eTC: A constraint-based task specification language and robot controller using expression graphs | Aertbeli\ en, Erwin and De Schutter, Joris | 2014 | Architectures and Programming, Kinematics, Dynamics, | Capability Building, |
| aggarwal1994specification | Specification and automated implementation of coordination protocols in distributed controls for flexible manufacturing cells | Aggarwal, Sudhir and Mitra, Sandeep and Jagdale, Sanjay S | 1994 | Architectures and Programming, | Capability Building, |
| Akim2010 | Events! (Reactivity in Urbiscript) | Akim, Jean-christophe Baillie and Quentin, Demaille and Matthieu, Hocquet and Gostai, S A S and Berlier, Jean-baptiste and Paris, F- | 2010 | components, Architectures and Programming, | |
| alonso2010v3cmm | V3cmm: A 3-view component meta-model for model-driven robotic software development | Alonso, Diego and Vicente-Chicote, Cristina and Ortiz, Francisco and Pastor, Juan and Alvarez, Barbara | 2010 | Architectures and Programming, | Capability Building, System Deployment, |
| Anderson2011 | Work in Progress: Enabling Robot Device Discovery through Robot Device Descriptions | Anderson, Monica and Kilgo, Paul and Crawford, Chris and Stanforth, Megan | 2011 | Architectures and Programming, | |
| anderson2012rdis | RDIS: Generalizing Domain Concepts to Specify Device to Framework Mappings | Anderson, Monica and Bowman, Jason and Kilgo, Paul | 2012 | Architectures and Programming, | Functional Design, Platform Building, Capability Building, |
| Angerer2012 | A Graphical Language for Real-Time Critical Robot Commands | Angerer, Andreas and Smirra, Remi and Hoffmann, Alwin and Schierl, Andreas and Vistein, Michael and Reif, Wolfgang | 2012 | Architectures and Programming, | |
| barth2012goto | A GOTO-based concept for intuitive robot programming | Barth, Katharina and Henrich, Dominik | 2012 | Mechanisms and Actuation, Motion Control, Architectures and Programming, | Capability Building, |
| berenz2014targets | Targets-Drives-Means: A declarative approach to dynamic behavior specification with higher usability | Berenz, Vincent and Suzuki, Kenji | 2014 | Architectures and Programming, | Capability Building, |
| biggs2006specifying | Specifying robot reactivity in procedural languages | Biggs, Geoffrey and MacDonald, Bruce A | 2006 | Architectures and Programming, | Capability Building, |
| biggs2008evaluating | Evaluating a reactive semantics for robotics | Biggs, Geoffrey and MacDonald, Bruce A | 2008 | Architectures and Programming, | Capability Building, |
| Blumenthal2013 | Towards a Domain Specific Language for a Scene Graph based Robotic World Model | Blumenthal, Sebastian and Bruyninckx, Herman | 2013 | ||
| bocionek1990generating | Generating expert systems for configuration tasks | Bocionek, S and Buchka, P and Schweiger, J | 1990 | Reasoning Methods, | Platform Building, Functional Design, |
| bordignon2011generalized | Generalized programming of modular robots through kinematic configurations | Bordignon, Mirko and Stoy, Kasper and Schultz, Ulrik Pagh | 2011 | Kinematics, Architectures and Programming, | Platform Building, Capability Building, |
| bouzouia1998three | A three-layer workcell control architecture design | Bouzouia, Brahim and Guerroumi, Fawzi and Boukhezar, Abdelmalek | 1998 | Architectures and Programming, | Capability Building, System Deployment, |
| braberman2013controller | Controller synthesis: From modelling to enactment | Braberman, V\ \ictor and D Ippolito, Nicolas and Piterman, Nir and Sykes, Daniel and Uchitel, Sebastian | 2013 | Architectures and Programming, | Capability Building, Functional Design, |
| buch2014applying | Applying Simulation and a Domain-Specific Language for an Adaptive Action Library | Buch, Jacob P\orksen and Laursen, Johan Sund and S\orensen, Lars Car\oe and Ellekilde, Lars-Peter and Kraft, Dirk and Schultz, Ulrik Pagh and Petersen, Henrik Gordon | 2014 | Architectures and Programming, Motion Control, | Functional Design, Capability Building, |
| Buchmann2013 | Towards A Domain-Specific Language For Pick-And-Place Applications | Buchmann, Thomas and Baumgartl, Johannes and Henrich, Dominik and Westfechtel, Bernhard | 2013 | ||
| burbidge2009grammatical | Grammatical evolution of a robot controller | Burbidge, Robert and Walker, Joanne H and Wilson, Myra S | 2009 | Architectures and Programming, Motion Control, | Capability Building, |
| Cai1987 | Operational space motion specification in AL robot language | Cai, Chunsheng and Binford, TO | 1987 | ||
| causse1993man | A man machine interface for a mobile robot | Causse, Olivier and Crowley, James L | 1993 | Architectures and Programming, | Functional Design, Platform Building, Capability Building, |
| chaki2014model | Model-Driven Verifying Compilation of Synchronous Distributed Applications | Chaki, Sagar and Edmondson, James | 2014 | Architectures and Programming, | Capability Building, |
| coste1997maestro | The maestro language and its environment: Specification, validation and control of robotic missions | Coste-Maniere, Eve and Turro, Nicolas | 1997 | Architectures and Programming, | Capability Building, Functional Design, |
| dai2002specifying | Specifying behavior in C++ | Dai, Xiangtian and Hager, Gregory and Peterson, John | 2002 | Architectures and Programming, | Capability Building, |
| dantam2011motion | The motion grammar for physical human-robot games | Dantam, Neil and Koine, P and Stilman, Mike | 2011 | Architectures and Programming, Motion Planning, | Capability Building, Product Maintenance, |
| Dantam2012 | The Motion Grammar: Linguistic Perception, Planning, and Control | Dantam, Neil and Stilman, Mike | 2012 | ||
| dantam2012linguistic | Linguistic transfer of human assembly tasks to robots | Dantam, Neil and Essa, Irfan and Stilman, Mike | 2012 | Motion Planning, Reasoning Methods, Architectures and Programming, | Capability Building, |
| dantam2013correct | Correct Software Synthesis for Stable Speed-Controlled Robotic Walking. | Dantam, Neil and Hereid, Ayonga and Ames, Aaron D and Stilman, Mike | 2013 | Motion Planning, Motion Control, | Capability Building, |
| datta2012robostudio | Robostudio: A visual programming environment for rapid authoring and customization of complex services on a personal service robot | Datta, Chandan and Jayawardena, Chandimal and Kuo, I Han and MacDonald, Bruce A | 2012 | Architectures and Programming, | Capability Building, System Deployment, Platform Building, |
| de2007distributed | Distributed watchpoints: Debugging large multi-robot systems | De Rosa, Michael and Campbell, Jason and Pillai, Padmanabhan and Goldstein, S and Lee, Peter and Mowry, T | 2007 | Architectures and Programming, Reasoning Methods, | Capability Building, System Benchmarking, Product Maintenance, |
| de2012scripting | A Scripting-Based Approach to Robot Behavior Engineering using Hierarchical Generators | de Haas, Thijs Jeffry and Laue, Tim and Rofer, T | 2012 | Architectures and Programming, | Capability Building, |
| dhouib2012robotml | Robotml, a domain-specific language to design, simulate and deploy robotic applications | Dhouib, Saadia and Kchir, Selma and Stinckwich, Serge and Ziadi, Tewfik and Ziane, Mikal | 2012 | Architectures and Programming, | Functional Design, Capability Building, System Deployment, |
| dittes2011intelligent | Intelligent system architectures-comparison by translation | Dittes, Benjamin and Goerick, Christian | 2011 | Architectures and Programming, | Functional Design, Capability Building, |
| dittes2011language | A language for formal design of embedded intelligence research systems | Dittes, Benjamin and Goerick, Christian | 2011 | Architectures and Programming, | Capability Building, Functional Design, |
| Fabry2014 | Live Robot Programming | Johan Fabry and Miguel Campusano | 2014 | Architectures and Programming, | |
| fayman1999av | AV-shell, an environment for autonomous robotic applications using active vision | Fayman, Jeffrey A and Rivlin, Ehud and Christensen, Henrik I | 1999 | Architectures and Programming, Motion Control, | Capability Building, |
| feniello2014program | Program synthesis by examples for object repositioning tasks | Feniello, Ashley and Dang, Hao and Birchfield, Stan | 2014 | Architectures and Programming, Reasoning Methods, Motion Planning, | Capability Building, Functional Design, |
| ferrein2008logic | Logic-based robot control in highly dynamic domains | Ferrein, Alexander and Lakemeyer, Gerhard | 2008 | Architectures and Programming, Reasoning Methods, | |
| finucane2010ltlmop | LTLMoP: Experimenting with language, temporal logic and robot control | Finucane, Cameron and Jing, Gangyuan and Kress-Gazit, Hadas | 2010 | Motion Control, Architectures and Programming, Motion Planning, | Scenario Building, Functional Design, Capability Building, |
| fleurey2009domain | A domain specific modeling language supporting specification, simulation and execution of dynamic adaptive systems | Fleurey, Franck and Solberg, Arnor | 2009 | Architectures and Programming, | Capability Building, Functional Design, Product Deployment, Product Maintenance, |
| fleury1994design | Design of a modular architecture for autonomous robot | Fleury, Sara and Herrb, Matthieu and Chatila, Raja | 1994 | Mechanisms and Actuation, Sensing and Estimation, Architectures and Programming, | Capability Building, |
| fleury1997g | GenoM: A Tool for the Specification and the Implementation of Operating Modules in a Distributed Robot Architecture | Fleury, Sara and Herrb, Matthieu and Chatila, Raja | 1997 | Architectures and Programming, | Capability Building, |
| freund2001state | State oriented modeling as enabling technology for projective virtual reality | Freund, Eckhard and Schluse, Michael and Rossmann, J\ urgen | 2001 | Architectures and Programming, | Capability Building, |
| Frigerio2011 | A Domain Specific Language for Kinematic Models and Fast Implementations of Robot Dynamics Algorithms | Frigerio, M. and Buchli, J. and Caldwell, D.G. | 2011 | Motion Control, robot-structure, transformation, | |
| frigerio2012code | Code Generation of Algebraic Quantities for Robot Controllers | Frigerio, Marco and Buchli, Jonas and Caldwell, Darwin G | 2012 | Kinematics, Dynamics, | Capability Building, |
| frigerio2012model | Model based code generation for kinematics and dynamics computations in robot controllers | Frigerio, Marco and Buchli, Jonas and Caldwell, Darwin G | 2012 | Kinematics, Dynamics, | Functional Design, Capability Building, |
| fryer1998resource | Resource modelling and combination in modular robotics systems | Fryer, J Andrew and McKee, Gerard T | 1998 | Sensing and Estimation, Mechanisms and Actuation, | Platform Building, |
| gat1991alfa | Alfa: A language for programming reactive robotic control systems | Gat, Erann | 1991 | Architectures and Programming, | Capability Building, |
| gherardi2014modeling | Modeling and reusing robotic software architectures: the hyperflex toolchain | Gherardi, Luca and Brugali, Davide | 2014 | Architectures and Programming, | Functional Design, Capability Building, |
| gobillot2014modeling | A Modeling Framework for Software Architecture Specification and Validation | Gobillot, Nicolas and Lesire, Charles and Doose, David | 2014 | Architectures and Programming, Reasoning Methods, | Capability Building, System Deployment, Platform Building, |
| gordillo1991high | LE: a high level language for specifying vision verification tasks | Gordillo, Jose L | 1991 | Architectures and Programming, Reasoning Methods, Sensing and Estimation, | Functional Design, Capability Building, |
| graves1999distributed | Distributed generic control for multiple types of telerobot | Graves, Alan R and Czarnecki, Chris | 1999 | Architectures and Programming, Motion Control, | Capability Building, |
| henderson1984logical | Logical sensor systems | Henderson, Tom and Shilcrat, Esther | 1984 | Sensing and Estimation, Architectures and Programming, | Capability Building, Functional Design, |
| Hochgeschwender2013 | Towards a Robot Perception Specification Language | Hochgeschwender, Nico and Schneider, Sven and Voos, Holger and Kraetzschmar, Gerhard K. | 2013 | perception, | |
| hochgeschwender2013model | A model-based approach to software deployment in robotics | Hochgeschwender, Nico and Gherardi, Luca and Shakhirmardanov, Azamat and Kraetzschmar, Gerhard K and Brugali, Davide and Bruyninckx, Herman | 2013 | Architectures and Programming, | Functional Design, Capability Building, System Deployment, |
| hochgeschwender2014declarative | Declarative Specification of Robot Perception Architectures | Hochgeschwender, Nico and Schneider, Sven and Voos, Holger and Kraetzschmar, Gerhard K | 2014 | Architectures and Programming, Sensing and Estimation, Reasoning Methods, | Platform Building, Capability Building, Product Maintenance, |
| hongxing2009component | A component based design framework for robot software architecture | Hongxing, Wei and Xinming, Duan and Shiyi, Li and Guofeng, Tong and Tianmiao, Wang | 2009 | Architectures and Programming, | Capability Building, |
| hornby2001evolution | Evolution of generative design systems for modular physical robots | Hornby, Gregory S and Lipson, Hod and Pollack, Jordan B | 2001 | Kinematics, Mechanisms and Actuation, Motion Control, | Functional Design, |
| horswill2000functional | Functional programming of behavior-based systems | Horswill, Ian Douglas | 2000 | Architectures and Programming, Reasoning Methods, | Capability Building, |
| hsieh2007adaptive | Adaptive teams of autonomous aerial and ground robots for situational awareness | Hsieh, M Ani and Cowley, Anthony and Keller, James F and Chaimowicz, Luiz and Grocholsky, Ben and Kumar, Vijay and Taylor, Camillo J and Endo, Yoichiro and Arkin, Ronald C and Jung, Boyoon and others | 2007 | Architectures and Programming, Motion Planning, | Capability Building, |
| Ingles2010 | Dealing with Run-Time Variability in Service Robotics : Towards a DSL for Non-Functional Properties | Ingles-Romero, J.F. and Lotz, A. and Vicente-Chicote, C. and Schlegel, C. | 2010 | Architectures and Programming, | |
| ingrand2002execution | An execution control system for autonomous robots | Ingrand, F\ elix and Py, Frederic | 2002 | Architectures and Programming, | Capability Building, |
| ingrand2007decisional | Decisional autonomy of planetary rovers | Ingrand, F\ elix and Lacroix, Simon and Lemai-Chenevier, Solange and Py, Frederic | 2007 | Architectures and Programming, | Capability Building, |
| jara2011ejs+ | Ejs+ EjsRL: An interactive tool for industrial robots simulation, Computer Vision and remote operation | Jara, Carlos A and Candelas, Francisco A and Gil, Pablo and Torres, Fernando and Esquembre, Francisco and Dormido, Sebasti\ an | 2011 | Architectures and Programming, Dynamics, Kinematics, | Platform Building, Functional Design, Capability Building, |
| joyeux2010managing | Managing plans: Integrating deliberation and reactive execution schemes | Joyeux, Sylvain and Kirchner, Frank and Lacroix, Simon | 2010 | Architectures and Programming, Reasoning Methods, | Capability Building, |
| kanayama2000s | It s time to make mobile robots programmable | Kanayama, Yutaka J and Wu, C Thomas | 2000 | Kinematics, Motion Control, Motion Planning, | Capability Building, Functional Design, |
| kang20053d | 3d virtual prototyping of home service robots using asadal/obj | Kang, Kyo Chul and Kim, Moonzoo and Lee, Jaejoon and Kim, Byungkil and Hong, Youngjin and Lee, Hyoungki and Bang, Seokwon | 2005 | Mechanisms and Actuation, Architectures and Programming, Kinematics, | Functional Design, Platform Building, Capability Building, |
| kilgo2012visual | A Visual Modeling Language for RDIS and ROS Nodes Using AToM3 | Kilgo, Paul and Syriani, Eugene and Anderson, Monica | 2012 | Mechanisms and Actuation, Sensing and Estimation, | Platform Building, Capability Building, |
| kim2003task | Task description language for underwater robots | Kim, Tae Won and Yuh, Junku | 2003 | Architectures and Programming, Motion Control, Motion Control, | Platform Building, Capability Building, |
| kitagishi2002development | Development of motion data description language for robots based on eXtensible Markup Language-realization of better understanding and communication via networks | Kitagishi, Ikuo and Machino, Tamotsu and Nakayama, Akira and Iwaki, Satoshi and Okudaira, Masashi | 2002 | Motion Control, Mechanisms and Actuation, | Platform Building, Capability Building, |
| klotzbucher2011reusable | Reusable hybrid force-velocity controlled motion specifications with executable domain specific languages | Klotzbucher, M and Smits, Ruben and Bruyninckx, Herman and De Schutter, Joris | 2011 | Motion Control, Kinematics, Force Control, | Capability Building, |
| Klotzbuecher2012 | Pure Coordination using the Coordinator – Configurator Pattern | Klotzbücher, Markus and Biggs, Geoffrey and Bruyninckx, Herman | 2012 | Architectures and Programming, | |
| knoop2007automatic | Automatic robot programming from learned abstract task knowledge | Knoop, Steffen and Pardowitz, Michael and Dillmann, R\ udiger | 2007 | Architectures and Programming, | Scenario Building, |
| kovsecka1997experiments | Experiments in behavior composition | Ko\vseck\ a, Jan | 1997 | Architectures and Programming, | Capability Building, |
| kress2007structured | From structured english to robot motion | Kress-Gazit, Hadas and Fainekos, Georgios E and Pappas, George J | 2007 | Motion Planning, Motion Control, Architectures and Programming, | Functional Design, Capability Building, |
| KressGazit2010 | Automatic synthesis of robot controllers for tasks with locative prepositions | Kress-Gazit, Hadas and Pappas, George J | 2010 | ||
| kubica2002creating | Creating a smarter membrane: Automatic code generation for modular self-reconfigurable robots | Kubica, Jeremy and Rieffel, Eleanor | 2002 | Architectures and Programming, | Capability Building, |
| kulakowski2012modeling | Modeling robot behavior with CCL | Ku\lakowski, Konrad and Szmuc, Tomasz | 2012 | Architectures and Programming, | Capability Building, |
| kunze2011towards | Towards semantic robot description languages | Kunze, Lars and Roehm, Tobias and Beetz, Michael | 2011 | Architectures and Programming, Reasoning Methods, | Scenario Building, Capability Building, |
| Laet2012 | Domain Specific Language for Geometric Relations between Rigid Bodies targeted to Robotic Applications | Laet, Tinne De and Schaekers, Wouter and de Greef, Jonas and Bruyninckx, Herman | 2012 | transformation, | |
| lesire2012mauve | Mauve: a Component-based Modeling Framework for Real-time Analysis of Robotic Applications. | Lesire, Charles and Doose, David and Cass\ e, Hug | 2012 | Architectures and Programming, | Capability Building, System Deployment, Platform Building, |
| ljungkrantz2007implementing | Implementing a control system framework for automatic generation of manufacturing cell controllers | Ljungkrantz, Oscar and Akesson, K and Richardsson, Johan and Andersson, Kristin | 2007 | Architectures and Programming, Mechanisms and Actuation, Sensing and Estimation, | Platform Building, Capability Building, |
| loetzsch2006xabsl | XABSL-a pragmatic approach to behavior engineering | Loetzsch, Martin and Risler, Max and Jungel, Matthias | 2006 | Architectures and Programming, | System Deployment, Capability Building, |
| Lotz2014 | Towards a Stepwise Variability Management Process for Complex Systems: A Robotics Perspective | Lotz, Alex and Inglés-Romero, Juan F. and Stampfer, Dennis and Lutz, Matthias and Vicente-Chicote, Cristina and Schlegel, Christian | 2014 | Architectures and Programming, | |
| lyons2013getting | Getting it right the first time: Robot mission guarantees in the presence of uncertainty | Lyons, Damian M and Arkin, Ronald C and Nirmal, Paramesh and Liu, T-M and Deeb, J and others | 2013 | Architectures and Programming, | Functional Design, Capability Building, |
| mackenzie1995specification | Specification and execution of multiagent missions | MacKenzie, Douglas C and Cameron, Jonathan M and Arkin, Ronald C | 1995 | Motion Planning, Architectures and Programming, | Capability Building, |
| maenpaa2004distributed | A distributed architecture for executing complex tasks with multiple robots | Maenpaa, Topi and Tikanmaki, Antti and Riekki, Jukka and Roning, Juha | 2004 | Architectures and Programming, | Capability Building, |
| mallet2002specification | A specification of generic robotics software components: future evolutions of G en o M in the Orocos context | Mallet, Anthony and Fleury, Sara and Bruyninckx, Herman | 2002 | Architectures and Programming, | Capability Building, System Deployment, |
| mallet2010genom3 | GenoM3: Building middleware-independent robotic components | Mallet, Anthony and Pasteur, C\ edric and Herrb, Matthieu and Lemaignan, S\ everin and Ingrand, F\ elix | 2010 | Architectures and Programming, | Capability Building, |
| manikonda1995motion | A motion description language and a hybrid architecture for motion planning with nonholonomic robots | Manikonda, Vikram and Krishnaprasad, Perinkulam S and Hendler, James | 1995 | Kinematics, Motion Control, | Functional Design, Capability Building, |
| menga1991framework | A framework for object oriented design and prototyping of manufacturing systems | Menga, G and Morisio, M and Mancin, M | 1991 | Architectures and Programming, | Capability Building, |
| morelli2014control | Control and Scheduling Co-design for a Simulated Quadcopter Robot: A Model-Driven Approach | Morelli, Matteo and Di Natale, Marco | 2014 | Architectures and Programming, Motion Control, | Platform Building, Capability Building, System Deployment, |
| mosemann2001automatic | Automatic decomposition of planned assembly sequences into skill primitives | Mosemann, Heiko and Wahl, Friedrich M | 2001 | Architectures and Programming, Motion Planning, | Capability Building, |
| MuheDSLRob2010 | On reverse-engineering the KUKA Robot Language | Mühe, Henrik and Angerer, Andreas and Hoffmann, Alwin and Reif, Wolfgang | 2010 | Architectures and Programming, Motion Control, | |
| Murray1992 | Control primitives for robot systems | Murray, Richard M. and Deno, D. Curtis and Pister, Kristofer S. J. and Sastry, S. Shankar | 1992 | ||
| nilas2004innovative | An innovative high-level human-robot interaction for disabled persons | Nilas, Phongchai and Rani, Pramila and Sarkar, Nilanjan | 2004 | Mechanisms and Actuation, Sensing and Estimation, | Capability Building, |
| nishiyama1998logic | Logic specifications for multiple robots based on a current programming language | Nishiyama, Hiroyuki and Ohwada, Hayato and Mizoguchi, Fumio | 1998 | Motion Control, Architectures and Programming, | Capability Building, Platform Building, |
| NordmannDSLRob2012 | A Domain-Specific Language for Rich Motor Skill Architectures | Nordmann, Arne and Wrede, Sebastian | 2012 | Architectures and Programming, Motion Control, | |
| nordmann2015modeling | Modeling of Movement Control Architectures based on Motion Primitives using Domain-Specific Languages | Arne Nordmann and Sebastian Wrede and Jochen J. Steil | 2015 | Motion Control, Architectures and Programming, | Functional Design, Capability Building, |
| noreils1995plan | Plan execution monitoring and control architecture for mobile robots | Noreils, Fabrice R and Chatila, Raja G | 1995 | Reasoning Methods, Architectures and Programming, | Capability Building, Scenario Building, Platform Building, |
| o2014automatic | Automatic Verification of Autonomous Robot Missions | O’Brien, Matthew and Arkin, Ronald C and Harrington, Dagan and Lyons, Damian and Jiang, Shu | 2014 | Architectures and Programming, Reasoning Methods, | Capability Building, |
| ortiz2014component | A Component-Based Meta-Model and Framework in the Model Driven Toolchain C-Forge | Ortiz, Francisco J and Alonso, Diego and Rosique, Francisca and S\ anchez-Ledesma, Francisco and Pastor, Juan A | 2014 | Architectures and Programming, | Functional Design, Capability Building, System Deployment, |
| pembeci2003functional | Functional reactive programming as a hybrid system framework | Pembeci, Izzet and Hager, Gregory | 2003 | Architectures and Programming, | Capability Building, |
| peterson1999language | A language for declarative robotic programming | Peterson, John and Hager, Gregory D and Hudak, Paul | 1999 | Architectures and Programming, | Capability Building, |
| ramadorai1994generic | A generic kinematics software package | Ramadorai, Arvind K and Ganapathy, U and Guida, F | 1994 | Kinematics, Motion Control, | Platform Building, Capability Building, |
| raman2012avoiding | Avoiding forgetfulness: Structured English specifications for high-level robot control with implicit memory | Raman, Vasumathi and Xu, Bingxin and Kress-Gazit, Hadas | 2012 | Reasoning Methods, Architectures and Programming, | Scenario Building, |
| raman2013explaining | Explaining impossible high-level robot behaviors | Raman, Vasumathi and Kress-Gazit, Hadas | 2013 | Architectures and Programming, Reasoning Methods, | Capability Building, Functional Design, |
| ramaswamy2014saferobots | SafeRobots: A model-driven Framework for developing Robotic Systems | Ramaswamy, Anand and Monsuez, Bruno and Tapus, Adriana | 2014 | Architectures and Programming, | Platform Building, Functional Design, Capability Building, |
| ramaswamy2014solution | Solution space modeling for robotic systems | Ramaswamy, Arun Kumar and Monsuez, Bruno and Tapus, Adriana | 2014 | Architectures and Programming, Sensing and Estimation, | Capability Building, Platform Building, |
| ramirez2011automatic | Automatic derivation of utility functions for monitoring software requirements | Ramirez, Andres J and Cheng, Betty HC | 2011 | Architectures and Programming, | Functional Design, Capability Building, Product Maintenance, |
| Reckhaus2010 | A Platform-Independent Programming Environment for Robot Control | Reckhaus, M. and Hochgeschwender, N. | 2010 | Architectures and Programming, | |
| roehr2014reconfigurable | Reconfigurable integrated multirobot exploration system (RIMRES): heterogeneous modular reconfigurable robots for space exploration | Roehr, Thomas M and Cordes, Florian and Kirchner, Frank | 2014 | Architectures and Programming, Mechanisms and Actuation, Reasoning Methods, | Platform Building, Functional Design, |
| Romero2011 | Improving the Lifecycle of Robotics Components using Domain-Specific Languages | Romero-Garc\ es, A. and Manso, L.J. and Gutierrez, M.A. and Cintas, R. and Bustos, P. | 2013 | components, | |
| rugg1994formal | A formal semantics for multiple vehicle task and motion planning | Rugg-Gunn, Neil and Cameron, Stephen | 1994 | Motion Planning, Architectures and Programming, | Capability Building, |
| rusakov2014simple | Simple concurrency for robotics with the Roboscoop framework | Rusakov, Andrey and Shin, Jiwon and Meyer, Bertrand | 2014 | Architectures and Programming, | Capability Building, |
| schlegel2010design | Design abstraction and processes in robotics: From code-driven to model-driven engineering | Schlegel, Christian and Steck, Andreas and Brugali, Davide and Knoll, Alois | 2010 | Architectures and Programming, | System Deployment, Capability Building, Functional Design, |
| Schneider2014 | Structured Design and Development of Domain-Specific Languages in Robotics | Schneider, Sven and Hochgeschwender, Nico and Kraetzschmar,Gerhard K. | 2014 | manipulation-and-grasping, | |
| schneider2014declarative | Declarative specification of task-based grasping with constraint validation | Schneider, Sven and Hochgeschwender, Nico and Kraetzschmar, Gerhard K | 2014 | Mechanisms and Actuation, Motion Planning, | Capability Building, Platform Building, |
| simmons1998task | A task description language for robot control | Simmons, Reid and Apfelbaum, David | 1998 | Architectures and Programming, | Capability Building, |
| steck2011managing | Managing execution variants in task coordination by exploiting design-time models at run-time | Steck, Andreas and Schlegel, Christian | 2011 | Architectures and Programming, Reasoning Methods, | Capability Building, |
| sun2012model | A model-driven approach to support engineering changes in industrial robotics software | Sun, Yu and Gray, Jeff and Bulheller, Karlheinz and von Baillou, Nicolaus | 2012 | Architectures and Programming, | Capability Building, |
| thomas2013new | A New Skill Based Robot Programming Language Using UML/P Statecharts | Thomas, Ulrike and Hirzinger, Gerd and Rumpe, Bernhard and Schulze, Christoph and Wortmann, Andreas | 2013 | Motion Control, Architectures and Programming, | Functional Design, Capability Building, |
| tousignant2011overview | An overview of XRobots: A hierarchical state machine based language | Tousignant, Steve and Van Wyk, Eric and Gini, Maria | 2011 | Architectures and Programming, | Capability Building, |
| tousignant2012xrobots | XRobots: A flexible language for programming mobile robots based on hierarchical state machines | Tousignant, Steve and Van Wyk, Eric and Gini, Maria | 2012 | Architectures and Programming, | Capability Building, |
| Trojanek2011 | Model-Driven Engineering Approach to Design and Implementation of Robot Control System | Trojanek, Piotr | 2011 | Architectures and Programming, | |
| utz2005hierarchical | Hierarchical behavior organization | Utz, Hans and Kraetzschmar, Gerhard and Mayer, Gerd and Palm, G\ unther | 2005 | Architectures and Programming, Motion Control, | Capability Building, |
| vanthienen2013rapid | Rapid application development of constrained-based task modelling and execution using domain specific languages | Vanthienen, Dominick and Klotzbuucher, M and De Schutter, Joris and De Laet, Tinne and Bruyninckx, Herman | 2013 | Motion Control, Kinematics, | Capability Building, |
| wang2001reconfigurable | Reconfigurable software for open architecture controllers | Wang, Shige and Shin, Kang G | 2001 | Architectures and Programming, | Capability Building, |
| woithe2009programming | A programming architecture for smart autonomous underwater vehicles | Woithe, Hans C and Kremer, Ulrich | 2009 | Architectures and Programming, | Capability Building, |
| yoong2012combining | Combining IEC 61499 model-based design with component-based architecture for robotics | Yoong, Li Hsien and Bhatti, Zeeshan E and Roop, Partha S | 2012 | Architectures and Programming, | |
| zhang2003control | Control of small formations using shape coordinates | Zhang, Fumin and Goldgeier, Michael and Krishnaprasad, Perinkulam S | 2003 | Motion Planning, Motion Control, | Capability Building, |
| saglietti2016modeldriven | Model-driven Structural and Statistical Testing of Robot Cooperation and Reconfiguration | Saglietti, Francesca and Meitner, Matthias | 2016 | Architectures and Programming, | System Benchmarking, Product Deployment, Product Maintenance, |
| Araiza-Illan2016 | Intelligent Agent-Based Stimulation for Testing Robotic Software in Human-Robot Interactions | Araiza-Illan, Dejanira and Pipe, Anthony G. and Eder, Kerstin | 2016 | Sensing and Estimation, Motion Planning, | Capability Building, |
| ringert2015language | Language and code generator composition for model-driven engineering of robotics component \& connector systems | Ringert, Jan Oliver and Alexander, Roth and Bernhard, Rumpe and Andreas, Wortmann | 2015 | Architectures and Programming, | Platform Building, Capability Building, System Deployment, |
| Ciccozzi2016Adopting | Adopting MDE for Specifying and Executing Civilian Missions of Mobile Multi-Robot Systems | Federico Ciccozzi and Davide Di Ruscio and Ivano Malavolta and Patrizio Pelliccione | 2016 | Architectures and Programming, | Scenario Building, Functional Design, Product Maintenance, |
| ramaswamy2017extensible | An Extensible Model-based Framework Development Methodology for Robotic Systems | Ramaswamy, Arunkumar and Monsuez, Bruno and Tapus, Adriana | 2017 | Architectures and Programming, | Functional Design, |
| ramaswamy2016an | An Extensible Model-Based Framework for Robotics Software Development | A. Ramaswamy and B. Monsuez and A. Tapus | 2016 | Architectures and Programming, | Functional Design, |
| gritzner2018synthesizing | Synthesizing Executable PLC Code for Robots from Scenario-Based GR(1) Specifications | Gritzner, Daniel and Greenyer, Joel | 2018 | Architectures and Programming, | Scenario Building, Functional Design, Platform Building, Capability Building, |
| Weintrop2018Evaluating | Evaluating CoBlox: A Comparative Study of Robotics Programming Environments for Adult Novices | Weintrop, David and Afzal, Afsoon and Salac, Jean and Francis, Patrick and Li, Boyang and Shepherd, David C. and Franklin, Diana | 2018 | ||
| Detzner2019Novel | A Novel Task Language for Natural Interaction in Human-Robot Systems for Warehouse Logistics | Peter Detzner and Thomas Kirks and Jana Jost | 2019 | Architectures and Programming, | Scenario Building, Functional Design, |
| garcia2019high | High-level mission specification for multiple robots | Garc\ \ia, Sergio and Pelliccione, Patrizio and Menghi, Claudio and Berger, Thorsten and Bures, Tomas | 2019 | Coordination, Architectures and Programming, | Scenario Building, |
| menghi2019Specification | Specification Patterns for Robotic Missions | C. Menghi and C. Tsigkanos and P. Pelliccione and C. Ghezzi and T. Berger | 2019 | Motion Planning, Reasoning Methods, | Scenario Building, |
1 A DSL in this context is a "focussed, processable language for describing a specific concern when building a system in a specific domain. The abstractions and notations used are natural/suitable for the stakeholders who specify that particular concern" [Voelter].
An important DSL is missing? Here is how to contribute! When using content of the Robotics DSL Zoo or referring to it, pleace consider citing our survey paper:
@article{nordmann2016survey,
author = {Nordmann, Arne and Hochgeschwender, Nico and Wigand, Dennis Leroy and Wrede, Sebastian},
journal = {Journal of Software Engineering in Robotics (JOSER)},
number = {1},
pages = {75--99},
title = {{A Survey on Domain-Specific Modeling and Languages in Robotics}},
volume = {7},
year = {2016},
}