945 search results - page 55 / 189 » Evolving Symbolic Controllers |
128
click to vote
EPIA
2003
Springer
15 years 7 months ago
2003
Springer
We give an overview of the EPFL indoor flying project, whose goal is to evolve neural controllers for autonomous, adaptive, indoor micro-flyers. Indoor flight is still a challenge ...
106
Voted
SASO
2010
IEEE
14 years 11 months ago
2010
IEEE
The design and implementation of distributed, self-organising and self-adaptive systems are challenging. In this article we report on our experience gained during the development o...
105
click to vote
DSN
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
CONCUR
2009
Springer
15 years 8 months ago
2009
Springer
We present a compositional method for deriving control constraints on a network of interconnected, partially observable and partially controllable plant components. The constraint ...
138
click to vote
EUROGP
2010
Springer
15 years 3 months ago
2010
Springer
We propose a new framework based on Genetic Programming (GP) to automatically decompose problems into smaller and simpler tasks. The framework uses GP at two levels. At the top lev...