Completed
Formal Methods for System Design
Class Central Classrooms beta
YouTube playlists curated by Class Central.
Classroom Contents
Safety-Critical Autonomous Systems - What is Possible? What is Required?
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Safety-Critical Autonomous Systems: What is Possible? What is Required?
- 3 Motivating Example: Alice (2004-2007)
- 4 Safety Critical Autonomous Systems
- 5 Outline
- 6 Design of Complex Aerospace Systems (and MBD)
- 7 Safety-Critical Systems: Commercial Aircraft
- 8 What Goes Wrong: ZA002, Nov 2010
- 9 Design of Modern (Networked) Control Systems
- 10 Structure of Specifications for a System
- 11 Verification via Model Checking
- 12 Formal Methods for System Design
- 13 Synthesis of Reactive Controllers
- 14 Example: Electric Power Systems
- 15 Consumer Applications: Self-Driving Cars, Drones
- 16 Autonomy Ecosystem
- 17 The Building Blocks of Autonomy
- 18 Challenges in Self Driving
- 19 Summary: Safety-Critical Autonomous Systems
