Requirement Specifications for Autonomous Systems
University of Colorado Boulder
This course covers formal methods to model requirements of autonomous systems, including stability, invariance, regular and omega-regular languages, and linear temporal logic.
About this Course
This course will discuss different ways of formally modeling requirements of interest for autonomous systems. Examples of such requirements include stability, invariance, reachability, regular languages, omega-regular languages, and linear temporal logic properties. In addition, it will introduce non-deterministic finite and büchi automata for recognizing, respectively, regular languages and omega-regular languages. This course can be taken for academic credit as part of CU Boulder’s MS in Computer Science degrees offered on the Coursera platform. These fully accredited graduate degrees offer targeted courses, short 8-week sessions, and pay-as-you-go tuition. Admission is based on performance in three preliminary courses, not academic history. CU degrees on Coursera are ideal for recent graduates or working professionals. Learn more: MS in Computer Science: https://coursera.org/degrees/ms-computer-science-boulder
What You'll Learn
- Utilize formal methods to specify and verify requirements for autonomous systems
- Model system behaviors and verify stability using analytical methods
- Apply reachable set computation and robustness analysis in system design
Prerequisites
- Basic familiarity with the topic and its common terminology
- Readiness to practice through applied exercises or case-based work
Instructors
Majid Zamani
Associate Professor