Verification and Synthesis of Autonomous Systems
Completed by Jorge Alejandro Valadez Barba
June 5, 2024
11 hours (approximately)
Jorge Alejandro Valadez Barba'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
- Category: Systems Analysis
- Category: Functional Specification
- Category: Algorithms
- Category: Systems Design
- Category: Verification And Validation
- Category: Computational Logic
- Category: Theoretical Computer Science
