Marko Boon | Eindhoven University of Technology (original) (raw)
Papers by Marko Boon
Mathematical Methods of Operations Research
Transportation Research Part B: Methodological
European Journal of Operational Research
European Journal of Operational Research
2016 8th International Conference on Communication Systems and Networks (COMSNETS), 2016
The generation by renewables and the loading by electrical vehicle charging imposes severe challe... more The generation by renewables and the loading by electrical vehicle charging imposes severe challenges in the redesign of today's power supply systems. Indeed, accommodating these emerging power sources and sinks requires traditional power systems to evolve from rigid centralized unidirectional architectures to intelligent decentralized entities allowing a bidirectional power flow. In the case study proposed by ENDINET, we investigate how the penetration of solar panels and of battery charging stations on large scale affects the voltage quality and loss level in a distribution network servicing a residential area in Eindhoven, NL. In our case study we take the average household load during summer and winter into account and consider both a radial and meshed topology of the network. Our study results for both topologies considered in a quantification of the levels of penetration and a strategy for electrical vehicle loading strategy that meet the voltage and loss requirements in the network.
Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, 2016
Probability in the Engineering and Informational Sciences
In this paper, we study a two-queue polling model with zero switchover times and k-limited servic... more In this paper, we study a two-queue polling model with zero switchover times and k-limited service (serve at most k i customers during one visit period to queue i, i=1, 2) in each queue. The arrival processes at the two queues are Poisson, and the service times are exponentially distributed. By increasing the arrival intensities until one of the queues becomes critically loaded, we derive exact heavy-traffic limits for the joint queue-length distribution using a singular-perturbation technique. It turns out that the number of customers in the stable queue has the same distribution as the number of customers in a vacation system with Erlang-k 2 distributed vacations. The queue-length distribution of the critically loaded queue, after applying an appropriate scaling, is exponentially distributed. Finally, we show that the two queue-length processes are independent in heavy traffic.
ACM SIGMETRICS Performance Evaluation Review, 2014
ABSTRACT In the era of multicore and manycore processors, a systematic engineering approach for s... more ABSTRACT In the era of multicore and manycore processors, a systematic engineering approach for software performance becomes more and more crucial to the success of modern software systems. This article argues for more software performance engineering research ...
Probability in the Engineering and Informational Sciences, 2012
In this paper we study a traffic intersection with vehicle-actuated traffic signal control. Traff... more In this paper we study a traffic intersection with vehicle-actuated traffic signal control. Traffic lights stay green until all lanes within a group are emptied. Assuming general renewal arrival processes, we derive exact limiting distributions of the delays under Heavy Traffic (HT) conditions, using theory on polling models. Furthermore, we derive the Light Traffic (LT) limit of the mean delays for intersections with Poisson arrivals, and develop a heuristic adaptation of this limit to capture the LT behaviour for other interarrival-time distributions. We combine the LT and HT results to develop closed-form approximations for the mean delays of vehicles in each lane. These closed-form approximations are quite accurate, very insightful and simple to implement.
Performance Evaluation, 2013
We study an overloaded service system with servers of types S = {s 1 , . . . , s J }, serving cus... more We study an overloaded service system with servers of types S = {s 1 , . . . , s J }, serving customers of types C = {c 1 , . . . , c I } under FCFS. Customers arrive in Poisson streams, join the queue and then abandon or get served. Service is skill based, which is described by a compatibility graph G, where (i, j) ∈ G if server type s j is trained to serve customer type c i .
Statlab is an interactive web-based tool for teaching Design of Experiments. It is freely availab... more Statlab is an interactive web-based tool for teaching Design of Experiments. It is freely available through www.win.tue.nl/statlab and can be used to introduce large groups of students to practical strategies for experimenting through virtual case studies. Starting point is an adaptive approach, in which the program flow is influenced by the student's decisions throughout the DOE-process. Furthermore, Statlab forces students to think pro-actively about practical details since it hides options that students do not ask for. Once a design is generated, realistic experimental data can be simulated for further model estimation, evaluation and eventually optimisation using response surface methods. Furthermore, Statlab provides direct feedback with training exercises and contains an automatic grading system regarding the student's actions and decisions. Students generally are enthusiastic about Statlab and consider it to be a stimulating teaching environment.
A typical polling system consists of a number of queues, attended by a single server in a fixed o... more A typical polling system consists of a number of queues, attended by a single server in a fixed order. The present study derives closed-form approximations for the mean waiting times and mean marginal queue lengths of polling systems with renewal arrival processes, which can be computed by simple calculations. The results of the present research may be very suitable for the design and optimisation phase in many application areas, such as telecommunication, maintenance, manufacturing and transportation.
_____________________________________________
Boon, M.A.A., Winands, E.M.M., Adan, I.J.B.F., Wijk, A.C.C. van (2009). Closed-form waiting time approximations for polling systems,
Performance Evaluation, Volume 68, Issue 3, March 2011, Pages 290-306.
In this paper we consider a single-server, cyclic polling system with switch-over times. A distin... more In this paper we consider a single-server, cyclic polling system with switch-over times. A distinguishing feature of the model is that the rates of the Poisson arrival processes at the various queues depend on the server location. For this model we study the joint queue length distribution at polling epochs and departure epochs. We also study the marginal queue length distribution at arrival epochs, as well as at arbitrary epochs (which is not the same in general, since we cannot use the PASTA property). A generalised version of the distributional form of Little’s law is applied to the joint queue length distribution at departure epochs in order to find the waiting time distribution for each customer type. We also provide an alternative, more efficient way to determine the mean queue lengths and mean waiting times, using Mean Value Analysis. Furthermore, we show that under certain conditions a Pseudo-Conservation Law for the total amount of work in the system holds. Finally, typical features of the model under consideration are demonstrated in several numerical examples.
_____________________________________________
Boon, M.A.A., Wijk, A.C.C. van, Adan, I.J.B.F., Boxma, O.J. (2009). A polling model with smart customers,
Queueing Systems, 2010, Volume 66, Number 3, Pages 239-274.
Journal of Computational and Graphical Statistics, 2012
Multiple-quantile plots provide a powerful graphical method for comparing the distributions of tw... more Multiple-quantile plots provide a powerful graphical method for comparing the distributions of two or more populations. This article develops a method of visualizing triple-quantile plots and their associated confidence tubes, thus extending the notion of a quantile–quantile (QQ) plot to three dimensions. More specifically, we consider three independent one-dimensional random samples with corresponding quantile functions Q 1, Q 2, and Q 3. The triple-quantile (QQQ) plot is then defined as the three-dimensional curve Q(p) = (Q 1(p), Q 2(p), Q 3(p)), where 0 < p < 1. The empirical likelihood method is used to derive simultaneous distribution-free confidence tubes for Q. We apply our method to an economic case study of strike durations and to an epidemiological study involving the comparison of cholesterol levels among three populations. These data as well as the Mathematica code for computation of the tubes are available in the online supplementary materials.
Mathematical Methods of Operations Research
Transportation Research Part B: Methodological
European Journal of Operational Research
European Journal of Operational Research
2016 8th International Conference on Communication Systems and Networks (COMSNETS), 2016
The generation by renewables and the loading by electrical vehicle charging imposes severe challe... more The generation by renewables and the loading by electrical vehicle charging imposes severe challenges in the redesign of today's power supply systems. Indeed, accommodating these emerging power sources and sinks requires traditional power systems to evolve from rigid centralized unidirectional architectures to intelligent decentralized entities allowing a bidirectional power flow. In the case study proposed by ENDINET, we investigate how the penetration of solar panels and of battery charging stations on large scale affects the voltage quality and loss level in a distribution network servicing a residential area in Eindhoven, NL. In our case study we take the average household load during summer and winter into account and consider both a radial and meshed topology of the network. Our study results for both topologies considered in a quantification of the levels of penetration and a strategy for electrical vehicle loading strategy that meet the voltage and loss requirements in the network.
Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, 2016
Probability in the Engineering and Informational Sciences
In this paper, we study a two-queue polling model with zero switchover times and k-limited servic... more In this paper, we study a two-queue polling model with zero switchover times and k-limited service (serve at most k i customers during one visit period to queue i, i=1, 2) in each queue. The arrival processes at the two queues are Poisson, and the service times are exponentially distributed. By increasing the arrival intensities until one of the queues becomes critically loaded, we derive exact heavy-traffic limits for the joint queue-length distribution using a singular-perturbation technique. It turns out that the number of customers in the stable queue has the same distribution as the number of customers in a vacation system with Erlang-k 2 distributed vacations. The queue-length distribution of the critically loaded queue, after applying an appropriate scaling, is exponentially distributed. Finally, we show that the two queue-length processes are independent in heavy traffic.
ACM SIGMETRICS Performance Evaluation Review, 2014
ABSTRACT In the era of multicore and manycore processors, a systematic engineering approach for s... more ABSTRACT In the era of multicore and manycore processors, a systematic engineering approach for software performance becomes more and more crucial to the success of modern software systems. This article argues for more software performance engineering research ...
Probability in the Engineering and Informational Sciences, 2012
In this paper we study a traffic intersection with vehicle-actuated traffic signal control. Traff... more In this paper we study a traffic intersection with vehicle-actuated traffic signal control. Traffic lights stay green until all lanes within a group are emptied. Assuming general renewal arrival processes, we derive exact limiting distributions of the delays under Heavy Traffic (HT) conditions, using theory on polling models. Furthermore, we derive the Light Traffic (LT) limit of the mean delays for intersections with Poisson arrivals, and develop a heuristic adaptation of this limit to capture the LT behaviour for other interarrival-time distributions. We combine the LT and HT results to develop closed-form approximations for the mean delays of vehicles in each lane. These closed-form approximations are quite accurate, very insightful and simple to implement.
Performance Evaluation, 2013
We study an overloaded service system with servers of types S = {s 1 , . . . , s J }, serving cus... more We study an overloaded service system with servers of types S = {s 1 , . . . , s J }, serving customers of types C = {c 1 , . . . , c I } under FCFS. Customers arrive in Poisson streams, join the queue and then abandon or get served. Service is skill based, which is described by a compatibility graph G, where (i, j) ∈ G if server type s j is trained to serve customer type c i .
Statlab is an interactive web-based tool for teaching Design of Experiments. It is freely availab... more Statlab is an interactive web-based tool for teaching Design of Experiments. It is freely available through www.win.tue.nl/statlab and can be used to introduce large groups of students to practical strategies for experimenting through virtual case studies. Starting point is an adaptive approach, in which the program flow is influenced by the student's decisions throughout the DOE-process. Furthermore, Statlab forces students to think pro-actively about practical details since it hides options that students do not ask for. Once a design is generated, realistic experimental data can be simulated for further model estimation, evaluation and eventually optimisation using response surface methods. Furthermore, Statlab provides direct feedback with training exercises and contains an automatic grading system regarding the student's actions and decisions. Students generally are enthusiastic about Statlab and consider it to be a stimulating teaching environment.
A typical polling system consists of a number of queues, attended by a single server in a fixed o... more A typical polling system consists of a number of queues, attended by a single server in a fixed order. The present study derives closed-form approximations for the mean waiting times and mean marginal queue lengths of polling systems with renewal arrival processes, which can be computed by simple calculations. The results of the present research may be very suitable for the design and optimisation phase in many application areas, such as telecommunication, maintenance, manufacturing and transportation.
_____________________________________________
Boon, M.A.A., Winands, E.M.M., Adan, I.J.B.F., Wijk, A.C.C. van (2009). Closed-form waiting time approximations for polling systems,
Performance Evaluation, Volume 68, Issue 3, March 2011, Pages 290-306.
In this paper we consider a single-server, cyclic polling system with switch-over times. A distin... more In this paper we consider a single-server, cyclic polling system with switch-over times. A distinguishing feature of the model is that the rates of the Poisson arrival processes at the various queues depend on the server location. For this model we study the joint queue length distribution at polling epochs and departure epochs. We also study the marginal queue length distribution at arrival epochs, as well as at arbitrary epochs (which is not the same in general, since we cannot use the PASTA property). A generalised version of the distributional form of Little’s law is applied to the joint queue length distribution at departure epochs in order to find the waiting time distribution for each customer type. We also provide an alternative, more efficient way to determine the mean queue lengths and mean waiting times, using Mean Value Analysis. Furthermore, we show that under certain conditions a Pseudo-Conservation Law for the total amount of work in the system holds. Finally, typical features of the model under consideration are demonstrated in several numerical examples.
_____________________________________________
Boon, M.A.A., Wijk, A.C.C. van, Adan, I.J.B.F., Boxma, O.J. (2009). A polling model with smart customers,
Queueing Systems, 2010, Volume 66, Number 3, Pages 239-274.
Journal of Computational and Graphical Statistics, 2012
Multiple-quantile plots provide a powerful graphical method for comparing the distributions of tw... more Multiple-quantile plots provide a powerful graphical method for comparing the distributions of two or more populations. This article develops a method of visualizing triple-quantile plots and their associated confidence tubes, thus extending the notion of a quantile–quantile (QQ) plot to three dimensions. More specifically, we consider three independent one-dimensional random samples with corresponding quantile functions Q 1, Q 2, and Q 3. The triple-quantile (QQQ) plot is then defined as the three-dimensional curve Q(p) = (Q 1(p), Q 2(p), Q 3(p)), where 0 < p < 1. The empirical likelihood method is used to derive simultaneous distribution-free confidence tubes for Q. We apply our method to an economic case study of strike durations and to an epidemiological study involving the comparison of cholesterol levels among three populations. These data as well as the Mathematica code for computation of the tubes are available in the online supplementary materials.