Foundations of Autonomous Systems Specialization

Design Autonomous Systems with Guarantee. Gain the skills to model, specify, verify, and synthesize autonomous systems with guaranteed safety
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.