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.

Intro
Safety-Critical Autonomous Systems: What is Possible? What is Required?
Motivating Example: Alice (2004-2007)
Safety Critical Autonomous Systems
Outline
Design of Complex Aerospace Systems (and MBD)
Safety-Critical Systems: Commercial Aircraft
What Goes Wrong: ZA002, Nov 2010
Design of Modern (Networked) Control Systems
Structure of Specifications for a System
Verification via Model Checking
Formal Methods for System Design
Synthesis of Reactive Controllers
Example: Electric Power Systems
Consumer Applications: Self-Driving Cars, Drones
Autonomy Ecosystem
The Building Blocks of Autonomy
Challenges in Self Driving
Summary: Safety-Critical Autonomous Systems