Visible to the public CPS: Synergy: Collaborative Research: Design and Control of High-performance Provably-safe Autonomy-enabled Dynamic Transportati