Journals | Systems, Robotics & Vision Group

Vision-based Mobile Robot Motion Control Combining T2 and ND Approaches

sfiCAN: a Star-based Physical Fault-Injection Infrastructure for CAN networks

The dependability requirements of distributed embedded control systems demand appropriate evaluation techniques. Requirements of embedded systems are often tested by means of fault injection. However, for the Controller Area Network (CAN) the potential of this...

Design and verification of a media redundancy management driver for a CAN star topology

Impact of Environmental Dynamics on Economic Evolution: A Stylized Agent-based Policy Analysis

The general problem of how environmental dynamics affect the behavioral interaction in an evolutionary economy is considered. To this end, a basic model of a dynamic multi-sector economy is developed where the evolution of investment strategies depends on the...

Using Timed Automata for Modeling Distributed Systems with Clocks: Challenges and Solutions

The application of model checking for the formal verification of distributed embedded systems requires the adoption of techniques for realistically modeling the temporal behavior of such systems. This paper discusses how to model with timed automata the different...

Multi-robot coalition formation in real-time scenarios

Task allocation is one of the main issues to be addressed in multi-robot systems, especially when the robots form coalitions and the tasks have to be fulfilled before a deadline. In general, it is difficult to foresee the time required by a coalition to finish a task...

« Older Entries

Next Entries »

Uso de cookies

Este sitio web utiliza cookies para que usted tenga la mejor experiencia de usuario. Si continúa navegando está dando su consentimiento para la aceptación de las mencionadas cookies y la aceptación de nuestra política de cookies, pinche el enlace para mayor información.

ACEPTAR

Aviso de cookies