91 search results - page 10 / 19 » Correctness of vehicle control systems-a case study |
IICAI
2007
13 years 9 months ago
2007
The paper presents first results of a project that aims at building a model-based tool for functional testing of control software for passenger vehicles. The objective is that this...
IWPC
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract—Correcting software defects accounts for a significant amount of resources such as time, money and personnel. To be able to focus testing efforts where needed the most,...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
— This paper considers a network flow control problem where routing and input rates are controlled in a decentralized way across a network, to optimize a global welfare objectiv...
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
- This paper describes the design and fabrication of a low cost, solar powered mobile robot to support a variety of scientific missions on the Antarctic plateau during the austral ...
MVA
1998
13 years 9 months ago
1998
This paper is concerned with the enhancement of the visual feedback for the teleoperator of an all-terrain fast mobile robot. Indeed, remote control trials have shown inferior mob...