Formal Design and Implementation of Supervisory Controller for a Didactic Manufacturing Cell
L. D. James, C. A. Teixeira, Andre Bittencourt Leal · 2019
This paper presents an application of supervisory control theory (SCT) of discrete event systems to the formal design of a controller for a didactic manufacturing cell. The local modular approach is used to synthesise the supervisors, and the obtained solution is translated to ladder diagram (LD) language. The methodology utilises a strategy to counter the choice problem and presents an approach to counter the avalanche effect, which are well-known challenges when converting SCT results into a PLC application program. The working solution is implemented successfully in the target manufacturing cell.