Air traffic control is the largest distributed safety-critical coordination system on the planet, routing tens of thousands of flights a day across borders and oceans without losing any of them. We walk the en-route, terminal, and oceanic control structure, radar versus ADS-B surveillance, the controller-pilot loop, and why "free flight" never quite arrived.
Radar
-
Air Traffic Control