LAGRANGE STABILITY AND BOUNDEDNESS OF DISCRETE-EVENT SYSTEMS

被引：34

作者：

PASSINO, KM ^{[1
]}

BURGESS, KL ^{[1
]}

MICHEL, AN ^{[1
]}

机构：

[1] UNIV NOTRE DAME,DEPT ELECT ENGN,NOTRE DAME,IN 46556

来源：

DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS | 1995年 / 5卷 / 04期

关键词：

DISCRETE EVENT SYSTEMS; STABILITY; BOUNDEDNESS; PETRI NETS; MANUFACTURING SYSTEMS;

D O I：

10.1007/BF01439154

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Recently it has been shown that the conventional notions of stability in the sense of Lyapunov and asymptotic stability can be used to characterize the stability properties of a class of ''logical'' discrete event systems (DES). Moreover, it has been shown that stability analysis via the choice of appropriate Lyapunov functions can be used for DES and can be applied to several DES applications including manufacturing systems and computer networks (Passino et al. 1994, Burgess and Passino 1994). In this paper we extend the conventional notions and analysis of uniform boundedness, uniform ultimate boundedness, practical stability, finite time stability, and Lagrange stability so that they apply to the class of logical DES that can be defined on a metric space. Within this stability-theoretic framework we show that the standard Petri net-theoretic notions of boundedness are special cases of Lagrange stability and uniform boundedness. In addition we show that the Petri net-theoretic approach to boundedness analysis is actually a Lyapunov approach in that the net-theoretic analysis actually produces an appropriate Lyapunov function. Moreover, via the Lyapunov approach we provide a sufficient condition for the uniform ultimate boundedness of General Petri nets. To illustrate the Petri net results, we study the boundedness properties of a rate synchronization network for manufacturing systems. In addition, we provide a detailed analysis of the Lagrange stability of a single-machine manufacturing system that uses a priority-based part servicing policy.

引用

页码：383 / 403

页数：21

共 24 条

[11] QUANTITATIVE ANALYSIS OF SIMPLE AND INTERCONNECTED SYSTEMS - STABILITY, BOUNDEDNESS, AND TRAJECTORY BEHAVIOR
MICHEL, AN
[J]. IEEE TRANSACTIONS ON CIRCUIT THEORY, 1970, CT17 (03): : 292 - +
[12] MICHEL AN, 1992, PROCEEDINGS OF THE 31ST IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, P731, DOI 10.1109/CDC.1992.371631
[13] MICHEL AN, 1977, QUALITATIVE ANAL LAR
[14] MURATA T, 1989, P IEEE APR, P541
[15] OZVEREN CM, 1991, J ACM, V38, P730, DOI 10.1145/116825.116855
[16] Passino K. M., 1991, Proceedings of the 1991 American Control Conference (IEEE Cat. No. 91CH2939-7), P2911
[17] Passino K. M., 1992, Proceedings of the 1992 American Control Conference (IEEE Cat. No.92CH3072-6), P3201
[18] LYAPUNOV STABILITY OF A CLASS OF DISCRETE-EVENT SYSTEMS
PASSINO, KM
MICHEL, AN
ANTSAKLIS, PJ
[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1994, 39 (02) : 269 - 279
[19] PASSINO KM, 1990, 28TH P ALL C COMM CO, P487
[20] STABLE, DISTRIBUTED, REAL-TIME SCHEDULING OF FLEXIBLE MANUFACTURING ASSEMBLY DISASSEMBLY SYSTEMS
PERKINS, JR
KUMAR, PR
[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1989, 34 (02) : 139 - 148

← 1 2 3 →