In 1987, Wonham and Peter Ramadge introduced supervisory control theory as a method for automatically synthesizing supervisors that restrict the behavior of a plant such that as much as possible of the given specifications are fulfilled.