CSCA 5844: Requirement Specifications for Autonomous Systems
听听Preview this course听in the non-credit experience today!听
Start working toward program admission and requirements right away.听Work you complete in the non-credit experience will transfer to the for-credit experience when you upgrade and pay tuition. See How It Works for details.
- Course Type: Elective
- Specialization: Foundations of Autonomous Systems
- Instructor:听Dr. Majid Zamani, Associate Professor
Prior knowledge needed:
This second course in the specialization focuses on modeling requirements. It is highly recommended that students take the first courses that focus on the core structure in any autonomous system before attempting this course. We anticipate that students possess a grasp of fundamental mathematical concepts equivalent to those covered in the first year of studies for STEM majors at a US college. Additionally, a familiarity with basic differential equations and linear algebra is expected. This encompasses key principles, including:听
- Sets and Functions: Proficiency in understanding the properties of sets, along with a clear comprehension of function definitions and their associated properties.
- Eigenvalues and Eigenvectors: A basic knowledge of eigenvalues and eigenvectors of matrices, coupled with an ability to perform matrix-vector multiplication.
- Systems of First Order Linear Differential Equations:听听A basic knowledge听in solving and analyzing systems of first-order linear differential equations.
Learning Outcomes
- Show different notions of stability over systems.
- Construct regular and omega-regular expressions.
- Describe regular and omega-regular languages, respectively, using regular and omega-regular expressions.
- Understand non-deterministic finite and b眉chi automata.
- Describe regular and omega-regular languages using, respectively, non-deterministic finite and b眉chi automata.
Course Grading Policy
| Assignment | Percentage of Grade |
|---|---|
| 6 Assignments | 60% (10% each) |
| 3 Quizzes | 20% (6.7% each) |
| Final Exam | 20% |
| Total | 100% |
Course Content
Duration: 2 hours 51 mins
In this course, we delve into the intricate world of high-level specifications, a cornerstone in the development of reliable and efficient systems. This module is tailored to provide students with a comprehensive understanding of how to express system behavior expectations using formal methods such as linear temporal logic and automata on finite and infinite strings. Through a series of detailed examples and practical applications, we will gain the skills necessary to define and analyze various types of system properties, e