Online Course – Google Certified Professional Internship in Autonomous Systems, University of Colorado Boulder

Design autonomous systems with assurance. Acquire the skills to model, specify, verify, and synthesize autonomous systems with assured safety.

Suggested by: Coursera (What is Coursera?)

Start your Coursera.com free trial today
קורס אונליין - התמחות מקצועית מוסמכת במערכות אוטונומיות של Google

Professional Certificate

Intermediate level

No prior knowledge required

Time to complete the course

7-day free trial

No unnecessary risks

Skills you will acquire in the course

  • Design and analysis of autonomous systems
  • Representations in state space
  • Automatic timers
  • Hybrid automata
  • Formal models of system requirements
  • Stability and attainability
  • Specifications defined by linear temporal logic formulas
  • Verification techniques such as Lyofunov theories and model testing
  • Synthesis of controllers to enforce defined features
  • Building a final abstraction and improving controls

What you will learn in the course

Courses for which the course is suitable

  • Autonomous Systems Engineer
  • Software developer in the field of autonomous systems
  • Systems Analyst
  • Controller Engineer
  • Systems Verification Specialist
  • Researcher in the field of autonomous systems
  • Smart systems designer
  • Communication Network Engineer in Autonomous Systems
  • Algorithm developer for hybrid automata
  • Expert in stability and availability in autonomous systems

The Internship – a 3-part course series

This specialization provides a comprehensive overview of the design and analysis of autonomous systems. It begins with an examination of basic components such as sensors, actuators, and communication networks, and then delves into formal models.

Course content

  • Representations in state space
  • Automatic timers
  • Hybrid automata
  • Formal models of system requirements
  • Stability and attainability
  • Specifications defined by linear temporal logic formulas
  • Verification techniques such as Lyofunov theories and model testing
  • Synthesis of controllers to enforce defined features
  • Building a final abstraction and improving controls

More information

Courses in this specialization can be taken for academic credit as part of CU Boulder’s Master of Science in Computer Science program offered on the Coursera platform. These advanced degrees offer focused courses, short 8-week sessions, and a pay-as-you-go system.

Admission to the program is based on performance in three prerequisite courses, not academic history. CU degrees on Coursera are ideal for recent graduates or working professionals.

For more information: Master’s Degree in Computer Science

Hands-on Learning Project

During the specialization, learners will perform tasks to design and analyze autonomous systems and their behaviors. In the third course in the specialization, Verification and Synthesis of Autonomous Systems, learners will be given an optional and research laboratory.

Details of the courses that make up the specialization

Autonomous systems models

Course 1 – 8 hours

What you will learn:

  • Basic models of autonomous systems, including linear control systems, series circuits, and simple automata.
  • Describe solutions and behaviors of systems.
  • Define and illustrate the relationships between systems.

Skills you will acquire:

  • Assembling systems
  • Autonomous systems models
  • Behaviors of systems

Course 2 – 10 hours

What you will learn:

  • Use formal methods to determine and verify requirements for autonomous systems.
  • Model system behaviors and verify stability using various analytical methods.
  • Apply calculation of accessibility groups and durability analysis in system design.

Skills you will acquire:

  • Regular and Regular-Omega Specifications
  • Accessibility requirements
  • Safety requirements
  • Linear Logic Specifications
  • Stability requirements

Course 3 – 10 hours

What you will learn:

  • Analyze stability properties of linear systems.
  • Calculate calculations on accessibility groups for several types of systems.
  • Perform verification for final systems.
  • Synthesize controller dynamics for safety and accessibility requirements using fixed-point algorithms.

Skills you will acquire:

  • Model testing
  • Synthesis of ultimate simplicity
  • Connections between systems
  • Synthesis using fixed points

Related products