Welcome to the new version of CaltechAUTHORS. Login is currently restricted to library staff. If you notice any issues, please email coda@library.caltech.edu
Published February 6, 2020 | Submitted
Report Open

Synthesis of Distributed Longitudinal Control Protocols for a Platoon of Autonomous Vehicles

Abstract

We develop a framework for control protocol synthesis for a platoon of autonomous vehicles subject to temporal logic specifications. We describe the desired behavior of the platoon in a set of linear temporal logic formulas, such as collision avoidance, close spacing or comfortability. The problem of decomposing a global specification for the platoon into distributed specification for each pair of adjacent vehicles is hard to solve. We use the invariant specifications to tackle this problem and the decomposition is proved to be scalable.. Based on the specifications in Assumption/Guarantee form, we can construct a two-player game (between the vehicle and its closest leader) locally to automatically synthesize a controller protocol for each vehicle. Simulation example for a distributed vehicles control problem is also shown.

Attached Files

Submitted - hmm15-cdc_s.pdf

Files

hmm15-cdc_s.pdf
Files (323.3 kB)
Name Size Download all
md5:78ebdde3c03af45efce38cd482586642
323.3 kB Preview Download

Additional details

Created:
August 20, 2023
Modified:
December 22, 2023