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: Systems Analysis
- Category: Algorithms
- Category: Systems Design
- Category: Theoretical Computer Science
- Category: Computational Logic
- Category: Verification And Validation
- Category: Functional Specification
