This course will provide different techniques on the verification of autonomous systems against stability, regular, or omega-regular properties. Such techniques include Lyapunov theories, reachability analysis, barrier certificates, and model checking. Finally, it will introduce several techniques on designing controllers enforcing properties of interest over the original autonomous systems.
instructor(s)
Zamani, Majid
Primary Instructor
- Summer 2024 / Fall 2024 / Spring 2025 / Summer 2025 / Fall 2025
