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.
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.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
