691 search results - page 39 / 139 » Equational Abstractions |
ICRA
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— This paper addresses the optimal control of nonholonomic systems through provably correct discretization of the system dynamics. The essence of the approach lies in the...
ISCAS
2005
IEEE
14 years 3 months ago
2005
IEEE
Abstract— Sufficient conditions for stability of time-varying 1D systems are already well established. This work treats the 2-D case in an approach that parallels that of the 1-...
CONCUR
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We propose a polynomial-time decision procedure for hereditary history preserving bisimilarity (hhp-b) on Basic Parallel Processes (BPP). Furthermore, we give a sound and...
EUROGP
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Particle Swarm Optimisers (PSOs) search using a set of interacting particles flying over the fitness landscape. These are typically controlled by forces that encourage ...
COLT
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We consider Reinforcement Learning for average reward zerosum stochastic games. We present and analyze two algorithms. The first is based on relative Q-learning and the ...