Synthesis of Supervisors for Unknown Plant Models Using Active Learning

This paper proposes an approach to synthesize a discrete-event supervisor to control a plant, the behavior model of which is unknown, so as to satisfy a given specification. To this end, the L* algorithm is modified so that it can actively query a plant simulation and the specification to hypothesize a supervisor. The resulting hypothesis is the maximally permissive controllable supervisor from which the maximally permissive controllable and non-blocking supervisor can be extracted. The practicality of this method is demonstrated by an example.