Requirement Specifications for Autonomous Systems
Completed by Abdul Quadir
November 18, 2024
11 hours (approximately)
Abdul Quadir's account is verified. Coursera certifies their successful completion of Requirement Specifications for Autonomous Systems
What you will learn
Utilize formal methods to specify and verify requirements for autonomous systems.
Model system behaviors and verify stability using various analytical methods.
Apply reachable set computation and robustness analysis in system design.
Skills you will gain
- Category: Applied Mathematics
- Category: Agentic systems
- Category: Theoretical Computer Science
- Category: Verification And Validation
- Category: Numerical Analysis
- Category: Systems Analysis
- Category: Linear Algebra
- Category: System Requirements
- Category: Functional Specification
- Category: Computational Logic
- Category: Mathematical Modeling
- Category: Control Systems
