Foundations of Autonomous Systems
Offered By: University of Colorado Boulder via Coursera
Course Description
Overview
This specialization provides a comprehensive overview of designing and analyzing autonomous systems. It begins with an examination of fundamental components like sensors, actuators, and communication networks, then delves into formal modeling frameworks such as state-space representations, timed automata, and hybrid automata. Then formal modeling of system requirements, including stability, reachability, and specifications framed by linear temporal logic formulas is discussed. Verification techniques such as Lyapunov theories and model checking are explored, followed by a segment on synthesizing controllers to enforce specified properties, employing techniques like finite abstraction construction and controller refinement.
Courses in this specialization 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
Syllabus
Course 1: Modeling of Autonomous Systems
- Offered by University of Colorado Boulder. This course will explain the core structure in any autonomous system which includes sensors, ... Enroll for free.
Course 2: Requirement Specifications for Autonomous Systems
- Offered by University of Colorado Boulder. This course will discuss different ways of formally modeling requirements of interest for ... Enroll for free.
Course 3: Verification and Synthesis of Autonomous Systems
- Offered by University of Colorado Boulder. This course will provide different techniques on the verification of autonomous systems against ... Enroll for free.
- Offered by University of Colorado Boulder. This course will explain the core structure in any autonomous system which includes sensors, ... Enroll for free.
Course 2: Requirement Specifications for Autonomous Systems
- Offered by University of Colorado Boulder. This course will discuss different ways of formally modeling requirements of interest for ... Enroll for free.
Course 3: Verification and Synthesis of Autonomous Systems
- Offered by University of Colorado Boulder. This course will provide different techniques on the verification of autonomous systems against ... Enroll for free.
Courses
-
This course will explain 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 or differential equations), timed automata, hybrid automata, and in general transition systems. It will describe solutions and behaviors of systems and different interconnections between systems. 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
-
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
-
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. This course can be taken for academic credit as part of CU Boulder’s Masters of Science in Computer Science (MS-CS) degrees offered on the Coursera platform. This fully accredited graduate degree 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
Taught by
Majid Zamani
Tags
Related Courses
Graphene Science and TechnologyChalmers University of Technology via edX Programming Mobile Applications for Android Handheld Systems: Part 2
University of Maryland, College Park via Coursera Electrones en Acción: Electrónica y Arduinos para tus propios Inventos
Pontificia Universidad Católica de Chile via Coursera Industrial Automation And Control
Indian Institute of Technology, Kharagpur via Swayam Redes de difracción en comunicaciones ópticas
Universitat Politècnica de València via edX