Exploiting Approximations in Supervisory Control with Distinguishers
Marcelo Rosa, Marcelo Teixeira, Robi Malik · IFAC-PapersOnLine · 2018
Distinguishers have been used in Supervisory Control Theory (SCT) of Discrete Event Systems, as a way to simplify modeling tasks. Approximations complement this approach with an alternative to also reduce synthesis effort. Despite the advantages, supervisors obtained from approximated DES plants can be suboptimal, so that the modeling structure has to be reconstructed empirically, until the proper supervisor is found. In this paper we show how to construct suitable-approximations that always lead to least restrictive controllable synthesis. A manufacturing system example is provided to illustrate the approach.