11 search results - page 3 / 3 » Model Checking Data-Dependent Real-Time Properties of the Eu... |
ICCS
2009
Springer
13 years 3 months ago
2009
Springer
This article presents a local control approach to linear vehicle platooning. Linear platoon systems are sets of vehicles that use local or global perception capabilities to form a ...