Marko Boon | Eindhoven University of Technology (original) (raw)

Papers by Marko Boon

Research paper thumbnail of Generalized gap acceptance models for unsignalized intersections

Mathematical Methods of Operations Research

Research paper thumbnail of Pollaczek contour integrals for the fixed-cycle traffic-light queue

Research paper thumbnail of Networks of fixed-cycle intersections

Transportation Research Part B: Methodological

Research paper thumbnail of Congestion analysis of unsignalized intersections: The impact of impatience and Markov platooning

European Journal of Operational Research

Research paper thumbnail of Design heuristic for parallel many server systems

European Journal of Operational Research

Research paper thumbnail of A single-server queue with batch arrivals and semi-Markov services

Research paper thumbnail of Queue-length balance equations in multiclass multiserver queues and their generalizations

Research paper thumbnail of Congestion analysis of unsignalized intersections

2016 8th International Conference on Communication Systems and Networks (COMSNETS), 2016

Research paper thumbnail of Critically loaded k-limited polling systems with switch-over times

Research paper thumbnail of Queue-length balance equations in multiclass multiserver queues and their generalizations

Research paper thumbnail of Proceedings of the 84th European Study Group Mathematics with Industry, SWI 2012, Eindhoven, Netherlands, January 30–February 3, 2012

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.

Research paper thumbnail of Critically loaded k-limited polling systems

Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, 2016

Research paper thumbnail of Heavy-traffic analysis of k-limited polling systems

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.

Research paper thumbnail of Queues with skill based parallel servers and a FCFS infinite matching model

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 ...

Research paper thumbnail of Delays at Signalized Intersections with Exhaustive Traffic Control

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.

Research paper thumbnail of Design and evaluation of overloaded service systems with skill based routing, under FCFS policies

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 .

Research paper thumbnail of Statlab: Learning Doe by Doing!

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.

Research paper thumbnail of Closed-Form Waiting Time Approximations for Polling Systems

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.

Research paper thumbnail of A Polling Model with Smart Customers

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.

Research paper thumbnail of Visualizing multiple quantile plots

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.

Research paper thumbnail of Generalized gap acceptance models for unsignalized intersections

Mathematical Methods of Operations Research

Research paper thumbnail of Pollaczek contour integrals for the fixed-cycle traffic-light queue

Research paper thumbnail of Networks of fixed-cycle intersections

Transportation Research Part B: Methodological

Research paper thumbnail of Congestion analysis of unsignalized intersections: The impact of impatience and Markov platooning

European Journal of Operational Research

Research paper thumbnail of Design heuristic for parallel many server systems

European Journal of Operational Research

Research paper thumbnail of A single-server queue with batch arrivals and semi-Markov services

Research paper thumbnail of Queue-length balance equations in multiclass multiserver queues and their generalizations

Research paper thumbnail of Congestion analysis of unsignalized intersections

2016 8th International Conference on Communication Systems and Networks (COMSNETS), 2016

Research paper thumbnail of Critically loaded k-limited polling systems with switch-over times

Research paper thumbnail of Queue-length balance equations in multiclass multiserver queues and their generalizations

Research paper thumbnail of Proceedings of the 84th European Study Group Mathematics with Industry, SWI 2012, Eindhoven, Netherlands, January 30–February 3, 2012

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.

Research paper thumbnail of Critically loaded k-limited polling systems

Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, 2016

Research paper thumbnail of Heavy-traffic analysis of k-limited polling systems

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.

Research paper thumbnail of Queues with skill based parallel servers and a FCFS infinite matching model

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 ...

Research paper thumbnail of Delays at Signalized Intersections with Exhaustive Traffic Control

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.

Research paper thumbnail of Design and evaluation of overloaded service systems with skill based routing, under FCFS policies

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 .

Research paper thumbnail of Statlab: Learning Doe by Doing!

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.

Research paper thumbnail of Closed-Form Waiting Time Approximations for Polling Systems

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.

Research paper thumbnail of A Polling Model with Smart Customers

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.

Research paper thumbnail of Visualizing multiple quantile plots

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.