Modeling of Autonomous Systems

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 …