Requirement Specifications for Autonomous Systems
Completed by Arunesh Subramanian Srinivasan
February 22, 2025
11 hours (approximately)
Arunesh Subramanian Srinivasan'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: Functional Requirement
- Category: Theoretical Computer Science
- Category: System Requirements
- Category: Computer Science
- Category: Verification And Validation
- Category: Applied Mathematics
- Category: Functional Specification
- Category: Mathematical Modeling
- Category: Systems Analysis
- Category: Requirements Analysis
- Category: Computational Logic
- Category: Control Systems
