Sciweavers

266 search results - page 13 / 54
» On asymmetric progress conditions
Sort
View
ICRA
2010
IEEE
133views Robotics» more  ICRA 2010»
14 years 7 months ago
Spring Loaded Inverted Pendulum embedding: Extensions toward the control of compliant running robots
This paper explores systematic control strategies for the stabilization of running on compliant robots with nontrivial torso pitch dynamics. The Spring Loaded Inverted Pendulum (SL...
Ioannis Poulakakis
CAV
2007
Springer
157views Hardware» more  CAV 2007»
15 years 4 months ago
An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games
Three-color parity games capture the disjunction of a B¨uchi and a co-B¨uchi condition. The most efficient known algorithm for these games is the progress measures algorithm by ...
Luca de Alfaro, Marco Faella
NIPS
1997
14 years 11 months ago
Minimax and Hamiltonian Dynamics of Excitatory-Inhibitory Networks
A Lyapunov function for excitatory-inhibitory networks is constructed. The construction assumes symmetric interactions within excitatory and inhibitory populations of neurons, and...
H. Sebastian Seung, Tom J. Richardson, J. C. Lagar...
ACSD
2008
IEEE
107views Hardware» more  ACSD 2008»
14 years 12 months ago
Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems
We present a process algebra with conditionally distributed discrete-time delays and generally-distributed stochastic delays. The treatment allows for expansion laws for the paral...
Jasen Markovski, Erik P. de Vink
NGC
2002
Springer
120views Communications» more  NGC 2002»
14 years 9 months ago
M-HBH - Efficient Mobility Management in Multicast
Efficient handling of mobile nodes in a multicast environment is a non-trivial task. Solutions based on bi-directional tunneling introduce encapsulation and triangular routing. Th...
Rolland Vida, Luís Henrique Maciel Kosmalsk...