Reaching a target while remaining in a given set for impulse dynamics can be characterized by a non deterministic controlled differential equation and a controlled instantaneous r...
This paper introduces TestFul, a framework for testing stateful systems and focuses on object-oriented software. TestFul employs a hybrid multi-objective evolutionary algorithm, t...
We present the situated reference generation module of a hybrid human-robot interaction system that collaborates with a human user in assembling target objects from a wooden toy c...
Manuel Giuliani, Mary Ellen Foster, Amy Isard, Col...
- Functional testing of software dedicated for hybrid embedded systems should start at the early development phase and requires analysis of discrete and continuous signals, where t...
In this paper, we propose a cross-layer design (CLD) scheme combining rate adaptation and four types of hybrid automatic repeat request (HARQ) for multiband orthogonal frequency di...