The authors present a provably correct safety protocol for CACC platoons that ensures no collisions despite communication failures by leveraging communicated braking capabilities within consensus-based systems.
Provably-Correct and Com- fortable Adaptive Cruise Control
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
eess.SY 1years
2023 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Provably-Correct Safety Protocol for Cooperative Platooning
The authors present a provably correct safety protocol for CACC platoons that ensures no collisions despite communication failures by leveraging communicated braking capabilities within consensus-based systems.