Loading…
A sufficient condition for instability of buffer priority policies in re-entrant lines
We use a buffer-boundedness approach to study the stability of re-entrant lines with a buffer priority scheduling policy. Using Petri net models we establish a sufficient condition for instability of such systems having a positive feedback loop. An example of unstable systems is also given.
Saved in:
Published in: | IEEE transactions on automatic control 2003-07, Vol.48 (7), p.1235-1238 |
---|---|
Main Authors: | , , , , |
Format: | Article |
Language: | English |
Subjects: | |
Citations: | Items that this one cites Items that cite this one |
Online Access: | Get full text |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Summary: | We use a buffer-boundedness approach to study the stability of re-entrant lines with a buffer priority scheduling policy. Using Petri net models we establish a sufficient condition for instability of such systems having a positive feedback loop. An example of unstable systems is also given. |
---|---|
ISSN: | 0018-9286 1558-2523 |
DOI: | 10.1109/TAC.2003.814268 |