University of Colorado Boulder - Modeling of Autonomous Systems
- Offered byCoursera
Modeling of Autonomous Systems at Coursera Overview
Duration | 8 hours |
Start from | Start Now |
Total fee | Free |
Mode of learning | Online |
Official Website | Explore Free Course |
Credential | Certificate |
Modeling of Autonomous Systems at Coursera Highlights
- Earn a certificate from Coursera
- Add to your LinkedIn profile
- 6 assignments
Modeling of Autonomous Systems at Coursera Course details
- Model basic autonomous systems including linear control systems, sequential circuits, and simple timed automata in a unified fashion
- Describe solutions and behaviors of systems
- Define and illustrate interconnections between system
- 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
Modeling of Autonomous Systems at Coursera Curriculum
Course Introduction
Meet Your Instructor!
Outline of Specialization
Introduction to Course 1
Earn Academic Credit for your Work!
Course Support
Important Prerequisites
Notice for Degree-Seeking Learners
Logistics: Important Information about Course Assignments and Final Exam
Logistics: Lecture Slides, Textbook, and Readings
Overview of Module 1
Ariane Flight V88
Foundations of Autonomous Systems Modeling
System's Definition and Its State Diagram
Modeling Sequential Circuits As Systems
Modeling Labeled Transition Systems As Systems
Overview of Module 2
Assignment 1: Turnstile Entry
Assignment 2: Sequential Circuit
Modeling Physical Systems and Hybrid Systems
Modeling Translational Mechanical Systems
Modeling Rotational Mechanical Systems
Modeling Analog Circuits
Modeling Example: Electric Passive Filter
Modeling Example: Cart With iInverted pPendulum
Modeling Sample-and-Hold Linear Systems As Systems
Timed Automata: Syntax
Timed Automata: Semantics
Hybrid Automata
Overview of Module 3
Assignment 3: Vending Machine
Assignment 4: Robot
Systems' Behaviors and Composition
Systems' Solutions and Behaviours
System Composition: Parallel Composition
System Composition: Serial Composition
System Composition: Feedback Composition
Overview of Module 4
Assignment 5: The finite behavior of the basic system S
Assignment 6: Traffic Light