Simulation, Modeling, and Programming for Autonomous Robots: 4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014. Proceedings

Front Matter....Pages -
Making Time Make Sense in Robotic Simulation....Pages 1-12
Simulation and HRI Recent Perspectives with the MORSE Simulator....Pages 13-24
A Dynamic Simulator for Underwater Vehicle-Manipulators....Pages 25-36
Extending Open Dynamics Engine for the DARPA Virtual Robotics Challenge....Pages 37-48
Control and Scheduling Co-design for a Simulated Quadcopter Robot: A Model-Driven Approach....Pages 49-61
Simulating Human-Robot Interactions for Dialogue Strategy Learning....Pages 62-73
A Simulation Based Architecture for the Development of an Autonomous All Terrain Vehicle....Pages 74-85
Applying Simulation and a Domain-Specific Language for an Adaptive Action Library....Pages 86-97
Simulation Environment for Multi-robot Cooperative 3D Target Perception....Pages 98-109
Combining Complex Simulations with Realistic Virtual Testing Environments – The eRobotics-Approach for Semantics-Based Multi-domain VR Simulation Systems....Pages 110-121
Analysis of Knee-Ankle Orthosis Modelling: An Inverse Dynamics Approach Using Adaptive Coupled Oscillator....Pages 122-133
Optimizing Robotic Team Performance with Probabilistic Model Checking....Pages 134-145
Modelling and Analysis of a Redundant Mobile Robot Architecture Using AADL....Pages 146-157
Fault Avoidance in Development of Robot Motion-Control Software by Modeling the Computation....Pages 158-169
Robotic Engineer’s Specifications for a Well-Fitted Model-Driven Control Architecture for Robots....Pages 170-181
High Performance Relaying of C++11 Objects across Processes and Logic-Labeled Finite-State Machines....Pages 182-194
A Survey on Domain-Specific Languages in Robotics....Pages 195-206
Towards Rule-Based Dynamic Safety Monitoring for Mobile Robots....Pages 207-218
A Proposed Software Framework Aimed at Energy-Efficient Autonomous Driving of Electric Vehicles....Pages 219-230
Structured Design and Development of Domain-Specific Languages in Robotics....Pages 231-242
ROS-I Interface for COMAU Robots....Pages 243-254
Robot Unit Testing....Pages 255-266
IMI2S: A Lightweight Framework for Distributed Computing....Pages 267-278
Are Middlewares Ready for Multi-robots Systems?....Pages 279-290
Declarative Specification of Robot Perception Architectures....Pages 291-302
A Modeling Framework for Software Architecture Specification and Validation....Pages 303-314
Reverse Engineering of Middleware for Verification of Robot Control Architectures....Pages 315-326
An Extensible Software Architecture for Composing Motion and Task Planners....Pages 327-339
A Component-Based Meta-Model and Framework in the Model Driven Toolchain C-Forge....Pages 340-351
Merging Partially Consistent Maps....Pages 352-363
Lower Limb Stiffness Estimation during Running: The Effect of Using Kinematic Constraints in Muscle Force Optimization Algorithms....Pages 364-375
On the Benefits of Component-Defined Real-Time Visualization of Robotics Software....Pages 376-387
A Primate-Inspired Autonomous Navigation Algorithm Using the Cognitive Mechanism of Mental Rotation....Pages 388-399
The Cognitive Interaction Toolkit – Improving Reproducibility of Robotic Systems Experiments....Pages 400-411
Enhancing Humanoids’ Walking Skills through Morphogenesis Evolution Method....Pages 412-423
Stability Analysis of Densest Packing of Objects Using Partial Order Representation of Feasible Procedural Sequences....Pages 424-437
Team Size Optimization for Multi-robot Exploration....Pages 438-449
Automatic Evaluation of Task-Focused Parallel Jaw Gripper Design....Pages 450-461
Automatic Verification of Autonomous Robot Missions....Pages 462-473
Probabilistic 2D Acoustic Source Localization Using Direction of Arrivals in Robot Sensor Networks....Pages 474-485
Control and Omni-directional Locomotion of a Crawling Quadruped....Pages 486-497
Embodiment Sensing for Self-generated Zigzag Turning Algorithm Using Vision-Based Plume Diffusion....Pages 498-508
Handling of Asynchronous Data Flow in Robot Perception Subsystems....Pages 509-520
Design of a Healthcare Sensor Managing System for Vital Sign Measuring Devices....Pages 521-532
Kinesthetic Teaching in Assembly Operations – A User Study....Pages 533-544
A Constraint Based Motion Optimization System for Quality Inspection Process Improvement....Pages 545-553
Dealing with Conflicting Requirements in Robot System Engineering: A Laboratory-Based Course....Pages 554-565
Using Augmented Measurements to Improve the Convergence of ICP....Pages 566-577
Design of a Kiosk Type Healthcare Robot System for Older People in Private and Public Places....Pages 578-589
Erratum: Automatic Evaluation of Task-Focused Parallel Jaw Gripper Design....Pages E1-E1
Back Matter....Pages -