Design and Control of High-Performance Provably-safe Autonomy-enabled Dynamic Transportation Networks