Overview
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