PickVidsRobert Moss: Julia and the Next Generation Airborne Collision Avoidance System
Why it was recommended
See these talks on how a collision avoidance system was designed with Julia.
RecommendationViralBShah · Original
What it covers
Robert Moss's JuliaCon 2015 talk describes using Julia as a specification language for ACAS X, the next-generation airborne collision avoidance system that succeeds TCAS. It is for someone who wants the derivation, proof, or implementation detail.
Video details
- Channel
- The Julia Programming Language
- Length
- 32 min 10 sec
- Year
- 2015
More in this topic
- Children Of The Magenta Line
- The Economics of Airline Class
- David Fravor: UFOs, Aliens, Fighter Jets, and Aerospace Engineering | Lex Fridman Podcast #122
- The Fastest Way to Board a Plane Feels Like the Slowest
- Zipline - How Rwanda Built A Drone Delivery Service
- Pulling Power from the Sky: The Story of Makani [Feature Film]