Design Autonomous Systems with Guarantee. Gain the skills to model, specify, verify, and synthesize autonomous systems with guaranteed safety

Instructor: Majid Zamani

What you'll learn

  •   Model basic autonomous systems including linear control systems, sequential circuits, and simple timed automata in a unified manner
  •   Synthesize controllers to meet safety, reachability, persistence, and recurrence specifications for finite systems using fixed-point algorithms
  •   Conduct model checking for finite systems
  •   Describe regular or omega-regular expressions, linear temporal logic formulas, and their corresponding automata representations.

    • Skills you'll gain

  •   Computational Logic
  •   Mathematical Modeling
  •   Theoretical Computer Science
  •   Automation
  •   System Requirements
  •   Artificial Intelligence
  •   Algorithms
  •   Hardware Architecture
  •   Mechanical Engineering
  •   Simulations
  •   Applied Mathematics
  •   Systems Analysis

    • Specialization - 3 course series

    Throughout the specialization, learners will complete assignments to model and analyze autonomous systems and their behaviors. In the third course of the specialization, Verification and Synthesis of Autonomous Systems, learners will have an optional, exploratory lab.

    Requirement Specifications for Autonomous Systems

    Verification and Synthesis of Autonomous Systems

    ©2025  ementorhub.com. All rights reserved