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.
I metadati presenti in IRIS UNICA sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono protetti da diritto d'autore, salvo diversa indicazione.
