Verification and Synthesis of Autonomous Systems
Completed by Ислам Сарсембаев
November 28, 2024
11 hours (approximately)
Ислам Сарсембаев'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: Algorithms
- Category: Systems Design
- Category: Systems Analysis
- Category: Verification And Validation
- Category: Computational Logic
- Category: Theoretical Computer Science
- Category: Functional Specification
