4894 search results - page 254 / 979 » Dynamic Abstraction Planning |
113
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— We consider trajectory planning within the frameworks of optimal control and harmonic control. We present a formal evidence, in the continuous domain and in a standard ...
188
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— We provide a method for planning under uncertainty for robotic manipulation by partitioning the configuration space into a set of regions that are closed under complia...
128
click to vote
GI
2007
Springer
16 years 26 days ago
2007
Springer
: This paper gives a short overview of the multiagent-based simulation system PlaSMA. The system provides distributed discrete event simulation with conservative synchronisation. P...
156
click to vote
ICLP
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Action description languages, such as A and B [6], are expressive instruments introduced for formalizing planning domains and problems. The paper starts by proposing a me...
155
click to vote
FDL
2006
IEEE
16 years 23 days ago
2006
IEEE
Abstract. The paper proposes a simulation-based method for validating analog and mixed-signal circuits, using the hybrid systems methodology. This method builds upon RRT (Rapidly-e...