Author: L. Breuer
Publisher: Springer Science & Business Media
ISBN: 9401002398
Category : Mathematics
Languages : en
Pages : 165
Book Description
From Markov Jump Processes to Spatial Queues aims to develop a unified theory of spatial queues that yields concrete results for the performance analysis of mobile communication networks. A particular objective is to develop the most natural generalization of existing concepts (e.g. the BMAP) toward the needs of mobile communication networks. To these belong the spatial distribution of batch arrivals and users in the system as well as time-inhomogeneous (e.g. periodic) arrival intensities and user movements. One of the major recent challenges for the stochastic modelling of communication systems is the emergence of wireless networks, which are used by more and more subscribers today. The main new feature of those, which is not covered by classical queuing theory, clearly is the importance of the user location within the area that is served by the base stations of the network. In the framework of queuing theory, this opens up the natural extension of classical queuing models towards queues with a structured space in which users are served. The present book is intended to introduce this extension under the name of spatial queues. The main point of view and the general approach will be that of Markov jump processes. We start with a closer look into the theory. Then we present new results for the theory of stochastic processes as well as for classical queuing theory. Finally we introduce the new concepts of spatial Markovian arrival processes and spatial queues. The main text is divided into three parts. The first part provides a new presentation of the theory of Markov jump processes. We derive a number of new results, especially for time-inhomogeneous processes, which have been neglected too much in the current textbooks on stochastic processes. For the first time, the class of Markov-additive jump processes is analysed in detail. This extends and unifies all Markovian arrival processes that have been proposed up to now (including arrivals for fluid queues) and provides a foundation for the subsequent introduction of spatial Markovian arrival processes. The second part contains new results for classical queues with BMAP input. These include the first explicit formulae for the distribution of periodic queues. The class of fluid Markovian arrival processes is introduced, and we give statistical estimates for the parameters of a BMAP. In the third part, the concepts of spatial Markovian arrival processes (abbreviated: SMAPs) and spatial queues are introduced. After that, periodic spatial Markovian queues are analysed as a model for the cells of a wireless communication network. From Markov Jump Processes to Spatial Queues is intended to reach queuing theorists, researchers in the field of communication systems, as well as engineers with some background in probability theory. Furthermore, it is suitable as a textbook for advanced queuing theory on the graduate or post-graduate level.
From Markov Jump Processes to Spatial Queues
Author: L. Breuer
Publisher: Springer Science & Business Media
ISBN: 9401002398
Category : Mathematics
Languages : en
Pages : 165
Book Description
From Markov Jump Processes to Spatial Queues aims to develop a unified theory of spatial queues that yields concrete results for the performance analysis of mobile communication networks. A particular objective is to develop the most natural generalization of existing concepts (e.g. the BMAP) toward the needs of mobile communication networks. To these belong the spatial distribution of batch arrivals and users in the system as well as time-inhomogeneous (e.g. periodic) arrival intensities and user movements. One of the major recent challenges for the stochastic modelling of communication systems is the emergence of wireless networks, which are used by more and more subscribers today. The main new feature of those, which is not covered by classical queuing theory, clearly is the importance of the user location within the area that is served by the base stations of the network. In the framework of queuing theory, this opens up the natural extension of classical queuing models towards queues with a structured space in which users are served. The present book is intended to introduce this extension under the name of spatial queues. The main point of view and the general approach will be that of Markov jump processes. We start with a closer look into the theory. Then we present new results for the theory of stochastic processes as well as for classical queuing theory. Finally we introduce the new concepts of spatial Markovian arrival processes and spatial queues. The main text is divided into three parts. The first part provides a new presentation of the theory of Markov jump processes. We derive a number of new results, especially for time-inhomogeneous processes, which have been neglected too much in the current textbooks on stochastic processes. For the first time, the class of Markov-additive jump processes is analysed in detail. This extends and unifies all Markovian arrival processes that have been proposed up to now (including arrivals for fluid queues) and provides a foundation for the subsequent introduction of spatial Markovian arrival processes. The second part contains new results for classical queues with BMAP input. These include the first explicit formulae for the distribution of periodic queues. The class of fluid Markovian arrival processes is introduced, and we give statistical estimates for the parameters of a BMAP. In the third part, the concepts of spatial Markovian arrival processes (abbreviated: SMAPs) and spatial queues are introduced. After that, periodic spatial Markovian queues are analysed as a model for the cells of a wireless communication network. From Markov Jump Processes to Spatial Queues is intended to reach queuing theorists, researchers in the field of communication systems, as well as engineers with some background in probability theory. Furthermore, it is suitable as a textbook for advanced queuing theory on the graduate or post-graduate level.
Publisher: Springer Science & Business Media
ISBN: 9401002398
Category : Mathematics
Languages : en
Pages : 165
Book Description
From Markov Jump Processes to Spatial Queues aims to develop a unified theory of spatial queues that yields concrete results for the performance analysis of mobile communication networks. A particular objective is to develop the most natural generalization of existing concepts (e.g. the BMAP) toward the needs of mobile communication networks. To these belong the spatial distribution of batch arrivals and users in the system as well as time-inhomogeneous (e.g. periodic) arrival intensities and user movements. One of the major recent challenges for the stochastic modelling of communication systems is the emergence of wireless networks, which are used by more and more subscribers today. The main new feature of those, which is not covered by classical queuing theory, clearly is the importance of the user location within the area that is served by the base stations of the network. In the framework of queuing theory, this opens up the natural extension of classical queuing models towards queues with a structured space in which users are served. The present book is intended to introduce this extension under the name of spatial queues. The main point of view and the general approach will be that of Markov jump processes. We start with a closer look into the theory. Then we present new results for the theory of stochastic processes as well as for classical queuing theory. Finally we introduce the new concepts of spatial Markovian arrival processes and spatial queues. The main text is divided into three parts. The first part provides a new presentation of the theory of Markov jump processes. We derive a number of new results, especially for time-inhomogeneous processes, which have been neglected too much in the current textbooks on stochastic processes. For the first time, the class of Markov-additive jump processes is analysed in detail. This extends and unifies all Markovian arrival processes that have been proposed up to now (including arrivals for fluid queues) and provides a foundation for the subsequent introduction of spatial Markovian arrival processes. The second part contains new results for classical queues with BMAP input. These include the first explicit formulae for the distribution of periodic queues. The class of fluid Markovian arrival processes is introduced, and we give statistical estimates for the parameters of a BMAP. In the third part, the concepts of spatial Markovian arrival processes (abbreviated: SMAPs) and spatial queues are introduced. After that, periodic spatial Markovian queues are analysed as a model for the cells of a wireless communication network. From Markov Jump Processes to Spatial Queues is intended to reach queuing theorists, researchers in the field of communication systems, as well as engineers with some background in probability theory. Furthermore, it is suitable as a textbook for advanced queuing theory on the graduate or post-graduate level.
An Introduction to Queueing Theory
Author: L. Breuer
Publisher: Springer Science & Business Media
ISBN: 1402036310
Category : Mathematics
Languages : en
Pages : 274
Book Description
The present textbook contains the recordsof a two–semester course on que- ing theory, including an introduction to matrix–analytic methods. This course comprises four hours oflectures and two hours of exercises per week andhas been taughtattheUniversity of Trier, Germany, for about ten years in - quence. The course is directed to last year undergraduate and?rst year gr- uate students of applied probability and computer science, who have already completed an introduction to probability theory. Its purpose is to present - terial that is close enough to concrete queueing models and their applications, while providing a sound mathematical foundation for the analysis of these. Thus the goal of the present book is two–fold. On the one hand, students who are mainly interested in applications easily feel bored by elaborate mathematical questions in the theory of stochastic processes. The presentation of the mathematical foundations in our courses is chosen to cover only the necessary results, which are needed for a solid foundation of the methods of queueing analysis. Further, students oriented - wards applications expect to have a justi?cation for their mathematical efforts in terms of immediate use in queueing analysis. This is the main reason why we have decided to introduce new mathematical concepts only when they will be used in the immediate sequel. On the other hand, students of applied probability do not want any heur- tic derivations just for the sake of yielding fast results for the model at hand.
Publisher: Springer Science & Business Media
ISBN: 1402036310
Category : Mathematics
Languages : en
Pages : 274
Book Description
The present textbook contains the recordsof a two–semester course on que- ing theory, including an introduction to matrix–analytic methods. This course comprises four hours oflectures and two hours of exercises per week andhas been taughtattheUniversity of Trier, Germany, for about ten years in - quence. The course is directed to last year undergraduate and?rst year gr- uate students of applied probability and computer science, who have already completed an introduction to probability theory. Its purpose is to present - terial that is close enough to concrete queueing models and their applications, while providing a sound mathematical foundation for the analysis of these. Thus the goal of the present book is two–fold. On the one hand, students who are mainly interested in applications easily feel bored by elaborate mathematical questions in the theory of stochastic processes. The presentation of the mathematical foundations in our courses is chosen to cover only the necessary results, which are needed for a solid foundation of the methods of queueing analysis. Further, students oriented - wards applications expect to have a justi?cation for their mathematical efforts in terms of immediate use in queueing analysis. This is the main reason why we have decided to introduce new mathematical concepts only when they will be used in the immediate sequel. On the other hand, students of applied probability do not want any heur- tic derivations just for the sake of yielding fast results for the model at hand.
Information Technologies and Mathematical Modelling. Queueing Theory and Applications
Author: Alexander Dudin
Publisher: Springer
ISBN: 3319975951
Category : Computers
Languages : en
Pages : 411
Book Description
This book constitutes the proceedings of the 17th International Conference on Information Technologies and Mathematical Modelling, ITMM 2018, named after A.F. Terpugov, and the 12th Workshop on Retrial Queues and Related Topics, held in Tomsk, Russia, in September 2018. The 30 papers presented in this volume were carefully reviewed and selected from 84 submissions. The conference covers various aspects of information technologies, focusing on queueing theory, stochastic processes, Markov processes, renewal theory, network performance equation and network protocols.
Publisher: Springer
ISBN: 3319975951
Category : Computers
Languages : en
Pages : 411
Book Description
This book constitutes the proceedings of the 17th International Conference on Information Technologies and Mathematical Modelling, ITMM 2018, named after A.F. Terpugov, and the 12th Workshop on Retrial Queues and Related Topics, held in Tomsk, Russia, in September 2018. The 30 papers presented in this volume were carefully reviewed and selected from 84 submissions. The conference covers various aspects of information technologies, focusing on queueing theory, stochastic processes, Markov processes, renewal theory, network performance equation and network protocols.
Continuous-Time Markov Decision Processes
Author: Xianping Guo
Publisher: Springer Science & Business Media
ISBN: 3642025471
Category : Mathematics
Languages : en
Pages : 240
Book Description
Continuous-time Markov decision processes (MDPs), also known as controlled Markov chains, are used for modeling decision-making problems that arise in operations research (for instance, inventory, manufacturing, and queueing systems), computer science, communications engineering, control of populations (such as fisheries and epidemics), and management science, among many other fields. This volume provides a unified, systematic, self-contained presentation of recent developments on the theory and applications of continuous-time MDPs. The MDPs in this volume include most of the cases that arise in applications, because they allow unbounded transition and reward/cost rates. Much of the material appears for the first time in book form.
Publisher: Springer Science & Business Media
ISBN: 3642025471
Category : Mathematics
Languages : en
Pages : 240
Book Description
Continuous-time Markov decision processes (MDPs), also known as controlled Markov chains, are used for modeling decision-making problems that arise in operations research (for instance, inventory, manufacturing, and queueing systems), computer science, communications engineering, control of populations (such as fisheries and epidemics), and management science, among many other fields. This volume provides a unified, systematic, self-contained presentation of recent developments on the theory and applications of continuous-time MDPs. The MDPs in this volume include most of the cases that arise in applications, because they allow unbounded transition and reward/cost rates. Much of the material appears for the first time in book form.
Markov-Modulated Processes and Semiregenerative Phenomena
Author: Loon Ching Tang
Publisher: World Scientific
ISBN: 9812793194
Category : Mathematics
Languages : en
Pages : 237
Book Description
The book presents a coherent treatment of Markov random walks and Markov additive processes together with their applications. Part I provides the foundations of these stochastic processes underpinned by a solid theoretical framework based on Semiregenerative phenomena. Part II presents some applications to queueing and storage systems.
Publisher: World Scientific
ISBN: 9812793194
Category : Mathematics
Languages : en
Pages : 237
Book Description
The book presents a coherent treatment of Markov random walks and Markov additive processes together with their applications. Part I provides the foundations of these stochastic processes underpinned by a solid theoretical framework based on Semiregenerative phenomena. Part II presents some applications to queueing and storage systems.
Markov Processes for Stochastic Modeling
Author: Oliver Ibe
Publisher: Newnes
ISBN: 0124078397
Category : Mathematics
Languages : en
Pages : 515
Book Description
Markov processes are processes that have limited memory. In particular, their dependence on the past is only through the previous state. They are used to model the behavior of many systems including communications systems, transportation networks, image segmentation and analysis, biological systems and DNA sequence analysis, random atomic motion and diffusion in physics, social mobility, population studies, epidemiology, animal and insect migration, queueing systems, resource management, dams, financial engineering, actuarial science, and decision systems. Covering a wide range of areas of application of Markov processes, this second edition is revised to highlight the most important aspects as well as the most recent trends and applications of Markov processes. The author spent over 16 years in the industry before returning to academia, and he has applied many of the principles covered in this book in multiple research projects. Therefore, this is an applications-oriented book that also includes enough theory to provide a solid ground in the subject for the reader. - Presents both the theory and applications of the different aspects of Markov processes - Includes numerous solved examples as well as detailed diagrams that make it easier to understand the principle being presented - Discusses different applications of hidden Markov models, such as DNA sequence analysis and speech analysis.
Publisher: Newnes
ISBN: 0124078397
Category : Mathematics
Languages : en
Pages : 515
Book Description
Markov processes are processes that have limited memory. In particular, their dependence on the past is only through the previous state. They are used to model the behavior of many systems including communications systems, transportation networks, image segmentation and analysis, biological systems and DNA sequence analysis, random atomic motion and diffusion in physics, social mobility, population studies, epidemiology, animal and insect migration, queueing systems, resource management, dams, financial engineering, actuarial science, and decision systems. Covering a wide range of areas of application of Markov processes, this second edition is revised to highlight the most important aspects as well as the most recent trends and applications of Markov processes. The author spent over 16 years in the industry before returning to academia, and he has applied many of the principles covered in this book in multiple research projects. Therefore, this is an applications-oriented book that also includes enough theory to provide a solid ground in the subject for the reader. - Presents both the theory and applications of the different aspects of Markov processes - Includes numerous solved examples as well as detailed diagrams that make it easier to understand the principle being presented - Discusses different applications of hidden Markov models, such as DNA sequence analysis and speech analysis.
Tools and Algorithms for the Construction and Analysis of Systems
Author: Jan Friso Groote
Publisher: Springer Nature
ISBN: 3030720160
Category : Computers
Languages : en
Pages : 471
Book Description
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.
Publisher: Springer Nature
ISBN: 3030720160
Category : Computers
Languages : en
Pages : 471
Book Description
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.
Stochastic Networks and Queues
Author: Philippe Robert
Publisher: Springer Science & Business Media
ISBN: 3662130521
Category : Mathematics
Languages : en
Pages : 406
Book Description
Queues and stochastic networks are analyzed in this book with purely probabilistic methods. The purpose of these lectures is to show that general results from Markov processes, martingales or ergodic theory can be used directly to study the corresponding stochastic processes. Recent developments have shown that, instead of having ad-hoc methods, a better understanding of fundamental results on stochastic processes is crucial to study the complex behavior of stochastic networks. In this book, various aspects of these stochastic models are investigated in depth in an elementary way: Existence of equilibrium, characterization of stationary regimes, transient behaviors (rare events, hitting times) and critical regimes, etc. A simple presentation of stationary point processes and Palm measures is given. Scaling methods and functional limit theorems are a major theme of this book. In particular, a complete chapter is devoted to fluid limits of Markov processes.
Publisher: Springer Science & Business Media
ISBN: 3662130521
Category : Mathematics
Languages : en
Pages : 406
Book Description
Queues and stochastic networks are analyzed in this book with purely probabilistic methods. The purpose of these lectures is to show that general results from Markov processes, martingales or ergodic theory can be used directly to study the corresponding stochastic processes. Recent developments have shown that, instead of having ad-hoc methods, a better understanding of fundamental results on stochastic processes is crucial to study the complex behavior of stochastic networks. In this book, various aspects of these stochastic models are investigated in depth in an elementary way: Existence of equilibrium, characterization of stationary regimes, transient behaviors (rare events, hitting times) and critical regimes, etc. A simple presentation of stationary point processes and Palm measures is given. Scaling methods and functional limit theorems are a major theme of this book. In particular, a complete chapter is devoted to fluid limits of Markov processes.
Quantitative Evaluation of Systems
Author: Alessandro Abate
Publisher: Springer Nature
ISBN: 3030851729
Category : Computers
Languages : en
Pages : 469
Book Description
This book constitutes the proceedings of the 18th International Conference on Quantitative Evaluation Systems, QEST 2021, held in Paris, France, in August 2021. The 21 full papers and 2 short papers presented together with 2 keynote papers were carefully reviewed and selected from 47 submissions. The papers are organized in the following topics: probabilistic model checking; quantitative models and metamodels: analysis and validation; queueing systems; learning and verification; simulation; performance evaluation; abstractions and aggregations; and stochastic models.
Publisher: Springer Nature
ISBN: 3030851729
Category : Computers
Languages : en
Pages : 469
Book Description
This book constitutes the proceedings of the 18th International Conference on Quantitative Evaluation Systems, QEST 2021, held in Paris, France, in August 2021. The 21 full papers and 2 short papers presented together with 2 keynote papers were carefully reviewed and selected from 47 submissions. The papers are organized in the following topics: probabilistic model checking; quantitative models and metamodels: analysis and validation; queueing systems; learning and verification; simulation; performance evaluation; abstractions and aggregations; and stochastic models.
Introduction to Stochastic Networks
Author: Richard Serfozo
Publisher: Springer Science & Business Media
ISBN: 1461214823
Category : Mathematics
Languages : en
Pages : 312
Book Description
Beginning with Jackson networks and ending with spatial queuing systems, this book describes several basic stochastic network processes, with the focus on network processes that have tractable expressions for the equilibrium probability distribution of the numbers of units at the stations. Intended for graduate students and researchers in engineering, science and mathematics interested in the basics of stochastic networks that have been developed over the last twenty years, the text assumes a graduate course in stochastic processes without measure theory, emphasising multi-dimensional Markov processes. Alongside self-contained material on point processes involving real analysis, the book also contains complete introductions to reversible Markov processes, Palm probabilities for stationary systems, Little laws for queuing systems and space-time Poisson processes.
Publisher: Springer Science & Business Media
ISBN: 1461214823
Category : Mathematics
Languages : en
Pages : 312
Book Description
Beginning with Jackson networks and ending with spatial queuing systems, this book describes several basic stochastic network processes, with the focus on network processes that have tractable expressions for the equilibrium probability distribution of the numbers of units at the stations. Intended for graduate students and researchers in engineering, science and mathematics interested in the basics of stochastic networks that have been developed over the last twenty years, the text assumes a graduate course in stochastic processes without measure theory, emphasising multi-dimensional Markov processes. Alongside self-contained material on point processes involving real analysis, the book also contains complete introductions to reversible Markov processes, Palm probabilities for stationary systems, Little laws for queuing systems and space-time Poisson processes.