Skip to:Content
|
Bottom
Cover image for Max-Plus linear stochastic systems and perturbation analysis
Title:
Max-Plus linear stochastic systems and perturbation analysis
Personal Author:
Series:
The international series on discrete event dynamic systems ; 15
Publication Information:
New York, NY : Springer, 2006
ISBN:
9780387352060

Available:*

Library
Item Barcode
Call Number
Material Type
Item Category 1
Status
Searching...
30000010159672 QA402.37 H44 2006 Open Access Book Book
Searching...

On Order

Summary

Summary

During the last decade, the area of stochastic max-plus linear systems has witnessed a rapid development, which created a growing interest in this area. This book provides a thorough treatment of the theory of stochastic max-plus linear systems. Max-plus algebra is an algebraic approach to discrete event systems (DES), like queuing networks that are prone to synchronization. Perturbation analysis studies the sensitivity of the performance of DES with respect to changes in a particular system parameter.

The first part of the book addresses modeling issues and stability theory for stochastic max-plus systems. The second part of the book treats perturbation analysis of max-plus systems: a calculus for differentiation of max-plus systems is developed. This calculus leads to numerical evaluations of performance indices of max-plus linear stochastic systems, such as the Lyapunov exponent or waiting times.


Table of Contents

Prefacep. V
I Max-Plus Algebrap. 1
1 Max-Plus Linear Stochastic Systemsp. 3
1.1 The Max-Plus Algebrap. 3
1.2 Heap of Piecesp. 7
1.3 The Projective Spacep. 10
1.4 Petri Netsp. 10
1.4.1 Basic Definitionsp. 10
1.4.2 The Max-Plus Recursion for Firing Timesp. 12
1.4.3 Autonomous Systems and Irreducible Matricesp. 15
1.4.4 The Max-Plus Recursion for Waiting Times in Non-Autonomous Event Graphsp. 17
1.5 Queueing Systemsp. 20
1.5.1 Queueing Networksp. 21
1.5.2 Examples of Max-Plus Linear Systemsp. 24
1.5.3 Sample Path Dynamicsp. 30
1.5.4 Invariant Queueing Networksp. 44
1.5.5 Condition (A) Revisitedp. 46
1.5.6 Beyond Fixed Support: Patternsp. 48
1.6 Bounds and Metricsp. 49
1.6.1 Real-Valued Upper Bounds for Semiringsp. 49
1.6.2 General Upper Bounds over the Max-Plus Semiringp. 51
1.6.3 The Max-Plus Semiring as a Metric Spacep. 54
2 Ergodic Theoryp. 59
2.1 Deterministic Limit Theoryp. 60
2.2 Subadditive Ergodic Theoryp. 66
2.2.1 The Irreducible Casep. 71
2.2.2 The Reducible Casep. 75
2.2.3 Variations and Extensionsp. 80
2.3 Stability Analysis of Waiting Timesp. 86
2.4 Harris Recurrencep. 93
2.5 Limits in the Projective Spacep. 99
2.5.1 Countable Modelsp. 100
2.5.2 General Modelsp. 102
2.5.3 Periodic Regimes of Deterministics Max-Plus DESp. 105
2.5.4 The Cycle Formulap. 106
2.6 Lyapunov Exponents via Second Order Limitsp. 107
2.6.1 The Projective Spacep. 108
2.6.2 Backward Couplingp. 111
II Perturbation Analysisp. 117
3 A Max-Plus Differential Calculusp. 119
3.1 Measure-Valued Differentiationp. 120
3.2 The Space C[subscript p]p. 128
3.3 D-Derivatives of Random Matricesp. 132
3.4 An Algebraic Tool for D-Derivativesp. 136
3.5 Rules for C[subscript p]-Differentiation of Random Matricesp. 141
3.6 Max-Plus Gradient Estimatorsp. 146
3.6.1 Homogeneous Recurrence Relationsp. 147
3.6.2 Inhomogeneous Recurrence Relationsp. 149
4 Higher-Order D-Derivativesp. 151
4.1 Higher Order D-Derivativesp. 151
4.2 Higher Order Differentiation in C[subscript p]-Spacesp. 159
4.3 Higher-Order D-Differentiation on M[superscript IXJ]p. 162
4.4 Rules of C[subscript p]-Differentiationp. 165
4.5 D-Analyticityp. 170
4.6 D-Analyticity on M[superscript IxJ]p. 174
5 Taylor Series Expansionsp. 179
5.1 Finite Horizon Experimentsp. 180
5.1.1 The General Resultp. 180
5.1.2 Analyticity of Waiting Timesp. 183
5.1.3 Variability Expansionsp. 186
5.2 Random Horizon Experimentsp. 201
5.2.1 The 'Halted' Max-Plus Systemp. 202
5.2.2 The Time Until Two Successive Breakdownsp. 222
5.3 The Lyapunov Exponentp. 229
5.3.1 Analytic Expansion of the Lyapunov Exponentp. 230
5.3.2 The Bernoulli Schemep. 236
5.3.3 A Note on the Elements of the Taylor Series for the Bernoulli Systemp. 240
5.4 Stationary Waiting Timesp. 243
5.4.1 Cycles of Waiting Timesp. 245
5.4.2 Light Traffic Approximationp. 255
Appendixp. 264
A Basic Algebrap. 265
B A Network with Breakdownsp. 267
C Bounds on the Moments of the Binomial Distributionp. 271
D The Shifted Negative Binomial Distributionp. 273
E Probability Theoryp. 275
E.1 Measuresp. 275
E.2 Polish Spacesp. 277
E.3 The Shift-Operatorp. 278
E.4 Types of convergencep. 279
E.4.1 Almost Sure Convergencep. 279
E.4.2 Convergence in Probabilityp. 279
E.4.3 Convergence in Distribution (Weak Convergence)p. 280
E.4.4 Convergence in Total Variationp. 280
E.4.5 Weak Convergence and Transformationsp. 280
E.5 Weak Convergence and Norm Convergencep. 281
E.6 Couplingp. 285
E.6.1 Coupling Convergencep. 285
E.6.2 Strong Coupling Convergence and Goldstein's Maximal Couplingp. 285
E.6.3 [Delta]-Couplingp. 286
E.7 The Dominated Convergence Theoremp. 286
E.8 Wald's Equalityp. 287
E.9 Regenerative Processesp. 287
F Markov Chainsp. 289
G Tools from analysisp. 291
G.1 Cesaro limitsp. 291
G.2 Lipschitz and Uniform Continuityp. 291
G.3 Interchanging Limit and Differentiationp. 292
G.4 Taylor Series Expansionsp. 293
G.5 Combinatorial Aspects of Derivativesp. 296
H Appendix to Section 5.1.3.2p. 299
Bibliographyp. 301
List of Symbolsp. 309
List of Assumptionsp. 313
Indexp. 315
Go to:Top of Page