Supervisory control of discrete-event systems: A brief history. (2018)