摘要：AbstractDistinguishershave been used inSupervisory Control Theory(SCT) ofDiscrete Event Systems,as a way to simplify modeling tasks.Approximationscomplement 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.
关键词：KeywordsDiscrete-Event SystemsSupervisory ControlModellingControllabilityAutomatic Control
