MORSE

A design methodology based on simulation of dynamical behavior is presented in this paper. The particularity of our method is that it exploits the set-membership simulation. Indeed, this method allows one to consider an interval of values for each ...

The challenges of robotic software testing extend beyond conventional software testing. Valid, realistic and interesting tests need to be generated for multiple programs and hardware running concurrently, deployed into dynamic environments with people. ...

This article proposes a model-based approach to structural and statistical testing of cooperating and reconfigurable autonomous robots. Based on Coloured Petri Net models of cooperative behaviour, it summarizes the main results achieved in the context ...

Model-driven software development methods are widely used in safety-critical domains including space robotics. The MATLAB Simulink environment is the common choice of control engineers. This article introduces a new method for a fully automatic ...

Reasoning about multi-agent plans allows to detect modelling failures and to improve the efficiency of the modelling process. Therefore, we evaluate the applicability of an answer set programming based reasoning support for the multiagent modelling ...

We present a new knowledge-based robot architecture that relies on ontologies and logical programming to represent robot behavior in a declarative fashion. Most state-of-the-art robot architectures, instead, build on very detailed procedural ...

We present an approach and tools implemented for model-driven development of robotics using Domain-specific Modeling (DSM). Special attention is paid to the automatic generation of robot control logic, and facilitation of the validation and ...

This paper presents the blueprint for an urban quarter where citizens and robots can learn from each other, and co-work. To fully integrate within human social life and environment, robots needs to observe, experience, and adapt to human action. On the ...