Online Course Catalog
AE 598 SRO - Formal Methods in AE Robotics
Spring 2025
| Title | Section | CRN | Type | Hours | Times | Days | Location | Instructor |
|---|---|---|---|---|---|---|---|---|
| Formal Methods in AE Robotics | SRO | 47198 | ONL | 4 | - | Hiroyasu Tsukamoto |
Course Description
This course presents advanced formal methods for providing performance guarantees in motion planning and control (guidance and control) of nonlinear dynamical systems under uncertainty, with a special focus on aerospace and robotic systems. Topics include a review of robotics and optimal control, robust and adaptive control, safe planning and control, risk-aware planning and control, uncertainty quantification, safe reinforcement learning, learning-based/data-driven planning and control, applications in aerospace and robotic systems, and a final project. The themes of the final project will be given, but students are welcome to work on their own ideas.
Credit Hours
4 hours
Prerequisites
Undergraduate degree and statistics (STAT 361, STAT 400, or MATH 461), robotics (AE 482, ECE 470, or ME 445), and feedback control (AE 454 or ECE 486), or permission of instructor. It is desirable also to have some basics of optimal control (AE 504 or ECE 515).
Subject Area
- Aerospace Engineering