Sciweavers

3082 search results - page 226 / 617
» New Bounds for the Controller Problem
Sort
View
DAGSTUHL
2007
15 years 8 months ago
Interdisciplinary Design Research for End-User Software Engineering
rocesses involve modeling – simplifying or abstracting some aspects of the problem domain in order to plan and evaluate design decisions. The use of representations to reason abo...
Alan F. Blackwell
ICANNGA
2007
Springer
153views Algorithms» more  ICANNGA 2007»
15 years 8 months ago
A Neural Framework for Robot Motor Learning Based on Memory Consolidation
Neural networks are a popular technique for learning the adaptive control of non-linear plants. When applied to the complex control of android robots, however, they suffer from se...
Heni Ben Amor, Shuhei Ikemoto, Takashi Minato, Ber...
CDC
2009
IEEE
135views Control Systems» more  CDC 2009»
15 years 10 months ago
On global Lyapunov characterization of multi-stable nonlinear systems
—A new type of global stability is introduced and its equivalent Lyapunov characterization is presented. The problem of global stability of the compact set composed by all invari...
Denis V. Efimov
FOGA
2011
14 years 10 months ago
Approximating the distribution of fitness over hamming regions
The distribution of fitness values across a set of states sharply influences the dynamics of evolutionary processes and heuristic search in combinatorial optimization. In this p...
Andrew M. Sutton, Darrell Whitley, Adele E. Howe
FM
2003
Springer
107views Formal Methods» more  FM 2003»
15 years 11 months ago
Verifying Emulation of Legacy Mission Computer Systems
Processor obsolescence is a serious maintenance problem for long-lived embedded control systems. A practical solution is to interpose an emulator program between the ‘legacy’ s...
Colin J. Fidge