Yazar "Wonham, WM" seçeneğine göre listele
Listeleniyor 1 - 2 / 2
Sayfa Başına Sonuç
Sıralama seçenekleri
Öğe A hybrid approach to supervisory control of discrete event systems coupling RW supervisors to Petri nets(SPRINGER LONDON LTD, 2006) Uzam, M; Wonham, WMIn this paper a hybrid approach is proposed for supervisory control of discrete event systems (DES) subject to forbidden states. Assuming that an uncontrolled bounded Petri net (PN) model of a (plant) DES and a set of forbidden state specifications are given, the proposed approach computes a maximally permissive and nonblocking closed-loop hybrid model. The first step is to simplify the given PN model by means of PN reduction rules. The simplified model and the specifications are then represented as buffers, and supervisory control theory (SCT) is applied to obtain a Ramadge-Wonham (RW) supervisor in the form of an automaton. After reduction of the latter's state size by a 'control congruence', the simplified RW supervisor is represented by a so-called auto-net and coupled to the given uncontrolled PN plant model by means of inhibitor arcs to represent the disabling actions. The plant model and supervisor auto-net run concurrently, synchronizing on shared events. This procedure provides a maximally permissive and nonblocking 'hybrid' (mixed PN/automaton) closed-loop controlled system. The method is straightforward logically, graphically, and technologically. Its applicability is shown by two examples, one of them a workcell from the PN control literature.Öğe Comments on "Feedback control logic for forbidden-state problems of marked graphs: Application to a real manufacturing system"(IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2004) Uzam, M; Wonham, WM[Abstract Not Available]
