Synthesis of feedback control logic for a class of controlled Petri nets

Holloway, L.E.; Krogh, Bruce H.

doi:10.1109/9.53517

Cited by 317 publications

(142 citation statements)

References 10 publications

Supporting

Mentioning

132

Contrasting

Unclassified

Order By: Relevance

“…A model of a flexible manufacturing cell was introduced in [38]. The cell consists of three workstations, two input stations and one output station and five AGVs, each one responsible to route some parts through the cell by following certain paths.…”

Section: ) Automated Guided Vehicles (Agvs)mentioning

confidence: 99%

A BDD-Based Approach for Modeling Plant and Supervisor by Extended Finite Automata

Miremadi

Lennartson

Åkesson

2012

IEEE Trans. Contr. Syst. Technol.

View full text Add to dashboard Cite

Abstract-In this paper, we settle some problems that are encountered when modeling and synthesizing complex industrial systems by the supervisory control theory. First, modeling such huge systems with explicit state-transition models typically results in an intractable model. An alternative modeling approach is to use extended finite automata (EFAs), which is an augmentation of ordinary automata with variables. The main advantage of utilizing EFAs for modeling is that more compact models are obtained. The second problem concerns the ease to understand and implement the supervisor. To handle this problem, we represent the supervisor in a modular manner by extending the original EFAs by compact conditional expressions. This will provide a framework for the users where they can both model their system and obtain the supervisor in form of EFAs. In order to be able to handle complex systems efficiently, the models are symbolically represented by binary decision diagrams (BDDs). All computations that are performed in this framework are based on BDD operations. The framework has been implemented in a supervisory control tool and applied to industrially relevant benchmark problems.Index Terms-Binary decision diagrams (BDDs), extended finite automata (EFA), supervisor representation, supervisory control theory (SCT), symbolic representation.

show abstract

Section: ) Automated Guided Vehicles (Agvs)mentioning

confidence: 99%

A BDD-Based Approach for Modeling Plant and Supervisor by Extended Finite Automata

Miremadi

Lennartson

Åkesson

2012

IEEE Trans. Contr. Syst. Technol.

View full text Add to dashboard Cite

show abstract

“…Outras abordagens no contexto das RP (Holloway and Krogh, 1990) comparam a abordagem por invariantes de lugar com o tipo de restrição mais genérica que pode ser definida sobre o conjunto de marcações de um sistema. Foi observado que nem sempre existe um invariante de lugar equivalente a uma restrição de marcações proibidas.…”

Section: Método Dos Invariantes De Lugarunclassified

Restrições de controle sobre cores decompostas: uma proposta no controle supervisório de sistemas a eventos discretos utilizando redes de Petri coloridas

Menezes

Barroso

Prata

2012

Sba Controle & Automação

View full text Add to dashboard Cite

Control Restrictions on Decomposed Colors: An Approach for Supervisory Control of Discrete Event Systems Using Colored Petri Nets This paper presents the mathematical proof of the method for the synthesis of supervisors called Constraint of Control on Decomposed Colors, which is based on concepts of Supervisory Control Theory, using as main tool the coloured Petri nets to model systems discrete event, in order to find supervisors that meet those systems subject to constraints. By extension, it is proposed a method to reduce the number of controllers called Fusion of Controllers.

show abstract

“…The main researches of supervisory control theory are divided into several classic problems based on Petri nets, that is, forbidden-state problems [26,27], forbidden-string problems [28,29], deadlock prevention problem [30], and liveness maintenance problems [31,32]. The deadlock prevention problems and liveness maintenance problems can be transformed to forbidden-state problems directly [33,34].…”

Section: Introductionmentioning

confidence: 99%

An Enhanced Supervisory Control Strategy for Periodicity Mutual Exclusions in Discrete Event Systems Based on Petri Nets

Jiang¹,

Wang²,

Chen³

et al. 2017

Discrete Dynamics in Nature and Society

View full text Add to dashboard Cite

Mutual exclusion problems widely exist in discrete event systems in which several processes will compete for the common resource for maintaining their normal running. This competition is mutually exclusive. However, a special behavior, that is, periodic mutual exclusion behavior, is important for many discrete event systems. Once a process obtains the common resource, it will consecutively obtain the common resource in the following several competitions. The other processes should wait for the release of the common resource. All processes will compete for the common resource again after the common resource is released. These competitions have obvious periodicity. In this paper, a methodology is proposed to design periodic mutual exclusion supervisors to control the periodic mutual exclusion behavior in discrete event systems. Moreover, two original structural conversion concepts, called -derivation and -convergence processes, are proposed to construct the periodic mutual exclusion supervisors. The discussion results show that many undesirable execution sequences are forbidden since the periodic mutual exclusion behavior is controlled by the proposed periodic mutual exclusion supervisors. Finally, an example is used to illustrate the proposed methodology.

show abstract

Synthesis of feedback control logic for a class of controlled Petri nets

Cited by 317 publications

References 10 publications

A BDD-Based Approach for Modeling Plant and Supervisor by Extended Finite Automata

A BDD-Based Approach for Modeling Plant and Supervisor by Extended Finite Automata

Restrições de controle sobre cores decompostas: uma proposta no controle supervisório de sistemas a eventos discretos utilizando redes de Petri coloridas

An Enhanced Supervisory Control Strategy for Periodicity Mutual Exclusions in Discrete Event Systems Based on Petri Nets

Contact Info

Product

Resources

About