- Model Checking
- Synthesis of Finite Abstractions
- Systems Relations
- Synthesis via Fixed-Points
Verification and Synthesis of Autonomous Systems
Completed by Mr. Clayton-M. Bernard-Ex.
January 24, 2025
10 hours (approximately)
Mr. Clayton-M. Bernard-Ex.'s account is verified. Coursera certifies their successful completion of Verification and Synthesis of Autonomous Systems
What you will learn
Analyze stability properties of linear systems
Compute over-approximations of reachable sets for some classes of systems
Perform model checking for finite systems
Synthesize controllers for safety and reachability specifications for finite systems using fixed-point algorithms
Skills you will gain
