Safety-Critical Autonomous Systems - What is Possible? What is Required?
Explore a comprehensive lecture on safety-critical autonomous systems, focusing on their possibilities and requirements. Delve into the design of complex aerospace systems, safety-critical commercial aircraft, and modern networked control systems. Examine case studies, including the ZA002 incident, and learn about formal methods for system design, verification via model checking, and synthesis of reactive controllers. Investigate consumer applications like self-driving cars and drones, and understand the autonomy ecosystem and its building blocks. Gain insights into the challenges of self-driving technology and the future of safety-critical autonomous systems in this informative talk by Richard Murray from the California Institute of Technology.