Synthesis of Supervisors for Unknown Plant Models Using Active Learning

Paper in proceeding, 2019

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.