Author: Sven Hasenfuss
Publisher:
ISBN: 9783826536212
Category :
Languages : en
Pages : 215
Book Description
Performance Analysis of (max,+)-linear Systems Via Taylor Series Expansions
Author: Sven Hasenfuss
Publisher:
ISBN: 9783826536212
Category :
Languages : en
Pages : 215
Book Description
Publisher:
ISBN: 9783826536212
Category :
Languages : en
Pages : 215
Book Description
Max-Plus Linear Stochastic Systems and Perturbation Analysis
Author: Bernd F. Heidergott
Publisher: Springer Science & Business Media
ISBN: 0387389954
Category : Computers
Languages : en
Pages : 324
Book Description
This book provides a thorough review and explanation of the theory of stochastic max-plus linear systems, which has seen rapid advances in the last decade. The coverage includes modeling issues and stability theory for stochastic max-plus systems, perturbation analysis of max-plus systems, developing a calculus for differentiation of max-plus systems. This leads to numerical evaluations of performance indices of max-plus linear stochastic systems, such as the Lyapunov exponent or waiting times.
Publisher: Springer Science & Business Media
ISBN: 0387389954
Category : Computers
Languages : en
Pages : 324
Book Description
This book provides a thorough review and explanation of the theory of stochastic max-plus linear systems, which has seen rapid advances in the last decade. The coverage includes modeling issues and stability theory for stochastic max-plus systems, perturbation analysis of max-plus systems, developing a calculus for differentiation of max-plus systems. This leads to numerical evaluations of performance indices of max-plus linear stochastic systems, such as the Lyapunov exponent or waiting times.
Lectures on Formal Methods and Performance Analysis
Author: Ed Brinksma
Publisher: Springer Science & Business Media
ISBN: 3540424792
Category : Computers
Languages : en
Pages : 438
Book Description
Traditionally, models and methods for the analysis of the functional correctness of reactive systems and those for the analysis of their performance (and dependability) aspects have been studied by different research communities. However, in modern systems the difference between their functional features and their performance properties has become blurred. During the last decade, this trend has motivated and increased interest in combining insights from the field of formal methods, traditionally focussed on functionality, with techniques from performance modeling and analysis. The 11 chapters in this book present the state of the art of research and tool development for the promising integrated approach towards modeling and analysis of functional and performance aspects of reactive systems.
Publisher: Springer Science & Business Media
ISBN: 3540424792
Category : Computers
Languages : en
Pages : 438
Book Description
Traditionally, models and methods for the analysis of the functional correctness of reactive systems and those for the analysis of their performance (and dependability) aspects have been studied by different research communities. However, in modern systems the difference between their functional features and their performance properties has become blurred. During the last decade, this trend has motivated and increased interest in combining insights from the field of formal methods, traditionally focussed on functionality, with techniques from performance modeling and analysis. The 11 chapters in this book present the state of the art of research and tool development for the promising integrated approach towards modeling and analysis of functional and performance aspects of reactive systems.
Measure-valued differentiations for finite products of measures
Author: Haralambie Leahu
Publisher: Rozenberg Publishers
ISBN: 9051709056
Category :
Languages : en
Pages : 160
Book Description
Publisher: Rozenberg Publishers
ISBN: 9051709056
Category :
Languages : en
Pages : 160
Book Description
Iterative Methods for Sparse Linear Systems
Author: Yousef Saad
Publisher: SIAM
ISBN: 0898715342
Category : Mathematics
Languages : en
Pages : 537
Book Description
Mathematics of Computing -- General.
Publisher: SIAM
ISBN: 0898715342
Category : Mathematics
Languages : en
Pages : 537
Book Description
Mathematics of Computing -- General.
Advances in Queueing Theory, Methods, and Open Problems
Author: Jewgeni H. Dshalalow
Publisher: CRC Press
ISBN: 1000949931
Category : Business & Economics
Languages : en
Pages : 530
Book Description
The progress of science and technology has placed Queueing Theory among the most popular disciplines in applied mathematics, operations research, and engineering. Although queueing has been on the scientific market since the beginning of this century, it is still rapidly expanding by capturing new areas in technology. Advances in Queueing provides a comprehensive overview of problems in this enormous area of science and focuses on the most significant methods recently developed. Written by a team of 24 eminent scientists, the book examines stochastic, analytic, and generic methods such as approximations, estimates and bounds, and simulation. The first chapter presents an overview of classical queueing methods from the birth of queues to the seventies. It also contains the most comprehensive bibliography of books on queueing and telecommunications to date. Each of the following chapters surveys recent methods applied to classes of queueing systems and networks followed by a discussion of open problems and future research directions. Advances in Queueing is a practical reference that allows the reader quick access to the latest methods.
Publisher: CRC Press
ISBN: 1000949931
Category : Business & Economics
Languages : en
Pages : 530
Book Description
The progress of science and technology has placed Queueing Theory among the most popular disciplines in applied mathematics, operations research, and engineering. Although queueing has been on the scientific market since the beginning of this century, it is still rapidly expanding by capturing new areas in technology. Advances in Queueing provides a comprehensive overview of problems in this enormous area of science and focuses on the most significant methods recently developed. Written by a team of 24 eminent scientists, the book examines stochastic, analytic, and generic methods such as approximations, estimates and bounds, and simulation. The first chapter presents an overview of classical queueing methods from the birth of queues to the seventies. It also contains the most comprehensive bibliography of books on queueing and telecommunications to date. Each of the following chapters surveys recent methods applied to classes of queueing systems and networks followed by a discussion of open problems and future research directions. Advances in Queueing is a practical reference that allows the reader quick access to the latest methods.
Applied Mechanics Reviews
Science Abstracts
Author:
Publisher:
ISBN:
Category : Electrical engineering
Languages : en
Pages : 1874
Book Description
Publisher:
ISBN:
Category : Electrical engineering
Languages : en
Pages : 1874
Book Description
Optimal Control
Author: Brian D. O. Anderson
Publisher: Courier Corporation
ISBN: 0486457664
Category : Technology & Engineering
Languages : en
Pages : 465
Book Description
Numerous examples highlight this treatment of the use of linear quadratic Gaussian methods for control system design. It explores linear optimal control theory from an engineering viewpoint, with illustrations of practical applications. Key topics include loop-recovery techniques, frequency shaping, and controller reduction. Numerous examples and complete solutions. 1990 edition.
Publisher: Courier Corporation
ISBN: 0486457664
Category : Technology & Engineering
Languages : en
Pages : 465
Book Description
Numerous examples highlight this treatment of the use of linear quadratic Gaussian methods for control system design. It explores linear optimal control theory from an engineering viewpoint, with illustrations of practical applications. Key topics include loop-recovery techniques, frequency shaping, and controller reduction. Numerous examples and complete solutions. 1990 edition.
Frequency Domain Hybrid Finite Element Methods in Electromagnetics
Author: John Volakis
Publisher: Springer Nature
ISBN: 3031016947
Category : Technology & Engineering
Languages : en
Pages : 148
Book Description
This book provides a brief overview of the popular Finite Element Method (FEM) and its hybrid versions for electromagnetics with applications to radar scattering, antennas and arrays, guided structures, microwave components, frequency selective surfaces, periodic media, and RF materials characterizations and related topics. It starts by presenting concepts based on Hilbert and Sobolev spaces as well as Curl and Divergence spaces for generating matrices, useful in all engineering simulation methods. It then proceeds to present applications of the finite element and finite element-boundary integral methods for scattering and radiation. Applications to periodic media, metamaterials and bandgap structures are also included. The hybrid volume integral equation method for high contrast dielectrics and is presented for the first time. Another unique feature of the book is the inclusion of design optimization techniques and their integration within commercial numerical analysis packages for shape and material design. To aid the reader with the method's utility, an entire chapter is devoted to two-dimensional problems. The book can be considered as an update on the latest developments since the publication of our earlier book (Finite Element Method for Electromagnetics, IEEE Press, 1998). The latter is certainly complementary companion to this one.
Publisher: Springer Nature
ISBN: 3031016947
Category : Technology & Engineering
Languages : en
Pages : 148
Book Description
This book provides a brief overview of the popular Finite Element Method (FEM) and its hybrid versions for electromagnetics with applications to radar scattering, antennas and arrays, guided structures, microwave components, frequency selective surfaces, periodic media, and RF materials characterizations and related topics. It starts by presenting concepts based on Hilbert and Sobolev spaces as well as Curl and Divergence spaces for generating matrices, useful in all engineering simulation methods. It then proceeds to present applications of the finite element and finite element-boundary integral methods for scattering and radiation. Applications to periodic media, metamaterials and bandgap structures are also included. The hybrid volume integral equation method for high contrast dielectrics and is presented for the first time. Another unique feature of the book is the inclusion of design optimization techniques and their integration within commercial numerical analysis packages for shape and material design. To aid the reader with the method's utility, an entire chapter is devoted to two-dimensional problems. The book can be considered as an update on the latest developments since the publication of our earlier book (Finite Element Method for Electromagnetics, IEEE Press, 1998). The latter is certainly complementary companion to this one.