Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Safety-Critical Autonomous Systems - What is Possible? What is Required?

Simons Institute via YouTube

Overview

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.

Syllabus

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

Taught by

Simons Institute

Reviews

Start your review of Safety-Critical Autonomous Systems - What is Possible? What is Required?

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.