Autonomous Systems

The course aims to provide the knowledge needed to design and develop efficient driving and navigation solutions for autonomous vehicles. Driving can be strategic or tactical while navigation is the function that provides information about the position, speed and orientation of the vehicle. It is made by integrating measurement [...]

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 [...]

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 [...]

Electric Vehicle Autonomous Technologies is a dynamic and forward-looking course that covers the transformative realm of autonomous electric vehicles (AEVs). In an era where transportation is on the brink of a revolution, this course provides a setting to analyze the fusion of electric propulsion and autonomous driving. It explores [...]