Jan. 14, 2019
& End Date
at 460-126 (Greenberg Seminar Room)
Symbolic Systems Forum
AI for Safety Critical Applications
Aeronautics and Astronautics Department
Monday, January 14, 2019
Building 460, Room 126 (Margaret Jacks Hall)
Starting in the 1970s, decades of effort went into building human-designed rules for providing automatic maneuver guidance to pilots to avoid mid-air collisions. The resulting system was later mandated worldwide on all large aircraft and significantly improved the safety of the airspace. Recent work has investigated the feasibility of using computational techniques to help derive optimized decision logic that better handles various sources of uncertainty and balances competing system objectives. This approach has resulted in a system called Airborne Collision Avoidance System (ACAS) X that significantly reduces the risk of mid-air collision while also reducing the alert rate, and it was recently accepted as an international standard. Using ACAS X as a case study, this talk will discuss lessons learned about building trust in advanced decision making systems. This talk will also outline research challenges in facilitating greater levels of automation into safety critical systems and the ongoing work at the Stanford for AI Safety.
Bio: Mykel Kochenderfer is Assistant Professor of Aeronautics and Astronautics at Stanford University. He is the director of the Stanford Intelligent Systems Laboratory (SISL), conducting research on advanced algorithms and analytical methods for the design of robust decision making systems. Prior to joining the faculty, he was at MIT Lincoln Laboratory where he worked on airspace modeling and aircraft collision avoidance, with his early work leading to the establishment of the ACAS X program. He received a Ph.D. from the University of Edinburgh and B.S. and M.S. degrees in computer science from Stanford University. He is an author of the textbooks "Decision Making under Uncertainty: Theory and Application" and "Algorithms for Optimization", both from MIT Press.