Index
All 144 publications in the Robotics DSL Zoo. For a more structured overview have a look at the different Subdomains, A&P Disciplines, Development Phases.
| Key | Title | Authors | Year | Subdomains | Phases |
|---|---|---|---|---|---|
| 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 | Architectures and Programming | Capability Building, System Benchmarking |
| 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 | Architectures and Programming | Functional Design, Capability Building, Product Maintenance |
| 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 | Architectures and Programming, Kinematics, Dynamics | Capability Building |
| 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 | Architectures and Programming | Capability Building |
| Akim2010 | Events! (Reactivity in Urbiscript)Workshop on Domain-Specific Languages and models for Robotic systems | Jean-christophe Baillie Akim, Demaille Quentin, Hocquet Matthieu, S A S Gostai, Jean-baptiste Berlier, F- Paris | 2010 | components, Architectures and Programming | |
| 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 | Architectures and Programming | Capability Building, System Deployment |
| Anderson2011 | Work in Progress: Enabling Robot Device Discovery through Robot Device DescriptionsWorkshop on Domain-Specific Languages and models for Robotic systems | Monica Anderson, Paul Kilgo, Chris Crawford, Megan Stanforth | 2011 | Architectures and Programming | |
| 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 | Architectures and Programming | Functional Design, Platform Building, Capability Building |
| Angerer2012 | A Graphical Language for Real-Time Critical Robot CommandsWorkshop on Domain-Specific Languages and models for Robotic systems | Andreas Angerer, Remi Smirra, Alwin Hoffmann, Andreas Schierl, Michael Vistein, Wolfgang Reif | 2012 | Architectures and Programming | |
| Araiza-Illan2016 | Intelligent Agent-Based Stimulation for Testing Robotic Software in Human-Robot Interactions | Dejanira Araiza-Illan, Anthony G. Pipe, Kerstin Eder | 2016 | Sensing and Estimation, Motion Planning | Capability Building |
| barth2012goto | A GOTO-based concept for intuitive robot programmingIntelligent Robots and Systems (IROS), 2012 IEEE/RSJ International Conference on | Katharina Barth, Dominik Henrich | 2012 | Mechanisms and Actuation, Motion Control, Architectures and Programming | Capability Building |
| berenz2014targets | Targets-Drives-Means: A declarative approach to dynamic behavior specification with higher usabilityRobotics and Autonomous Systems | Vincent Berenz, Kenji Suzuki | 2014 | Architectures and Programming | Capability Building |
| biggs2006specifying | Specifying robot reactivity in procedural languagesIntelligent Robots and Systems, 2006 IEEE/RSJ International Conference on | Geoffrey Biggs, Bruce A MacDonald | 2006 | Architectures and Programming | Capability Building |
| biggs2008evaluating | Evaluating a reactive semantics for roboticsIntelligent Robots and Systems, 2008. IROS 2008. IEEE/RSJ International Conference on | Geoffrey Biggs, Bruce A MacDonald | 2008 | Architectures and Programming | Capability Building |
| Blumenthal2013 | Towards a Domain Specific Language for a Scene Graph based Robotic World ModelWorkshop on Domain-Specific Languages and models for Robotic systems | Sebastian Blumenthal, Herman Bruyninckx | 2013 | ||
| bocionek1990generating | Generating expert systems for configuration tasksRobotics and Automation, 1990. Proceedings., 1990 IEEE International Conference on | S Bocionek, P Buchka, J Schweiger | 1990 | Reasoning Methods | Platform Building, Functional Design |
| 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 | Kinematics, Architectures and Programming | Platform Building, Capability Building |
| bouzouia1998three | A three-layer workcell control architecture designRobotics and Automation, 1998. Proceedings. 1998 IEEE International Conference on | Brahim Bouzouia, Fawzi Guerroumi, Abdelmalek Boukhezar | 1998 | Architectures and Programming | Capability Building, System Deployment |
| 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 | Architectures and Programming | Capability Building, Functional Design |
| 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 | Architectures and Programming, Motion Control | Functional Design, Capability Building |
| Buchmann2013 | Towards A Domain-Specific Language For Pick-And-Place ApplicationsWorkshop on Domain-Specific Languages and models for Robotic systems | Thomas Buchmann, Johannes Baumgartl, Dominik Henrich, Bernhard Westfechtel | 2013 | ||
| 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 | Architectures and Programming, Motion Control | Capability Building |
| Cai1987 | Operational space motion specification in AL robot languageRobotics and Automation. Proceedings. … | Chunsheng Cai, TO Binford | 1987 | ||
| 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 | Architectures and Programming | Functional Design, Platform Building, Capability Building |
| chaki2014model | Model-Driven Verifying Compilation of Synchronous Distributed ApplicationsModel-Driven Engineering Languages and Systems | Sagar Chaki, James Edmondson | 2014 | Architectures and Programming | Capability Building |
| Ciccozzi2016Adopting | Adopting MDE for Specifying and Executing Civilian Missions of Mobile Multi-Robot SystemsJournal of IEEE Access website | Federico Ciccozzi, Davide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione | 2016 | Architectures and Programming | Scenario Building, Functional Design, Product Maintenance |
| 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 | Architectures and Programming | Capability Building, Functional Design |
| dai2002specifying | Specifying behavior in C++Robotics and Automation, 2002. Proceedings. ICRA'02. IEEE International Conference on | Xiangtian Dai, Gregory Hager, John Peterson | 2002 | Architectures and Programming | Capability Building |
| dantam2011motion | The motion grammar for physical human-robot gamesRobotics and Automation (ICRA), 2011 IEEE International Conference on | Neil Dantam, P Koine, Mike Stilman | 2011 | Architectures and Programming, Motion Planning | Capability Building, Product Maintenance |
| Dantam2012 | The Motion Grammar: Linguistic Perception, Planning, and ControlRobotics: Science and Systems VII | Neil Dantam, Mike Stilman | 2012 | ||
| 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 | Motion Planning, Reasoning Methods, Architectures and Programming | Capability Building |
| dantam2013correct | Correct Software Synthesis for Stable Speed-Controlled Robotic Walking.Robotics: Science and Systems | Neil Dantam, Ayonga Hereid, Aaron D Ames, Mike Stilman | 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 robotIntelligent Robots and Systems (IROS), 2012 IEEE/RSJ International Conference on | Chandan Datta, Chandimal Jayawardena, I Han Kuo, Bruce A MacDonald | 2012 | Architectures and Programming | Capability Building, System Deployment, Platform Building |
| 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 | Architectures and Programming, Reasoning Methods | Capability Building, System Benchmarking, Product Maintenance |
| 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 | Architectures and Programming | Capability Building |
| Detzner2019Novel | A Novel Task Language for Natural Interaction in Human-Robot Systems for Warehouse Logistics2019 14th International Conference on Computer Science Education (ICCSE) | Peter Detzner, Thomas Kirks, Jana Jost | 2019 | Architectures and Programming | Scenario Building, Functional Design |
| 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 | Architectures and Programming | Functional Design, Capability Building, System Deployment |
| dittes2011intelligent | Intelligent system architectures-comparison by translationIntelligent Robots and Systems (IROS), 2011 IEEE/RSJ International Conference on | Benjamin Dittes, Christian Goerick | 2011 | Architectures and Programming | Functional Design, Capability Building |
| dittes2011language | A language for formal design of embedded intelligence research systemsRobotics and Autonomous Systems | Benjamin Dittes, Christian Goerick | 2011 | Architectures and Programming | Capability Building, Functional Design |
| Fabry2014 | Live Robot ProgrammingAdvances in Artificial Intelligence – IBERAMIA 2014 websitedownload | Johan Fabry, Miguel Campusano | 2014 | Architectures and Programming | |
| fayman1999av | AV-shell, an environment for autonomous robotic applications using active visionAutonomous Robots | Jeffrey A Fayman, Ehud Rivlin, Henrik I Christensen | 1999 | Architectures and Programming, Motion Control | Capability Building |
| 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 | Architectures and Programming, Reasoning Methods, Motion Planning | Capability Building, Functional Design |
| ferrein2008logic | Logic-based robot control in highly dynamic domainsRobotics and Autonomous Systems | Alexander Ferrein, Gerhard Lakemeyer | 2008 | Architectures and Programming, Reasoning Methods | |
| 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 | 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 systemsModel Driven Engineering Languages and Systems | Franck Fleurey, Arnor Solberg | 2009 | Architectures and Programming | Capability Building, Functional Design, Product Deployment, Product Maintenance |
| 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 | 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 ArchitectureIntelligent Robots and Systems, 1997. IROS'97., Proceedings of the 1997 IEEE/RSJ International Conference on | Sara Fleury, Matthieu Herrb, Raja Chatila | 1997 | Architectures and Programming | Capability Building |
| 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 | Architectures and Programming | Capability Building |
| Frigerio2011 | A Domain Specific Language for Kinematic Models and Fast Implementations of Robot Dynamics AlgorithmsWorkshop on Domain-Specific Languages and models for Robotic systems websitedownload | M. Frigerio, J. Buchli, D.G. Caldwell | 2011 | Motion Control, robot-structure, transformation | |
| 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 | Kinematics, Dynamics | Capability Building |
| 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 | Kinematics, Dynamics | Functional Design, Capability Building |
| fryer1998resource | Resource modelling and combination in modular robotics systemsRobotics and Automation, 1998. Proceedings. 1998 IEEE International Conference on | J Andrew Fryer, Gerard T McKee | 1998 | Sensing and Estimation, Mechanisms and Actuation | Platform Building |
| garcia2019high | High-level mission specification for multiple robotsProceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering websitedownload | Sergio García, Patrizio Pelliccione, Claudio Menghi, Thorsten Berger, Tomas Bures | 2019 | Coordination, Architectures and Programming | Scenario Building |
| gat1991alfa | Alfa: A language for programming reactive robotic control systemsRobotics and Automation, 1991. Proceedings., 1991 IEEE International Conference on | Erann Gat | 1991 | Architectures and Programming | Capability Building |
| gherardi2014modeling | Modeling and reusing robotic software architectures: the hyperflex toolchainRobotics and Automation (ICRA), 2014 IEEE International Conference on | Luca Gherardi, Davide Brugali | 2014 | Architectures and Programming | Functional Design, Capability Building |
| gobillot2014modeling | A Modeling Framework for Software Architecture Specification and ValidationSimulation, Modeling, and Programming for Autonomous Robots | Nicolas Gobillot, Charles Lesire, David Doose | 2014 | Architectures and Programming, Reasoning Methods | Capability Building, System Deployment, Platform Building |
| gordillo1991high | LE: a high level language for specifying vision verification tasksRobotics and Automation, 1991. Proceedings., 1991 IEEE International Conference on | Jose L Gordillo | 1991 | Architectures and Programming, Reasoning Methods, Sensing and Estimation | Functional Design, Capability Building |
| graves1999distributed | Distributed generic control for multiple types of telerobotRobotics and Automation, 1999. Proceedings. 1999 IEEE International Conference on | Alan R Graves, Chris Czarnecki | 1999 | Architectures and Programming, Motion Control | Capability Building |
| gritzner2018synthesizing | Synthesizing Executable PLC Code for Robots from Scenario-Based GR(1) SpecificationsSoftware Technologies: Applications and Foundations website | Daniel Gritzner, Joel Greenyer | 2018 | Architectures and Programming | Scenario Building, Functional Design, Platform Building, Capability Building |
| henderson1984logical | Logical sensor systemsJournal of Robotic Systems | Tom Henderson, Esther Shilcrat | 1984 | Sensing and Estimation, Architectures and Programming | Capability Building, Functional Design |
| Hochgeschwender2013 | Towards a Robot Perception Specification LanguageWorkshop on Domain-Specific Languages and models for Robotic systems | Nico Hochgeschwender, Sven Schneider, Holger Voos, Gerhard K. Kraetzschmar | 2013 | perception | |
| 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 | Architectures and Programming | Functional Design, Capability Building, System Deployment |
| hochgeschwender2014declarative | Declarative Specification of Robot Perception ArchitecturesSimulation, Modeling, and Programming for Autonomous Robots | Nico Hochgeschwender, Sven Schneider, Holger Voos, Gerhard K Kraetzschmar | 2014 | Architectures and Programming, Sensing and Estimation, Reasoning Methods | Platform Building, Capability Building, Product Maintenance |
| 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 | Architectures and Programming | Capability Building |
| hornby2001evolution | Evolution of generative design systems for modular physical robotsRobotics and Automation, 2001. Proceedings 2001 ICRA. IEEE International Conference on | Gregory S Hornby, Hod Lipson, Jordan B Pollack | 2001 | Kinematics, Mechanisms and Actuation, Motion Control | Functional Design |
| horswill2000functional | Functional programming of behavior-based systemsAutonomous Robots | Ian Douglas Horswill | 2000 | Architectures and Programming, Reasoning Methods | Capability Building |
| 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 | Architectures and Programming, Motion Planning | Capability Building |
| Ingles2010 | Dealing with Run-Time Variability in Service Robotics : Towards a DSL for Non-Functional PropertiesWorkshop on Domain-Specific Languages and models for Robotic systems | J.F. Ingles-Romero, A. Lotz, C. Vicente-Chicote, C. Schlegel | 2010 | Architectures and Programming | |
| ingrand2002execution | An execution control system for autonomous robotsRobotics and Automation, 2002. Proceedings. ICRA'02. IEEE International Conference on | Félix Ingrand, Frederic Py | 2002 | Architectures and Programming | Capability Building |
| ingrand2007decisional | Decisional autonomy of planetary roversJournal of Field Robotics | Félix Ingrand, Simon Lacroix, Solange Lemai-Chenevier, Frederic Py | 2007 | Architectures and Programming | Capability Building |
| 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 | Architectures and Programming, Dynamics, Kinematics | Platform Building, Functional Design, Capability Building |
| joyeux2010managing | Managing plans: Integrating deliberation and reactive execution schemesRobotics and Autonomous Systems | Sylvain Joyeux, Frank Kirchner, Simon Lacroix | 2010 | Architectures and Programming, Reasoning Methods | Capability Building |
| 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 | Kinematics, Motion Control, Motion Planning | Capability Building, Functional Design |
| 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 | Mechanisms and Actuation, Architectures and Programming, Kinematics | Functional Design, Platform Building, Capability Building |
| 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 | Mechanisms and Actuation, Sensing and Estimation | Platform Building, Capability Building |
| 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 | 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 networksIntelligent Robots and Systems, 2002. IEEE/RSJ International Conference on | Ikuo Kitagishi, Tamotsu Machino, Akira Nakayama, Satoshi Iwaki, Masashi Okudaira | 2002 | Motion Control, Mechanisms and Actuation | Platform Building, Capability Building |
| 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 | Motion Control, Kinematics, Force Control | Capability Building |
| Klotzbuecher2012 | Pure Coordination using the Coordinator – Configurator PatternWorkshop on Domain-Specific Languages and models for Robotic systems | Markus Klotzbücher, Geoffrey Biggs, Herman Bruyninckx | 2012 | Architectures and Programming | |
| knoop2007automatic | Automatic robot programming from learned abstract task knowledgeIntelligent Robots and Systems, 2007. IROS 2007. IEEE/RSJ International Conference on | Steffen Knoop, Michael Pardowitz, Rüdiger Dillmann | 2007 | Architectures and Programming | Scenario Building |
| kovsecka1997experiments | Experiments in behavior compositionRobotics and Autonomous systems | Jana Košecká, Henrik I Christensen, Ruzena Bajcsy | 1997 | Architectures and Programming | Capability Building |
| 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 | Motion Planning, Motion Control, Architectures and Programming | Functional Design, Capability Building |
| KressGazit2010 | Automatic synthesis of robot controllers for tasks with locative prepositions2010 IEEE International Conference on Robotics and Automation | Hadas Kress-Gazit, George J Pappas | 2010 | ||
| 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 | Architectures and Programming | Capability Building |
| kulakowski2012modeling | Modeling robot behavior with CCLSimulation, Modeling, and Programming for Autonomous Robots | Konrad Kułakowski, Tomasz Szmuc | 2012 | Architectures and Programming | Capability Building |
| kunze2011towards | Towards semantic robot description languagesRobotics and Automation (ICRA), 2011 IEEE International Conference on | Lars Kunze, Tobias Roehm, Michael Beetz | 2011 | Architectures and Programming, Reasoning Methods | Scenario Building, Capability Building |
| Laet2012 | Domain Specific Language for Geometric Relations between Rigid Bodies targeted to Robotic ApplicationsWorkshop on Domain-Specific Languages and models for Robotic systems website | Tinne De Laet, Wouter Schaekers, Jonas de Greef, Herman Bruyninckx | 2012 | transformation | |
| 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 | Architectures and Programming | Capability Building, System Deployment, Platform Building |
| 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 | Architectures and Programming, Mechanisms and Actuation, Sensing and Estimation | Platform Building, Capability Building |
| loetzsch2006xabsl | XABSL-a pragmatic approach to behavior engineeringIntelligent Robots and Systems, 2006 IEEE/RSJ International Conference on | Martin Loetzsch, Max Risler, Matthias Jungel | 2006 | Architectures and Programming | System Deployment, Capability Building |
| Lotz2014 | Towards a Stepwise Variability Management Process for Complex Systems: A Robotics PerspectiveInternational Journal of Information System Modeling and Design | Alex Lotz, Juan F. Inglés-Romero, Dennis Stampfer, Matthias Lutz, Cristina Vicente-Chicote, Christian Schlegel | 2014 | Architectures and Programming | |
| 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 | Architectures and Programming | Functional Design, Capability Building |
| 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 | Motion Planning, Architectures and Programming | Capability Building |
| 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 | Architectures and Programming | Capability Building |
| 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 | Architectures and Programming | Capability Building, System Deployment |
| 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 | Architectures and Programming | Capability Building |
| 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 | Kinematics, Motion Control | Functional Design, Capability Building |
| 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 | Architectures and Programming | Capability Building |
| menghi2019Specification | Specification Patterns for Robotic MissionsTransactions on Software Engineering websitedownload | C. Menghi, C. Tsigkanos, P. Pelliccione, C. Ghezzi, T. Berger | 2019 | Motion Planning, Reasoning Methods | Scenario Building |
| 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 | Architectures and Programming, Motion Control | Platform Building, Capability Building, System Deployment |
| mosemann2001automatic | Automatic decomposition of planned assembly sequences into skill primitivesRobotics and Automation, IEEE Transactions on | Heiko Mosemann, Friedrich M Wahl | 2001 | Architectures and Programming, Motion Planning | Capability Building |
| MuheDSLRob2010 | On reverse-engineering the KUKA Robot LanguageWorkshop on Domain-Specific Languages and models for Robotic systems | Henrik Mühe, Andreas Angerer, Alwin Hoffmann, Wolfgang Reif | 2010 | Architectures and Programming, Motion Control | |
| Murray1992 | Control primitives for robot systemsInternational Conference on Automation and Robotics | Richard M. Murray, D. Curtis Deno, Kristofer S. J. Pister, S. Shankar Sastry | 1992 | ||
| 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 | Mechanisms and Actuation, Sensing and Estimation | Capability Building |
| 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 | Motion Control, Architectures and Programming | Capability Building, Platform Building |
| 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 | Motion Control, Architectures and Programming | Functional Design, Capability Building |
| NordmannDSLRob2012 | A Domain-Specific Language for Rich Motor Skill ArchitecturesWorkshop on Domain-Specific Languages and models for Robotic systems | Arne Nordmann, Sebastian Wrede | 2012 | Architectures and Programming, Motion Control | |
| noreils1995plan | Plan execution monitoring and control architecture for mobile robotsRobotics and Automation, IEEE Transactions on | Fabrice R Noreils, Raja G Chatila | 1995 | Reasoning Methods, Architectures and Programming | Capability Building, Scenario Building, Platform Building |
| 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 | Architectures and Programming, Reasoning Methods | Capability Building |
| 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 | Architectures and Programming | Functional Design, Capability Building, System Deployment |
| pembeci2003functional | Functional reactive programming as a hybrid system frameworkRobotics and Automation, 2003. Proceedings. ICRA'03. IEEE International Conference on | Izzet Pembeci, Gregory Hager | 2003 | Architectures and Programming | Capability Building |
| peterson1999language | A language for declarative robotic programmingRobotics and Automation, 1999. Proceedings. 1999 IEEE International Conference on | John Peterson, Gregory D Hager, Paul Hudak | 1999 | Architectures and Programming | Capability Building |
| ramadorai1994generic | A generic kinematics software packageRobotics and Automation, 1994. Proceedings., 1994 IEEE International Conference on | Arvind K Ramadorai, U Ganapathy, F Guida | 1994 | Kinematics, Motion Control | Platform Building, Capability Building |
| 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 | Reasoning Methods, Architectures and Programming | Scenario Building |
| raman2013explaining | Explaining impossible high-level robot behaviorsRobotics, IEEE Transactions on | Vasumathi Raman, Hadas Kress-Gazit | 2013 | Architectures and Programming, Reasoning Methods | Capability Building, Functional Design |
| 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 | Architectures and Programming | Platform Building, Functional Design, Capability Building |
| ramaswamy2014solution | Solution space modeling for robotic systemsJournal for Software Engineering Robotics (JOSER) | Arun Kumar Ramaswamy, Bruno Monsuez, Adriana Tapus | 2014 | Architectures and Programming, Sensing and Estimation | Capability Building, Platform Building |
| ramaswamy2016an | An Extensible Model-Based Framework for Robotics Software Development2017 First IEEE International Conference on Robotic Computing (IRC) | A. Ramaswamy, B. Monsuez, A. Tapus | 2016 | Architectures and Programming | Functional Design |
| ramaswamy2017extensible | An Extensible Model-based Framework Development Methodology for Robotic SystemsJournal of Software Engineering for Robotics | Arunkumar Ramaswamy, Bruno Monsuez, Adriana Tapus | 2017 | Architectures and Programming | Functional Design |
| ramirez2011automatic | Automatic derivation of utility functions for monitoring software requirementsModel Driven Engineering Languages and Systems | Andres J Ramirez, Betty HC Cheng | 2011 | Architectures and Programming | Functional Design, Capability Building, Product Maintenance |
| Reckhaus2010 | A Platform-Independent Programming Environment for Robot ControlWorkshop on Domain-Specific Languages and models for Robotic systems | M. Reckhaus, N. Hochgeschwender | 2010 | Architectures and Programming | |
| 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 | Architectures and Programming | Platform Building, Capability Building, System Deployment |
| 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 | Architectures and Programming, Mechanisms and Actuation, Reasoning Methods | Platform Building, Functional Design |
| Romero2011 | Improving the Lifecycle of Robotics Components using Domain-Specific LanguagesWorkshop on Domain-Specific Languages and models for Robotic systems | A. Romero-Garcés, L.J. Manso, M.A. Gutierrez, R. Cintas, P. Bustos | 2013 | components | |
| 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 | Motion Planning, Architectures and Programming | Capability Building |
| 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 | Architectures and Programming | Capability Building |
| 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 | Architectures and Programming | System Benchmarking, Product Deployment, Product Maintenance |
| 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 | Architectures and Programming | System Deployment, Capability Building, Functional Design |
| Schneider2014 | Structured Design and Development of Domain-Specific Languages in RoboticsSimulation, Modeling, and Programming for Autonomous Robots | Sven Schneider, Nico Hochgeschwender, Gerhard K. Kraetzschmar | 2014 | manipulation-and-grasping | |
| 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 | Mechanisms and Actuation, Motion Planning | Capability Building, Platform Building |
| simmons1998task | A task description language for robot controlIntelligent Robots and Systems, 1998. Proceedings., 1998 IEEE/RSJ International Conference on | Reid Simmons, David Apfelbaum | 1998 | Architectures and Programming | Capability Building |
| 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 | Architectures and Programming, Reasoning Methods | Capability Building |
| sun2012model | A model-driven approach to support engineering changes in industrial robotics software | Yu Sun, Jeff Gray, Karlheinz Bulheller, Nicolaus von Baillou | 2012 | Architectures and Programming | Capability Building |
| 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 | Motion Control, Architectures and Programming | Functional Design, Capability Building |
| 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 | Architectures and Programming | Capability Building |
| 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 | Architectures and Programming | Capability Building |
| Trojanek2011 | Model-Driven Engineering Approach to Design and Implementation of Robot Control SystemWorkshop on Domain-Specific Languages and models for Robotic systems | Piotr Trojanek | 2011 | Architectures and Programming | |
| 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 | Architectures and Programming, Motion Control | Capability Building |
| 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 | Motion Control, Kinematics | Capability Building |
| wang2001reconfigurable | Reconfigurable software for open architecture controllersRobotics and Automation, 2001. Proceedings 2001 ICRA. IEEE International Conference on | Shige Wang, Kang G Shin | 2001 | Architectures and Programming | Capability Building |
| Weintrop2018Evaluating | Evaluating CoBlox: A Comparative Study of Robotics Programming Environments for Adult NovicesProceedings of the 2018 CHI Conference on Human Factors in Computing Systems | David Weintrop, Afsoon Afzal, Jean Salac, Patrick Francis, Boyang Li, David C. Shepherd, Diana Franklin | 2018 | ||
| 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 | Architectures and Programming | Capability Building |
| yoong2012combining | Combining IEC 61499 model-based design with component-based architecture for roboticsSimulation, Modeling, and Programming for Autonomous Robots | Li Hsien Yoong, Zeeshan E Bhatti, Partha S Roop | 2012 | Architectures and Programming | |
| 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 | Motion Planning, Motion Control | Capability Building |