1297 search results - page 58 / 260 » Control of systems integrating logic, dynamics, and constrai... |
111
click to vote
HYBRID
2003
Springer
15 years 6 months ago
2003
Springer
We present a hybrid systems solution to the problem of trajectory tracking for a four-wheel steered four-wheel driven mobile robot. The robot is modelled as a non-holonomic dynamic...
124
click to vote
CDC
2009
IEEE
15 years 6 months ago
2009
IEEE
— This paper presents an analytical model and a geometric numerical integrator for a rigid body connected to an elastic string, acting under a gravitational potential. Since the ...
101
click to vote
HYBRID
2004
Springer
15 years 6 months ago
2004
Springer
We present a new high-level programming language, called XGIOTTO, for programming applications with hard real-time constraints. Like its predecessor, XGIOTTO is based on the LET (l...
126
click to vote
SUM
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We present the Consistency Extractor System (ConsEx) that uses answer set programming to compute consistent answers to first-order queries posed to relational databases ...
IROS
2007
IEEE
15 years 7 months ago
2007
IEEE
— Locomotion on an irregular surface is a challenging task in robotics. Among different problems to solve to obtain robust locomotion, visually guided locomotion and accurate foo...