2838 search results - page 333 / 568 » Verifying Controlled Components |
120
Voted
RTAS
2009
IEEE
15 years 7 months ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...
116
click to vote
SASO
2009
IEEE
15 years 7 months ago
2009
IEEE
An optimal sensor layout is attained when a limited number of sensors are placed in an area such that the cost of the placement is minimised while the value of the obtained inform...
114
click to vote
IROS
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract— Fire brigades and special agencies are often demanded to operate for search and aid of human lives in extremely dangerous scenarios. It is very important to first veri...
97
Voted
IROS
2009
IEEE
15 years 7 months ago
2009
IEEE
—The wheel slip ratio is an important state variable in terramechanics research and the control of planetary rovers. Definitions of the slip ratio for a wheel with lugs and metho...
77
Voted
IROS
2009
IEEE
15 years 7 months ago
2009
IEEE
— This paper presents the investigation on mobile manipulation of a self-reconfigurable tracked mobile robot, using its tracks for both manipulation and locomotion. It is desira...