There are important distributed computing systems which are neither massive nor high performance. Examples are: telecommunications systems, transportation or power networks, embedded control systems (such as embedded electronics in automobiles), or Systems on a Chip. Many of them are embedded systems, i.e., not directly visible to the user. For these systems, performance is not a primary issue,...

This paper studies an optimal control problem for a string of vehicles with safety requirements and finite-time specifications on the approach time to a target region. Our problem formulation is motivated by scenarios involving autonomous vehicles circulating on arterial roads with intelligent management at traffic intersections. We propose a provably correct distributed control algorithm that ...