Practical Applications of Stochastic Modelling: 11th International Workshop, PASM 2022, Alicante, Spain, September 23, 2022, Revised Selected Papers ... in Computer and Information Science)

This book constitutes the referred proceedings of the 11th International Workshop on Practical Applications of Stochastic Modelling, PASM 2022, was held in Alicante, Spain, in September 2022. The 7 full papers presented in this volume were carefully reviewed and selected from 9 submissions. The papers demonstrate a diverse set of applications and approaches of stochastic modelling. Preface Organization Contents Performance Modelling of Attack Graphs 1 Introduction 2 Related Work 3 Methods for Creating a PEPA Model for a Given Attack Graph 3.1 Basic PEPA Model 3.2 Multiple Component PEPA Model 4 Case Study 1: Basic PEPA Model for Attack Graph 4.1 System Specification 4.2 PEPA Model 4.3 Performance Evaluation 5 Case Study 2: Multiple Component PEPA Model for Attack Graph 5.1 System Specification 5.2 PEPA Model 5.3 Performance Evaluation of the PEPA Models 6 Conclusion References Towards Calculating the Resilience of an Urban Transport Network Under Attack 1 Introduction 2 Background and Related Works 3 Performance and Resilience on Dynamical Systems 4 CompRes: Modelling UTN Performance 4.1 Simulation 4.2 Stakeholders Decision 4.3 Simulation Results: Performance Metrics 5 Quantifying Resilience on Dynamical Systems 6 Scenario Analysis 6.1 Resilience Region 6.2 Attack Scenarios 6.3 Quantifying Resilience Under Attack 7 Discussion 8 Further Research 9 Conclusions References Analysis of the Battery Level in Complex Wireless Sensor Networks Using a Two Time Scales Second Order Fluid Model 1 Introduction 2 Related Work 3 The WSN Node 4 Modeling the Node 4.1 The Model 5 Analysis 6 Conclusion and Future Work References To Confine or Not to Confine: A Mean Field Game Analysis of the End of an Epidemic 1 Introduction 2 Model Description 2.1 Notation 2.2 Mean Field Game Formulation 2.3 Discussion and Limits of Our Assumptions 3 Preliminary Results 4 Existence of a Constant Mean Field Equilibrium 5 Existence of a Mean Field Equilibrium with One Jump 6 Discussion of (COND1-JUMP) and (COND2-JUMP) 7 Conclusions and Future Work A Proof of Lemma 1 B Proof of Lemma 2 C Proof of Lemma 3 D Proof of Proposition 2 E Proof of Proposition 4 F Proof of Lemma 4 F.1 m"0365mI(t)mI(t) F.2 VI*(t)VS*(t) F.3 V"0365VS*(t)VS*(t) G Proof of Lemma 6 References Data Center Organization and Optimization Strategy as a K-Ary N-Cube Topology 1 Introduction 2 Toroidal Shapes 3 A Topology Related to k-Ary n-Cube 4 Formal Algebraic Model of k-Ary n-Cube 5 Verification of k-Ary n-Cube Algebraic Model 6 Conclusions References Towards Energy-Aware Management of Shared Printers 1 Introduction 2 Background and Related Work 3 System Model 3.1 Printer Model 3.2 The Data 3.3 Experiment Design 4 Results 4.1 Printer Policy Optimization 5 Conclusion and Future Work References Modelling Performance and Fairness of Frame Bursting in IEEE 802.11n Using PEPA 1 Introduction 2 Basic Access Mechanism and IEEE 802.11n Frame Bursting 3 Performance Evaluation Process Algebra (PEPA) 3.1 The Syntax and Description of PEPA 4 Literature Review 5 Modelling Network and Scenarios in 802.11n with a PEPA Model 5.1 The Two Pairs Scenario (Scenario 1) 5.2 The Three Pairs Scenario (Scenario 2) 6 Parameters 7 Results and Discussions 7.1 Performance Results of the Two Pairs Scenario (Scenario 1) 7.2 Performance Results of the Three Pairs Scenario (Scenario 2) 8 Conclusion References Author Index