-
The Robust Semantic Segmentation UNCV2023 Challenge Results
Authors:
Xuanlong Yu,
Yi Zuo,
Zitao Wang,
Xiaowen Zhang,
Jiaxuan Zhao,
Yuting Yang,
Licheng Jiao,
Rui Peng,
Xinyi Wang,
Junpei Zhang,
Kexin Zhang,
Fang Liu,
Roberto Alcover-Couso,
Juan C. SanMiguel,
Marcos Escudero-Viñolo,
Hanlin Tian,
Kenta Matsui,
Tianhao Wang,
Fahmy Adan,
Zhitong Gao,
Xuming He,
Quentin Bouniot,
Hossein Moghaddam,
Shyam Nandan Rai,
Fabio Cermelli
, et al. (12 additional authors not shown)
Abstract:
This paper outlines the winning solutions employed in addressing the MUAD uncertainty quantification challenge held at ICCV 2023. The challenge was centered around semantic segmentation in urban environments, with a particular focus on natural adversarial scenarios. The report presents the results of 19 submitted entries, with numerous techniques drawing inspiration from cutting-edge uncertainty q…
▽ More
This paper outlines the winning solutions employed in addressing the MUAD uncertainty quantification challenge held at ICCV 2023. The challenge was centered around semantic segmentation in urban environments, with a particular focus on natural adversarial scenarios. The report presents the results of 19 submitted entries, with numerous techniques drawing inspiration from cutting-edge uncertainty quantification methodologies presented at prominent conferences in the fields of computer vision and machine learning and journals over the past few years. Within this document, the challenge is introduced, shedding light on its purpose and objectives, which primarily revolved around enhancing the robustness of semantic segmentation in urban scenes under varying natural adversarial conditions. The report then delves into the top-performing solutions. Moreover, the document aims to provide a comprehensive overview of the diverse solutions deployed by all participants. By doing so, it seeks to offer readers a deeper insight into the array of strategies that can be leveraged to effectively handle the inherent uncertainties associated with autonomous driving and semantic segmentation, especially within urban environments.
△ Less
Submitted 27 September, 2023;
originally announced September 2023.
-
Learning policies for resource allocation in business processes
Authors:
J. Middelhuis,
R. Lo Bianco,
E. Scherzer,
Z. A. Bukhsh,
I. J. B. F. Adan,
R. M. Dijkman
Abstract:
Efficient allocation of resources to activities is pivotal in executing business processes but remains challenging. While resource allocation methodologies are well-established in domains like manufacturing, their application within business process management remains limited. Existing methods often do not scale well to large processes with numerous activities or optimize across multiple cases. Th…
▽ More
Efficient allocation of resources to activities is pivotal in executing business processes but remains challenging. While resource allocation methodologies are well-established in domains like manufacturing, their application within business process management remains limited. Existing methods often do not scale well to large processes with numerous activities or optimize across multiple cases. This paper aims to address this gap by proposing two learning-based methods for resource allocation in business processes to minimize the average cycle time of cases. The first method leverages Deep Reinforcement Learning (DRL) to learn policies by allocating resources to activities. The second method is a score-based value function approximation approach, which learns the weights of a set of curated features to prioritize resource assignments. We evaluated the proposed approaches on six distinct business processes with archetypal process flows, referred to as scenarios, and three realistically sized business processes, referred to as composite business processes, which are a combination of the scenarios. We benchmarked our methods against traditional heuristics and existing resource allocation methods. The results show that our methods learn adaptive resource allocation policies that outperform or are competitive with the benchmarks in five out of six scenarios. The DRL approach outperforms all benchmarks in all three composite business processes and finds a policy that is, on average, 12.7% better than the best-performing benchmark.
△ Less
Submitted 18 November, 2024; v1 submitted 19 April, 2023;
originally announced April 2023.
-
A finite compensation procedure for a certain class of two-dimensional random walks
Authors:
Ivo J. B. F. Adan,
Ioannis Dimitriou
Abstract:
Motivated by queueing applications, we consider a certain class of two-dimensional random walks for which their invariant measure is written as a linear combination of a finite number of product-form terms. In this work, we investigate under which conditions such an elegant solution can be derived by applying a finite compensation procedure. The conditions are formulated in terms of relations amon…
▽ More
Motivated by queueing applications, we consider a certain class of two-dimensional random walks for which their invariant measure is written as a linear combination of a finite number of product-form terms. In this work, we investigate under which conditions such an elegant solution can be derived by applying a finite compensation procedure. The conditions are formulated in terms of relations among the transition probabilities in the inner area, the boundaries as well as the origin. A thorough discussion on the importance of these conditions is also given.
△ Less
Submitted 17 April, 2023; v1 submitted 10 June, 2022;
originally announced June 2022.
-
An M/M/c queue with queueing-time dependent service rates
Authors:
Bernardo D'Auria,
Ivo J. B. F. Adan,
René Bekker,
Vidyadhar Kulkarni
Abstract:
Recent studies indicate that in many situations service times are affected by the experienced queueing delay of the particular customer. This effect has been detected in different areas, such as health care, call centers and telecommunication networks. In this paper we present a methodology to analyze a model having this property. The specific model is an M/M/c queue in which any customer may be t…
▽ More
Recent studies indicate that in many situations service times are affected by the experienced queueing delay of the particular customer. This effect has been detected in different areas, such as health care, call centers and telecommunication networks. In this paper we present a methodology to analyze a model having this property. The specific model is an M/M/c queue in which any customer may be tagged at her arrival time if her queueing time will be above a certain fixed threshold. All tagged customers are then served at a given rate that may differ from the rate used for the non-tagged customers. We show how it is possible to model the virtual queueing time of this queueing system by a specific Markov chain. Then, solving the corresponding balance equations, we give a recursive solution to compute the stationary distribution, which involves a mixture of exponential terms. Using numerical experiments, we demonstrate that the differences in service rates can have a crucial impact on queueing time performance.
△ Less
Submitted 9 July, 2021;
originally announced July 2021.
-
Optimal routing in two-queue polling systems
Authors:
I. J. B. F. Adan,
V. G. Kulkarni,
N. Lee,
A. A. J Lefeber
Abstract:
We consider a polling system with two queues, exhaustive service, no switch-over times and exponential service times. The waiting cost depends on the position of the queue relative to the server: It costs a customer c per time unit to wait in the busy queue (where the server is) and d per time unit in the idle queue (where no server is). Customers arrive according to a Poisson process. We study th…
▽ More
We consider a polling system with two queues, exhaustive service, no switch-over times and exponential service times. The waiting cost depends on the position of the queue relative to the server: It costs a customer c per time unit to wait in the busy queue (where the server is) and d per time unit in the idle queue (where no server is). Customers arrive according to a Poisson process. We study the control problem of how arrivals should be routed to the two queues in order to minimize expected waiting costs and characterize individually and socially optimal routing policies under three scenarios of available information at decision epochs: no, partial and complete information. In the complete information case, we develop a new iterative algorithm to determine individually optimal policies, and show that such policies can be described by a switching curve. We conjecture that a linear switching curve is socially optimal, and prove that this policy is indeed optimal for the fluid version of the two-queue polling system.
△ Less
Submitted 10 August, 2016;
originally announced August 2016.
-
The analysis of batch sojourn-times in polling systems
Authors:
J. P. van der Gaast,
M. B. M. de Koster,
I. J. B. F. Adan
Abstract:
We consider a cyclic polling system with general service times, general switch-over times, and simultaneous batch arrivals. This means that at an arrival epoch, a batch of customers may arrive simultaneously at the different queues of the system. For the locally-gated, globally-gated, and exhaustive service disciplines, we study the batch sojourn-time, which is defined as the time from an arrival…
▽ More
We consider a cyclic polling system with general service times, general switch-over times, and simultaneous batch arrivals. This means that at an arrival epoch, a batch of customers may arrive simultaneously at the different queues of the system. For the locally-gated, globally-gated, and exhaustive service disciplines, we study the batch sojourn-time, which is defined as the time from an arrival epoch until service completion of the last customer in the batch. We obtain for the different service disciplines exact expressions for the Laplace-Stieltjes transform of the steady-state batch sojourn-time distribution, which can be used to determine the moments of the batch sojourn-time, and in particular, its mean. However, we also provide an alternative, more efficient way to determine the mean batch sojourn-time, using Mean Value Analysis. Finally, we compare the batch sojourn-times for the different service disciplines in several numerical examples. Our results show that the best performing service discipline, in terms of minimizing the batch sojourn-time, depends on system characteristics.
△ Less
Submitted 12 July, 2016;
originally announced July 2016.
-
Approximate performance analysis of generalized join the shortest queue routing
Authors:
Jori Selen,
Ivo J. B. F. Adan,
Stella Kapodistria
Abstract:
In this paper we propose a highly accurate approximate performance analysis of a heterogeneous server system with a processor sharing service discipline and a general job-size distribution under a generalized join the shortest queue (GJSQ) routing protocol. The GJSQ routing protocol is a natural extension of the well-known join the shortest queue routing policy that takes into account the non-iden…
▽ More
In this paper we propose a highly accurate approximate performance analysis of a heterogeneous server system with a processor sharing service discipline and a general job-size distribution under a generalized join the shortest queue (GJSQ) routing protocol. The GJSQ routing protocol is a natural extension of the well-known join the shortest queue routing policy that takes into account the non-identical service rates in addition to the number of jobs at each server. The performance metrics that are of interest here are the equilibrium distribution and the mean and standard deviation of the number of jobs at each server. We show that the latter metrics are near-insensitive to the job-size distribution using simulation experiments. By applying a single queue approximation we model each server as a single server queue with a state-dependent arrival process, independent of other servers in the system, and derive the distribution of the number of jobs at the server. These state-dependent arrival rates are intended to capture the inherent correlation between servers in the original system and behave in a rather atypical way.
△ Less
Submitted 23 November, 2015; v1 submitted 18 September, 2015;
originally announced September 2015.
-
Steady-state analysis of shortest expected delay routing
Authors:
Jori Selen,
Ivo J. B. F. Adan,
Stella Kapodistria,
Johan S. H. van Leeuwaarden
Abstract:
We consider a queueing system consisting of two non-identical exponential servers, where each server has its own dedicated queue and serves the customers in that queue FCFS. Customers arrive according to a Poisson process and join the queue promising the shortest expected delay, which is a natural and near-optimal policy for systems with non-identical servers. This system can be modeled as an inho…
▽ More
We consider a queueing system consisting of two non-identical exponential servers, where each server has its own dedicated queue and serves the customers in that queue FCFS. Customers arrive according to a Poisson process and join the queue promising the shortest expected delay, which is a natural and near-optimal policy for systems with non-identical servers. This system can be modeled as an inhomogeneous random walk in the quadrant. By stretching the boundaries of the compensation approach we prove that the equilibrium distribution of this random walk can be expressed as a series of product-forms that can be determined recursively. The resulting series expression is directly amenable for numerical calculations and it also provides insight in the asymptotic behavior of the equilibrium probabilities as one of the state coordinates tends to infinity.
△ Less
Submitted 14 March, 2016; v1 submitted 11 September, 2015;
originally announced September 2015.
-
Corrected phase-type approximations of heavy-tailed queueing models in a Markovian environment
Authors:
Eleni Vatamidou,
Ivo J. B. F. Adan,
Maria Vlasiou,
Bert Zwart
Abstract:
We develop accurate approximations of the delay distribution of the MArP/G/1 queue that cap- ture the exact tail behavior and provide bounded relative errors. Motivated by statistical analysis, we consider the service times as a mixture of a phase-type and a heavy-tailed distribution. With the aid of perturbation analysis, we derive corrected phase-type approximations as a sum of the delay in an M…
▽ More
We develop accurate approximations of the delay distribution of the MArP/G/1 queue that cap- ture the exact tail behavior and provide bounded relative errors. Motivated by statistical analysis, we consider the service times as a mixture of a phase-type and a heavy-tailed distribution. With the aid of perturbation analysis, we derive corrected phase-type approximations as a sum of the delay in an MArP/PH/1 queue and a heavy-tailed component depending on the perturbation parameter. We exhibit their performance with numerical examples.
△ Less
Submitted 19 May, 2014;
originally announced May 2014.
-
Corrected phase-type approximations for the workload of the MAP/G/1 queue with heavy-tailed service times
Authors:
Eleni Vatamidou,
Ivo J. B. F. Adan,
Maria Vlasiou,
Bert Zwart
Abstract:
In many applications, significant correlations between arrivals of load-generating events make the numerical evaluation of the load of a system a challenging problem. Here, we construct very accurate approximations of the workload distribution of the MAP/G/1 queue that capture the tail behavior of the exact workload distribution and provide a small relative error. Motivated by statistical analysis…
▽ More
In many applications, significant correlations between arrivals of load-generating events make the numerical evaluation of the load of a system a challenging problem. Here, we construct very accurate approximations of the workload distribution of the MAP/G/1 queue that capture the tail behavior of the exact workload distribution and provide a small relative error. Motivated by statistical analysis, we assume that the service times are a mixture of a phase-type and a heavy-tailed distribution. With the aid of perturbation analysis, we derive our approximations as a sum of the workload distribution of the MAP/PH/1 queue and a heavy-tailed component that depends on the perturbation parameter. We refer to our approximations as corrected phase-type approximations, and we exhibit their performance with a numerical study.
△ Less
Submitted 1 May, 2014;
originally announced May 2014.
-
Corrected phase-type approximations of heavy-tailed queueing models in a Markovian environment
Authors:
Eleni Vatamidou,
Ivo J. B. F. Adan,
Maria Vlasiou,
Bert Zwart
Abstract:
Significant correlations between arrivals of load-generating events make the numerical evaluation of the workload of a system a challenging problem. In this paper, we construct highly accurate approximations of the workload distribution of the MAP/G/1 queue that capture the tail behavior of the exact workload distribution and provide a bounded relative error. Motivated by statistical analysis, we…
▽ More
Significant correlations between arrivals of load-generating events make the numerical evaluation of the workload of a system a challenging problem. In this paper, we construct highly accurate approximations of the workload distribution of the MAP/G/1 queue that capture the tail behavior of the exact workload distribution and provide a bounded relative error. Motivated by statistical analysis, we consider the service times as a mixture of a phase-type and a heavy-tailed distribution. With the aid of perturbation analysis, we derive our approximations as a sum of the workload distribution of the MAP/PH/1 queue and a heavy-tailed component that depends on the perturbation parameter. We refer to our approximations as corrected phase-type approximations, and we exhibit their performance with a numerical study.
△ Less
Submitted 1 May, 2014;
originally announced May 2014.
-
Analytic properties of two-carousel systems
Authors:
Ruben Bossier,
Maria Vlasiou,
Ivo J. B. F. Adan
Abstract:
We present analytic results for warehouse systems involving pairs of carousels. Specifically, for various picking strategies, we show that the sojourn time of the picker satisfies an integral equation that is a contraction mapping. As a result, numerical approximations for performance measures such as the throughput of the system are extremely accurate and converge fast (e.g.\ within 5 iterations)…
▽ More
We present analytic results for warehouse systems involving pairs of carousels. Specifically, for various picking strategies, we show that the sojourn time of the picker satisfies an integral equation that is a contraction mapping. As a result, numerical approximations for performance measures such as the throughput of the system are extremely accurate and converge fast (e.g.\ within 5 iterations) to their real values. We present simulation results validating our results and examining more complicated strategies for pairs of carousels.
△ Less
Submitted 28 April, 2014;
originally announced April 2014.
-
Corrected phase-type approximations of heavy-tailed risk models using perturbation analysis
Authors:
Eleni Vatamidou,
Ivo J. B. F. Adan,
Maria Vlasiou,
Bert Zwart
Abstract:
Numerical evaluation of performance measures in heavy-tailed risk models is an important and challenging problem. In this paper, we construct very accurate approximations of such performance measures that provide small absolute and relative errors. Motivated by statistical analysis, we assume that the claim sizes are a mixture of a phase-type and a heavy-tailed distribution and with the aid of per…
▽ More
Numerical evaluation of performance measures in heavy-tailed risk models is an important and challenging problem. In this paper, we construct very accurate approximations of such performance measures that provide small absolute and relative errors. Motivated by statistical analysis, we assume that the claim sizes are a mixture of a phase-type and a heavy-tailed distribution and with the aid of perturbation analysis we derive a series expansion for the performance measure under consideration. Our proposed approximations consist of the first two terms of this series expansion, where the first term is a phase-type approximation of our measure. We refer to our approximations collectively as corrected phase-type approximations. We show that the corrected phase-type approximations exhibit a nice behavior both in finite and infinite time horizon, and we check their accuracy through numerical experiments.
△ Less
Submitted 25 April, 2014;
originally announced April 2014.
-
On the accuracy of phase-type approximations of heavy-tailed risk models
Authors:
Eleni Vatamidou,
Ivo J. B. F. Adan,
Maria Vlasiou,
Bert Zwart
Abstract:
Numerical evaluation of ruin probabilities in the classical risk model is an important problem. If claim sizes are heavy-tailed, then such evaluations are challenging. To overcome this, an attractive way is to approximate the claim sizes with a phase-type distribution. What is not clear though is how many phases are enough in order to achieve a specific accuracy in the approximation of the ruin pr…
▽ More
Numerical evaluation of ruin probabilities in the classical risk model is an important problem. If claim sizes are heavy-tailed, then such evaluations are challenging. To overcome this, an attractive way is to approximate the claim sizes with a phase-type distribution. What is not clear though is how many phases are enough in order to achieve a specific accuracy in the approximation of the ruin probability. The goals of this paper are to investigate the number of phases required so that we can achieve a pre-specified accuracy for the ruin probability and to provide error bounds. Also, in the special case of a completely monotone claim size distribution we develop an algorithm to estimate the ruin probability by approximating the excess claim size distribution with a hyperexponential one. Finally, we compare our approximation with the heavy traffic and heavy tail approximations.
△ Less
Submitted 24 April, 2014;
originally announced April 2014.
-
A two-station queue with dependent preparation and service times
Authors:
Maria Vlasiou,
Ivo J. B. F. Adan,
Onno J. Boxma
Abstract:
We discuss a single-server multi-station alternating queue where the preparation times and the service times are auto- and cross-correlated. We examine two cases. In the first case, preparation and service times depend on a common discrete time Markov chain. In the second case, we assume that the service times depend on the previous preparation time through their joint Laplace transform. The waiti…
▽ More
We discuss a single-server multi-station alternating queue where the preparation times and the service times are auto- and cross-correlated. We examine two cases. In the first case, preparation and service times depend on a common discrete time Markov chain. In the second case, we assume that the service times depend on the previous preparation time through their joint Laplace transform. The waiting time process is directly analysed by solving a Lindley-type equation via transform methods. Numerical examples are included to demonstrate the effect of the autocorrelation of and the cross-correlation between the preparation and service times.
△ Less
Submitted 22 April, 2014;
originally announced April 2014.
-
An alternating service problem
Authors:
Maria Vlasiou,
Ivo J. B. F. Adan
Abstract:
We consider a system consisting of a server alternating between two service points. At both service points there is an infinite queue of customers that have to undergo a preparation phase before being served. We are interested in the waiting time of the server. The waiting time of the server satisfies an equation very similar to Lindley's equation for the waiting time in the GI/G/1 queue. We will…
▽ More
We consider a system consisting of a server alternating between two service points. At both service points there is an infinite queue of customers that have to undergo a preparation phase before being served. We are interested in the waiting time of the server. The waiting time of the server satisfies an equation very similar to Lindley's equation for the waiting time in the GI/G/1 queue. We will analyse this Lindley-type equation under the assumptions that the preparation phase follows a phase-type distribution while the service times have a general distribution. If we relax the condition that the server alternates between the service points, then the model turns out to be the machine repair problem. Although the latter is a well-known problem, the distribution of the waiting time of the server has not been studied yet. We shall derive this distribution under the same setting and we shall compare the two models numerically. As expected, the waiting time of the server is on average smaller in the machine repair problem than in the alternating service system, but they are not stochastically ordered.
△ Less
Submitted 22 April, 2014;
originally announced April 2014.
-
A Lindley-type equation arising from a carousel problem
Authors:
Maria Vlasiou,
Ivo J. B. F. Adan,
Jaap Wessels
Abstract:
In this paper we consider a system with two carousels operated by one picker. The items to be picked are randomly located on the carousels and the pick times follow a phase-type distribution. The picker alternates between the two carousels, picking one item at a time. Important performance characteristics are the waiting time of the picker and the throughput of the two carousels. The waiting time…
▽ More
In this paper we consider a system with two carousels operated by one picker. The items to be picked are randomly located on the carousels and the pick times follow a phase-type distribution. The picker alternates between the two carousels, picking one item at a time. Important performance characteristics are the waiting time of the picker and the throughput of the two carousels. The waiting time of the picker satisfies an equation very similar to Lindley's equation for the waiting time in the PH/U/1 queue. Although the latter equation has no simple solution, we show that the one for the waiting time of the picker can be solved explicitly. Furthermore, it is well known that the mean waiting time in the PH/U/1 queue depends on to the complete interarrival time distribution, but numerical results show that, for the carousel system, the mean waiting time and throughput are rather insensitive to the pick-time distribution.
△ Less
Submitted 22 April, 2014;
originally announced April 2014.
-
Exact solution to a Lindley-type equation on a bounded support
Authors:
Maria Vlasiou,
Ivo J. B. F. Adan
Abstract:
We derive the limiting waiting-time distribution $F_W$ of a model described by the Lindley-type equation $W=\max\{0, B - A - W\}$, where $B$ has a polynomial distribution. This exact solution is applied to derive approximations of $F_W$ when $B$ is generally distributed on a finite support. We provide error bounds for these approximations.
We derive the limiting waiting-time distribution $F_W$ of a model described by the Lindley-type equation $W=\max\{0, B - A - W\}$, where $B$ has a polynomial distribution. This exact solution is applied to derive approximations of $F_W$ when $B$ is generally distributed on a finite support. We provide error bounds for these approximations.
△ Less
Submitted 22 April, 2014;
originally announced April 2014.
-
Product-form solutions for a class of structured multi-dimensional Markov processes
Authors:
Jori Selen,
Ivo J. B. F. Adan,
Johan S. H. van Leeuwaarden
Abstract:
Motivated by queueing systems with heterogeneous parallel servers, we consider a class of structured multi-dimensional Markov processes whose state space can be partitioned into two parts: a finite set of boundary states and a structured multi-dimensional set of states, exactly one dimension of which is infinite. Using separation of variables, we show that the equilibrium distribution, typically o…
▽ More
Motivated by queueing systems with heterogeneous parallel servers, we consider a class of structured multi-dimensional Markov processes whose state space can be partitioned into two parts: a finite set of boundary states and a structured multi-dimensional set of states, exactly one dimension of which is infinite. Using separation of variables, we show that the equilibrium distribution, typically of the queue length, can be represented as a linear combination of product forms. For an important subclass of queueing systems, we characterize explicitly the waiting time distribution in terms of mixtures of exponentials.
△ Less
Submitted 1 October, 2015; v1 submitted 30 October, 2013;
originally announced October 2013.
-
The compensation approach for walks with small steps in the quarter plane
Authors:
Ivo J. B. F. Adan,
Johan S. H. van Leeuwaarden,
Kilian Raschel
Abstract:
This paper is the first application of the compensation approach to counting problems. We discuss how this method can be applied to a general class of walks in the quarter plane $Z_{+}^{2}$ with a step set that is a subset of $\{(-1,1),(-1,0),(-1,-1),(0,-1),(1,-1)\}$ in the interior of $Z_{+}^{2}$. We derive an explicit expression for the counting generating function, which turns out to be meromor…
▽ More
This paper is the first application of the compensation approach to counting problems. We discuss how this method can be applied to a general class of walks in the quarter plane $Z_{+}^{2}$ with a step set that is a subset of $\{(-1,1),(-1,0),(-1,-1),(0,-1),(1,-1)\}$ in the interior of $Z_{+}^{2}$. We derive an explicit expression for the counting generating function, which turns out to be meromorphic and nonholonomic, can be easily inverted, and can be used to obtain asymptotic expressions for the counting coefficients.
△ Less
Submitted 7 October, 2012; v1 submitted 4 January, 2011;
originally announced January 2011.