Konu "Supervisory Controller Design" için Elektrik ve Elektronik Mühendisliği Bölümü listeleme
Toplam kayıt 7, listelenen: 1-7
-
Controller design to enforce boundedness, liveness and reversibility in Petri nets
(Pergamon-Elsevier Science LTD, 2003)Supervisory controller design to enforce boundedness, reversibility, and liveness in ordinary Petri nets with weighted arcs is considered. Algorithms are presented to design a controller to enforce these properties ... -
Controller design to enforce boundedness, liveness, and reversibility in Petri nets
(IFAC Secretariat, 2003)Supervisory controller design to enforce bouudedness. reversibility, and liveness in ordinary Petri nets with weighted arcs is considered. Algorithms are presented to design a controller to enforce these properties ... -
Decentralized controller design to enforce boundedness, liveness, and reversibility in Petri nets
(Institute of Electrical and Electronics Engineers Inc., 2003)Decentralized supervisory controller design based on overlapping decompositions to enforce boundedness, liveness, and reversibility is considerered for ordinary Petri nets with weighted arcs. In the proposed approach, the ... -
Supervisory controller design for timed Petri Nets
(IEEE, 2006)A method, called "stretching ", is introduced to represent timed Petri nets. Using this method, a new Petri net, called "stretched Petri net", which has only unit delays, is obtained to represent a timed-transition Petri ... -
Supervisory controller design to enforce basic properties in timed-place petri nets
(2013)Supervisory controller design to enforce boundedness, reversibility, and liveness in discrete-event systems with time-delays is considered. It is assumed that the system is modeled by a timed-place Petri net. The approach ... -
Supervisory controller design to enforce some basic properties in timed Petri nets
(2009)Supervisory controller design to enforce boundedness, reversibility, and liveness in timed Petri nets with firing durations is considered. It is assumed that both controllable and uncontrollable transitions may be present ... -
Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching
(Elsevier Sci LTD, 2012)Supervisory controller design to enforce boundedness, reversibility, and liveness in timed-transition Petri nets with firing durations is considered. It is assumed that both controllable and uncontrollable transitions may ...