15840 search results - page 756 / 3168 » The Control of Synchronous Systems |
198
click to vote
ICRA
2007
IEEE
2007
IEEE
Hybrid Model Predictive Control for Stabilization of Wheeled Mobile Robots Subject to Wheel Slippage
16 years 1 months ago
— This paper studies the problem of stabilizing wheeled mobile robots (WMRs) subject to wheel slippage to a predefined set. When slippage of the wheels can occur, WMRs can be mo...
179
click to vote
HYBRID
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents a motion description language (MDLp) for specifying and encoding autonomous puppetry plays in a manner that is faithful to the way puppetry choreography is curr...
141
click to vote
DSD
2006
IEEE
16 years 1 months ago
2006
IEEE
The ModEasy project seeks to develop techniques and software tools to aid in the development of reliable microprocessor based electronic (embedded) systems using advanced developm...
210
click to vote
ICRA
1993
IEEE
15 years 11 months ago
1993
IEEE
A control system architecture is described for an autonomous flying vehicle. The vehicle, equipped with fourteen sensors, uses a model helicopter as an airframe. The control syste...
215
click to vote
ETRICS
2006
15 years 11 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...