3458 search results - page 240 / 692 » Abstracting Control |
115
Voted
IROS
2008
IEEE
15 years 10 months 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...
123
Voted
EUROGP
2007
Springer
15 years 10 months 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. ...
90
Voted
ICNS
2006
IEEE
15 years 9 months 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...
121
Voted
HYBRID
2005
Springer
15 years 9 months 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...
129
Voted
SAGA
2005
Springer
15 years 9 months 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 ...