This course is an introduction to supervisory control from a theoretical perspective aimed at graduate students in engineering. The lecture will cover the brief presentation of discrete event dynamic systems, operations on state machines, nonblocking supervisors, controllability, observability, modular control, and decentralized control.