Ara
Toplam kayıt 10, listelenen: 1-10
Decentralized control design for interconnected discrete-event systems
(Pergamon-Elsevier Science LTD, 2001)
Interconnected discrete-event systems are studied in this paper. Petri nets are used to model these systems. A decentralized controller design approach, based on overlapping decompositions, is described for such systems. ...
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 ...
Decentralized structural control approach for Petri nets
(Polish Acad Sciences Systems Research Inst, 2007)
The structural controller, described by adding the control places to the Petri nets, is introduced in this work to lead the Petri net to the desired marking vectors. An algorithm (Algorithm is developed to determine the ...
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 ...
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 ...
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 ...
A program for analysis and control of Petri nets
(IEEE, 2004)
Analysis and control algorithms are introduced for discrete-event systems which are modeled by Petri nets. A simulation and control design program is then developed to implement these algorithms. The program can simulate ...
A reversibility enforcement approach for Petri nets using invariants
(2008)
Petri net model which is one of the most common modelling method of discrete event systems, is considered to enforce reversibility in this work. Reversibility guarantees that the intial state is reachable from any state ...
Representation of the state of timed-place Petri nets using stretching
(2009)
Unlike untimed Petri nets, representation of the state of a timed Petri net and describing its evolution is not an easy task. Here, an approach, called place-stretching, is introduced to represent the state of a timed-place ...