Simulation, Modeling, and Programming for Autonomous Robots

1. Front Matter

   PDF

2. Simulation

   1. Making Time Make Sense in Robotic Simulation

      • James R. Taylor, Evan M. Drumwright, Gabriel Parmer

      Pages 1-12

   2. Simulation and HRI Recent Perspectives with the MORSE Simulator

      • Séverin Lemaignan, Marc Hanheide, Michael Karg, Harmish Khambhaita, Lars Kunze, Florian Lier et al.

      Pages 13-24

   3. A Dynamic Simulator for Underwater Vehicle-Manipulators

      • Olivier Kermorgant

      Pages 25-36

   4. Extending Open Dynamics Engine for the DARPA Virtual Robotics Challenge

      • John M. Hsu, Steven C. Peters

      Pages 37-48

   5. Control and Scheduling Co-design for a Simulated Quadcopter Robot: A Model-Driven Approach

      • Matteo Morelli, Marco Di Natale

      Pages 49-61

   6. Simulating Human-Robot Interactions for Dialogue Strategy Learning

      • Grégoire Milliez, Emmanuel Ferreira, Michelangelo Fiore, Rachid Alami, Fabrice Lefèvre

      Pages 62-73

   7. A Simulation Based Architecture for the Development of an Autonomous All Terrain Vehicle

      • Gianluca Bardaro, Davide Antonio Cucci, Luca Bascetta, Matteo Matteucci

      Pages 74-85

   8. Applying Simulation and a Domain-Specific Language for an Adaptive Action Library

      • Jacob Pørksen Buch, Johan Sund Laursen, Lars Carøe Sørensen, Lars-Peter Ellekilde, Dirk Kraft, Ulrik Pagh Schultz et al.

      Pages 86-97

   9. Simulation Environment for Multi-robot Cooperative 3D Target Perception

      • André Dias, Jose Almeida, Nuno Dias, Pedro Lima, Eduardo Silva

      Pages 98-109

   10. Combining Complex Simulations with Realistic Virtual Testing Environments – The eRobotics-Approach for Semantics-Based Multi-domain VR Simulation Systems

       • Nico Hempe, Ralf Waspe, Juergen Rossmann

       Pages 110-121

3. Modeling

   1. Analysis of Knee-Ankle Orthosis Modelling: An Inverse Dynamics Approach Using Adaptive Coupled Oscillator

      • Michael Oluwatosin Ajayi, Karim Djouani, Yskandar Hamam

      Pages 122-133

   2. Optimizing Robotic Team Performance with Probabilistic Model Checking

      • Sagar Chaki, Joseph Giampapa, David Kyle, John Lehoczky

      Pages 134-145

   3. Modelling and Analysis of a Redundant Mobile Robot Architecture Using AADL

      • Geoffrey Biggs, Kiyoshi Fujiwara, Keiju Anada

      Pages 146-157

   4. Fault Avoidance in Development of Robot Motion-Control Software by Modeling the Computation

      • Yury Brodskiy, Robert Wilterdink, Stefano Stramigioli, Jan Broenink

      Pages 158-169

   5. Robotic Engineer’s Specifications for a Well-Fitted Model-Driven Control Architecture for Robots

      • Éric Moliné, Nicolas Morette, Cyril Novales, Pierre Vieyres

      Pages 170-181

4. Programming

   1. High Performance Relaying of C++11 Objects across Processes and Logic-Labeled Finite-State Machines

      • Vlad Estivill-Castro, René Hexel, Carl Lusty

      Pages 182-194

   2. A Survey on Domain-Specific Languages in Robotics

      • Arne Nordmann, Nico Hochgeschwender, Sebastian Wrede

      Pages 195-206

   3. Towards Rule-Based Dynamic Safety Monitoring for Mobile Robots

      • Sorin Adam, Morten Larsen, Kjeld Jensen, Ulrik Pagh Schultz

      Pages 207-218

   4. A Proposed Software Framework Aimed at Energy-Efficient Autonomous Driving of Electric Vehicles

      • José-Luis Torres Moreno, José-Luis Blanco Claraco, Mauro Bellone, Francisco Rodrìguez, Antonio Gimènez, Giulio Reina

      Pages 219-230

This book constitutes the refereed proceedings of the 4th International Conference on Simulation, Modeling, and Programming for Autonomous Robots, SIMPAR 2014, held in Bergamo, Italy, in October 2014.
The 49 revised full papers presented were carefully reviewed and selected from 62 submissions. The papers are organized in topical sections on simulation, modeling, programming, architectures, methods and tools, and systems and applications.

• autonomous behavior
• component-based robotic framework
• component-based robotic framework
• distributed computing
• formal verification
• healthcare robot system
• humanoid
• middleware
• model-checking
• multimodal perception
• optimization algorithms
• robotic cloud
• safe navigation
• semantic Web
• software architecture
• system maintenance

• Department of Engineering, Università degli Studi di Bergamo, Dalmine, Italy

  Davide Brugali

• Faculty EE-Math-CS, CTIT Institute, Robotics and Mechatronics Group, University of Twente, Enschede, The Netherlands

  Jan F. Broenink

• Artificial Intelligence Laboratory, Stanford University, Stanford, USA

  Torsten Kroeger

• Faculty of Engineering, Electrical and Computer Engineering, Science Centre - Mathphysic, Level 2, University of Auckland, Auckland, New Zealand

  Bruce A. MacDonald

Policies and ethics