Synthesis of feedback control logic for discrete manufacturing systems

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

doi:10.1016/0005-1098(91)90055-7

Cited by 188 publications

(78 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…1 we have ∆ = 7. The optimal monitor can be computed solving ILP (6). It results to be p c2 with a control cost ∆ * = 3.…”

Section: St Y ∈ F(y)mentioning

confidence: 99%

“…In this paper we consider discrete event systems modeled by Petri nets (PN) and address the problem of enforcing forbidden state specifications represented by generalized mutual exclusion constraints (GMEC) [5,6,8]. A GMEC (l, k) limits the weighted sum of tokens in a subset of places and defines a set of legal markings M(l, k) = {m ∈ N m | l · m ≤ k}.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

An Optimization Approach to Petri Net Monitor Design

Basile

Chiacchio

Giua

2007

IEEE Trans. Automat. Contr.

View full text Add to dashboard Cite

This paper addresses the problem of enforcing generalized mutual exclusion constraints on a Petri net plant. Firstly, we replace the classical partition of the event set into controllable and uncontrollable events from supervisory control theory, by associating a control and observation cost to each event. This leads naturally to formulate the supervisory control problem as an optimal control problem. Monitor places which enforce the constraint are devised as a solution of an integer linear programming problem whose objective function is expressed in terms of the introduced costs. Secondly, we consider timed models for which the monitor choice may lead to performance optimization. If the plant net belongs to the class of mono-T-semiflow nets, we present an integer linear fractional programming approach to synthesize the optimal monitor so as to minimize the cycle time lower bound of the closed loop net. For strongly connected marked graphs the cycle time of the closed loop net can be minimized.

show abstract

“…1 we have ∆ = 7. The optimal monitor can be computed solving ILP (6). It results to be p c2 with a control cost ∆ * = 3.…”

Section: St Y ∈ F(y)mentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

An Optimization Approach to Petri Net Monitor Design

Basile

Chiacchio

Giua

2007

IEEE Trans. Automat. Contr.

View full text Add to dashboard Cite

show abstract

“…The Petri net based synthesis methods tend to exploit the net structure thus reducing the need to search over the whole state space. Some recent contributions on the Petri net based supervisory control can be found in (Giua and DiCesare, 1992;Krogh and Holloway, 1991;Moody and Antsaklis, 1996;Yamalidou et. al., 1996;Zhou et.…”

Section: Petri Nets and Sfcmentioning

confidence: 99%

“…Therefore in the traditional supervisory control framework (Ramadge and Wonham, 1989) the complexity of enforcing desired properties is enhanced by the presence of uncontrollable transitions. Different approaches based on Petri net models and which also consider the problem of uncontrollable transitions are given in (Giua, 1992;Krogh, 1991;Yamalidou, 1996). The last approach Yamalidou, 1996) is based on place invariants and is particularly interesting, because the resulting supervisory mechanism is computed very easily.…”

Section: Supervisory Control Synthesismentioning

confidence: 99%

Petri Net Based Supervisory Control of Flexible Batch Plants

Mušič¹,

Matko²

1998

IFAC Proceedings Volumes

View full text Add to dashboard Cite

The application of supervisory control concepts in the control of batch process plants is investigated in the paper. Supervisory control issues in flexible batch plants include co-ordination, resource allocation and process management. The paper utilises the Petri net based supervisory control framework to develop appropriate solutions. A straightforward approach of translating developed Petri net models to industrial implementation by sequential function charts is presented. The described concepts are illustrated by a simple resource allocation problem in a batch process cell.

show abstract

“…Pioneer applications of the Petri nets (PN) supervisory control in fault detection have been developed that consider faults as forbidden states (Krogh, et al,1991). The observation of the state was further investigated in order to design controllers with forbidden marking specifications (Giua, et al,.…”

Section: Introductionmentioning

confidence: 99%

Diagnosis With Causality Relationships and Directed Paths in Pn Models

Lefebvre

Delherm

2005

IFAC Proceedings Volumes

View full text Add to dashboard Cite

Petri nets are a suitable tool for the diagnosis of discrete event systems. For this purpose, faulty behaviours are modelled by the firing of failure transitions. This paper is about structural sensitivity in Petri net with respect to the firing of the failure transitions. Algebraic results are provided to characterise the influence and dependence areas of the failure transitions and diagnosability of the systems is obtained as a consequence. The main advantage of our approach is to investigate the diagnosability without working out the marking tree of the diagnoser.

show abstract

Synthesis of feedback control logic for discrete manufacturing systems

Cited by 188 publications

References 7 publications

An Optimization Approach to Petri Net Monitor Design

An Optimization Approach to Petri Net Monitor Design

Petri Net Based Supervisory Control of Flexible Batch Plants

Diagnosis With Causality Relationships and Directed Paths in Pn Models

Contact Info

Product

Resources

About