3458 search results - page 240 / 692 » Abstracting Control |
149
click to vote
IROS
2008
IEEE
16 years 28 days ago
2008
IEEE
Abstract— In this paper the robotic throwing task is considered with the goal of achieving high-speed dynamic manipulation. We propose a kinetic chain approach for swing motion f...
167
click to vote
EUROGP
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Model checking is a way of analysing programs and programlike structures to decide whether they satisfy a list of temporal logic statements describing desired behaviour. ...
123
click to vote
ICNS
2006
IEEE
16 years 17 days ago
2006
IEEE
Abstract— The theory of promises describes policy governed services, in a framework of completely autonomous agents, which assist one another by voluntary cooperation alone. We p...
157
click to vote
HYBRID
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We study continuous-time switched linear systems with unobserved and exogenous mode signals. We analyze the observability of the initial state and initial mode under arbi...
175
click to vote
SAGA
2005
Springer
16 years 8 hour ago
2005
Springer
Abstract. In this paper, a Stochastic Dynamic Facility Location Problem (SDFLP) is formulated. In the first part, an exact solution method based on stochastic dynamic programming ...