Ara
Toplam kayıt 8, listelenen: 1-8
Decentralized supervisory controller design for discrete-event systems using overlapping decompositions and expansions
(Watam Press, 2004)
A decentralized supervisory controller design approach for discrete-event systems (DESs) modeled by automata or formal languages is presented. The controller is designed in order to lead the DES to certain desired marked ...
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 ...
Overlapping decompositions and expansions of Petri nets
(IEEE-Inst Electrical Electronics Engineers Inc, 2002)
Overlapping decompositions and expansions are considered to design decentralized controllers for discrete-event systems (DESs) modeled, by Petri nets. The inclusion principle for Petri nets is first defined. It is shown ...
Deadlock Avoidance Controller Design for Timed Petri Nets Using Stretching
(IEEE-Inst Electrical Electronics Engineers Inc, 2008)
The recently introduced method, which was called "stretching," is extended to timed Petri nets which may have both controllable and uncontrollable transitions. Using this method, a new Petri net, called "stretched Petri ...
Supervisory Controller Design for Timed-Place Petri Nets
(Kybernetika, 2012)
Supervisory controller design to avoid deadlock in discrete-event systems modeled by timed-place Petri nets (TPPNs) is considered. The recently introduced approach of place-stretching is utilized for this purpose. In this ...
Centralized and decentralized supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets
(Taylor & Francis LTD, 2005)
Supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets is considered. The Petri nets considered may have non-unity weight arcs and both controllable and uncontrollable transitions. ...
Decentralized Structural Controller Design for Large-Scale Discrete-Event Systems Modelled By Petri Nets
(Kybernetika, 2009)
A decentralized structural controller design approach for discrete-event systems modelled by Petri nets is presented. The approach makes use of overlapping decompositions. The given Petri net model is first overlappingly ...
Decentralized supervisory controller design to avoid deadlock in Petri nets
(Taylor & Francis LTD, 2003)
A decentralized supervisory controller design approach, using overlapping decompositions, is proposed for discrete-event systems modelled by Petri nets to avoid deadlock. In this approach, the given original Petri net is ...