91 search results - page 1 / 19 » Correctness of vehicle control systems-a case study |
115
Voted
RTSS
1996
IEEE
15 years 7 months ago
1996
IEEE
129
Voted
SSS
2010
Springer
15 years 19 days 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...
101
Voted
ECRTS
2002
IEEE
15 years 7 months ago
2002
IEEE
132
Voted
ISSRE
2010
IEEE
15 years 1 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 ...
114
Voted
ICRA
2010
IEEE
15 years 21 days 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...