Exploiting Approximations in Supervisory Control with Distinguishers. Issue 7 (2018)

• Record Type: Journal Article
• Authors: Rosa, Marcelo; Teixeira, Marcelo; Malik, Robi
• Is Part Of: IFAC-PapersOnLine. Volume 51:Issue 7(2018)
• Page Start: 13
• Page End: 18
• Publication Date: 2018
• Subjects: Discrete-Event Systems -- Supervisory Control -- Modelling -- Controllability -- Automatic Control; Automatic control -- Periodicals; 629.805
• DOI: 10.1016/j.ifacol.2018.06.272
• Languages: English
• ISSNs: 2405-8963

Abstract

Abstract: 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.