Konu "Discrete-Event Systems" için Bildiri Koleksiyonu listeleme
Toplam kayıt 6, listelenen: 1-6
-
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. ... -
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 ... -
Overlappingl
(IFAC Secretariat, 2002)Overlapping decompositions and expansions of discrete-event systems (DESs) modeled by automata or formal languages are considered. Inclusion principle for such systems is defined. A decentralized supervisory controller ... -
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 ... -
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 ...