Supervisory control of manufacturing systems using Petri nets
SEATZU, CARLA;
2014-01-01
Abstract
The pioneering work of Ramadge and Wonham [22] on the existence and synthesis of controller for discrete event systems (DES) used finite state automata and formal languages to model the plant. A DES G is considered as a language generator whose behaviour is the language denoted L(G).Given 260a legal language L, the basic control problem is to design a supervisor that restricts the closed loop behaviour of the plant to L ∩ L (G). Although the Ramadge–Wonham approach is very general, the lack of structure in controlled automata models limits the possibilities of developing computationally efficient algorithms for analysis and synthesis.Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.