Sciweavers

1287 search results - page 53 / 258
» Reduction of Timed Hybrid Systems
Sort
View
HYBRID
2004
Springer
15 years 9 months ago
The Hybrid Guaranteed Capture Basin Algorithm in Economics
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...
Noël Bonneuil, Patrick Saint-Pierre
GECCO
2009
Springer
162views Optimization» more  GECCO 2009»
15 years 8 months ago
TestFul: using a hybrid evolutionary algorithm for testing stateful systems
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...
Matteo Miraz, Pier Luca Lanzi, Luciano Baresi
INLG
2010
Springer
15 years 2 months ago
Situated Reference in a Hybrid Human-Robot Interaction System
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...
SERP
2007
15 years 5 months ago
From Functional Requirements through Test Evaluation Design to Automatic Test Data Patterns Retrieval - a Concept for Testing of
- 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...
Justyna Zander-Nowicka, Abel Marrero Pérez,...
ICC
2009
IEEE
106views Communications» more  ICC 2009»
15 years 1 months ago
Hybrid ARQ with Rate Adaptation in Multiband OFDM UWB Systems
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...
Cheng-Xiang Wang, Heung-Gyoon Ryu, Hsiao-Hwa Chen,...