Foundations of Autonomous Systems (CSCI 5854)

General information:

  • Instructor: Majid Zamani

  • During fall semesters

  • Days: Mondays and Wednesdays

  • Time: 4:10 PM – 5:25 PM

  • Room: ECCS 1B14

  • Office hours: Mondays, 11:00-12:00, Remotely via Zoom

Course Description:

This course will provide an end-to-end overview of different topics involved in designing or analyzing autonomous systems. It begins with explaining the core structure in any autonomous system which includes sensors, actuators, and potentially communication networks. Then, it will cover different formal modeling frameworks used for autonomous systems including state-space representations (difference equations), hybrid automata, and in general labeled transition systems. It also discusses different ways of formally modeling properties of interest for such systems. Examples of such properties include stability, invariance, reachability, and temporal logic properties.

After students get familiar with formally modeling autonomous systems and their properties of interest, the course will cover different techniques on the verification of such systems including Lyapunov functions, reachability, barrier certificates, and potentially model checking. Finally, the course will introduce students with several techniques (e.g. reactive synthesis) on designing controllers (or policies) enforcing properties of interest over the original autonomous systems.

Prerequisites:

  • Basic principles of embedded systems design and some knowledge of differential equations, linear algebra, and calculus.

List of principal topics includes:

  • Formal modeling of autonomous systems:

    • State-space modeling framework

    • Automata

    • Labeled transitions systems

  • Formal pecifications:

    • Stability

    • Invariance

    • Reachability

    • Temporal logic

  • Formal analysis:

    • Lyapunov theory

    • Reachability analysis

    • Barrier certificate

    • Model checking

  • Formal synthesis:

    • Stabilizing feedback controllers

    • Abstraction-based synthesis

    • Control barrier certificate

    • Sampling-based motion planning

Lecture Notes:

  • All lecture notes will be posted on Canvas. Your identikey is needed for signing in.

Recommended textbooks:

  • E. A. Lee and S. A. Seshia. Introduction to Embedded Systems: A Cyber-Physical Systems Approach. MIT Press, 2017.

  • C. Belta, B. Yordanov, and E. Göl. Formal Methods for Discrete-Time Dynamical Systems. Springer International Publishing, 2017.

  • C. Baier and J. P. Katoen. Principles of Model Checking. MIT Press, 2008.

  • R. Alur. Principles of Cyber-Physical Systems. MIT Press, 2015.

  • P. Tabuada. Verification and Control of Hybrid Systems. Springer US, 2009.

Tentative grading:

  • Assignments: 40%

  • Midterm exam: 30%

  • Final project: 30%

  • Classroom Behavior
    Both students and faculty are responsible for maintaining an appropriate learning environment in all instructional settings, whether in person, remote or online. Those who fail to adhere to such behavioral standards may be subject to discipline. Professional courtesy and sensitivity are especially important with respect to individuals and topics dealing with race, color, national origin, sex, pregnancy, age, disability, creed, religion, sexual orientation, gender identity, gender expression, veteran status, political affiliation or political philosophy. For more information, see the policies on classroom behavior and the Student Conduct and Conflict Resolution policies.

  • Requirements for COVID-19
    As a matter of public health and safety due to the pandemic, all members of the CU Boulder community and all visitors to campus must follow university, department and building requirements and all public health orders in place to reduce the risk of spreading infectious disease. Students who fail to adhere to these requirements will be asked to leave class, and students who do not leave class when asked or who refuse to comply with these requirements will be referred to Student Conduct and Conflict Resolution. For more information, see the policy on classroom behavior and the Student Code of Conduct. If you require accommodation because a disability prevents you from fulfilling these safety measures, please follow the steps in the “Accommodation for Disabilities” statement on this syllabus.

    As of Aug. 13, 2021, CU Boulder has returned to requiring masks in classrooms and laboratories regardless of vaccination status. This requirement is a temporary precaution during the delta surge to supplement CU Boulder’s COVID-19 vaccine requirement. Exemptions include individuals who cannot medically tolerate a face covering, as well as those who are hearing-impaired or otherwise disabled or who are communicating with someone who is hearing-impaired or otherwise disabled and where the ability to see the mouth is essential to communication. If you qualify for a mask-related accommodation, please follow the steps in the “Accommodation for Disabilities” statement on this syllabus. In addition, vaccinated instructional faculty who are engaged in an indoor instructional activity and are separated by at least 6 feet from the nearest person are exempt from wearing masks if they so choose.

    Students who have tested positive for COVID-19, have symptoms of COVID-19, or have had close contact with someone who has tested positive for or had symptoms of COVID-19 must stay home. In this class, if you are sick or quarantined, please email the instructor about absence due to illness or quarantine.

  • Accommodation for Disabilities
    If you qualify for accommodations because of a disability, please submit your accommodation letter from Disability Services to your faculty member in a timely manner so that your needs can be addressed. Disability Services determines accommodations based on documented disabilities in the academic environment. Information on requesting accommodations is located on the Disability Services website. Contact Disability Services at 303-492-8671 or dsinfo@colorado.edu for further assistance. If you have a temporary medical condition, see Temporary Medical Conditions on the Disability Services website.

  • Preferred Student Names and Pronouns
    CU Boulder recognizes that students’ legal information doesn't always align with how they identify. Students may update their preferred names and pronouns via the student portal; those preferred names and pronouns are listed on instructors’ class rosters. In the absence of such updates, the name that appears on the class roster is the student's legal name.

  • Honor Code
    All students enrolled in a University of Colorado Boulder course are responsible for knowing and adhering to the Honor Code. Violations of the policy may include: plagiarism, cheating, fabrication, lying, bribery, threat, unauthorized access to academic materials, clicker fraud, submitting the same or similar work in more than one course without permission from all course instructors involved, and aiding academic dishonesty. All incidents of academic misconduct will be reported to the Honor Code (honor@colorado.edu); 303-492-5550). Students found responsible for violating the academic integrity policy will be subject to nonacademic sanctions from the Honor Code as well as academic sanctions from the faculty member. Additional information regarding the Honor Code academic integrity policy can be found at the Honor Code Office website.

  • Sexual Misconduct, Discrimination, Harassment and/or Related Retaliation
    The University of Colorado Boulder (CU Boulder) is committed to fostering an inclusive and welcoming learning, working, and living environment. CU Boulder will not tolerate acts of sexual misconduct (harassment, exploitation, and assault), intimate partner violence (dating or domestic violence), stalking, or protected-class discrimination or harassment by members of our community. Individuals who believe they have been subject to misconduct or retaliatory actions for reporting a concern should contact the Office of Institutional Equity and Compliance (OIEC) at 303-492-2127 or cureport@colorado.edu. Information about the OIEC, university policies, anonymous reporting, and the campus resources can be found on the OIEC website.

    Please know that faculty and graduate instructors have a responsibility to inform OIEC when made aware of incidents of sexual misconduct, dating and domestic violence, stalking, discrimination, harassment and/or related retaliation, to ensure that individuals impacted receive information about their rights, support resources, and reporting options.

  • Religious Holidays
    Campus policy regarding religious observances requires that faculty make every effort to deal reasonably and fairly with all students who, because of religious obligations, have conflicts with scheduled exams, assignments or required attendance. In this class, you should notify your instructor of any conflict at least two weeks in advance.

    See the campus policy regarding religious observances for full details.