IEEE Transactions on Automatic Control, Vol.43, No.4, 522-539, 1998
Verified hybrid controllers for automated vehicles
The objective of an Automated Highway System (AHS) is to increase the safety and throughput of the existing highway infrastructure by introducing traffic automation, ANS is an example of a large scale, multiagent complex dynamical system and is ideally suited far a hierarchical hybrid controller, We discuss the design of safe and efficient hybrid controllers for regulation of vehicles on an AHS. We use game theoretic techniques to deal with the multiagent and multiobjective nature of the problem, The result Is a hybrid controller that by design guarantees safety, without the need for further verification, The calculations also provide an upper bound on the performance that can he expected in terms of throughput at various levels of centralization.
Keywords:PLATOON