91 search results - page 1 / 19 » Correctness of vehicle control systems-a case study |
RTSS
1996
IEEE
13 years 8 months ago
1996
IEEE
SSS
2010
Springer
13 years 2 months ago
2010
Springer
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
ECRTS
2002
IEEE
13 years 9 months ago
2002
IEEE
ISSRE
2010
IEEE
13 years 2 months ago
2010
IEEE
—Driven by market needs and laws, automotive manufacturers develop ever more feature-rich and complex vehicles. This new functionality plays even an active role in driving, what ...
ICRA
2010
IEEE
13 years 2 months ago
2010
IEEE
In this paper we study the problem of controlling a number of Unmanned Aerial Vehicles (UAVs) to provide convoy protection to a group of ground vehicles. The UAVs are modeled as Du...