Source author record

Pascal Moyal

Pascal Moyal appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

14works
4topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

14 published item(s)

preprint2023arXiv

Online matching for the multiclass stochastic block model

We consider the problem of sequential matching in a stochastic block model with several classes of nodes and generic compatibility constraints. When the probabilities of connections do not scale with the size of the graph, we show that under the NCOND condition, a simple max-weight type policy allows to attain an asymptotically perfect matching while no sequential algorithm attain perfect matching otherwise. The proof relies on a specific Markovian representation of the dynamics associated with Lyapunov techniques.

preprint2023arXiv

Perfect sampling of stochastic matching models with reneging

In this paper, we introduce a slight variation of the Dominated Coupling From the Past algorithm (DCFTP) of Kendall, for bounded Markov chains. It is based on the control of a (typically non-monotonic) stochastic recursion by a (typically monotonic) one. We show that this algorithm is particularly suitable for stochastic matching models with bounded patience, a class of models for which the steady state distribution of the system is in general unknown in closed form. We first show that the Markov chain of this model can be easily controlled by an infinite-server queue. We then investigate the particular case where patience times are deterministic, and this control argument may fail. in that case we resort to an ad-hoc technique that can also be seen as a control (this time, by the arrival sequence). We then compare this algorithm to the classical CFTP one, and show how our perfect simulation results can be used to estimate, and compare, the loss probabilities of various systems in equilibrium.

preprint2020arXiv

Stein's method for diffusive limit of queueing processes

Donsker Theorem is perhaps the most famous invariance principle result for Markov processes. It states that when properly normalized, a random walk behaves asymptotically like a Brownian motion. This approach can be extended to general Markov processes whose driving parameters are taken to a limit, which can lead to insightful results in contexts like large distributed systems or queueing networks. The purpose of this paper is to assess the rate of convergence in these so-called diffusion approximations, in a queueing context. To this end, we extend the functional Stein method introduced for the Brownian approximation of Poisson processes, to two simple examples: the single-server queue and the infinite-server queue. By doing so, we complete the recent applications of Stein's method to queueing systems, with results concerning the whole trajectory of the considered process, rather than its stationary distribution.

preprint2016arXiv

Stability of the stochastic matching model

We introduce and study a new model that we call the {\em matching model}. Items arrive one by one in a buffer and depart from it as soon as possible but by pairs. The items of a departing pair are said to be {\em matched}. There is a finite set of classes $\maV$ for the items, and the allowed matchings depend on the classes, according to a {\em matching graph} on $\maV$. Upon arrival, an item may find several possible matches in the buffer. This indeterminacy is resolved by a {\em matching policy}. When the sequence of classes of the arriving items is i.i.d., the sequence of buffer-contents is a Markov chain, whose stability is investigated. In particular, we prove that the model may be stable if and only if the matching graph is non-bipartite.

preprint2015arXiv

A pathwise comparison result for parallel queues

We introduce the appropriate framework for pathwise comparison of multiple server queues under general stationary ergodic assumptions. We show in what sense it is better to have more servers for a system under FCFS ('First Come, First Served') or equivalently, more queues in a system of parallel queues under the JSW ('Join the Shortest Workload') allocation policy. This comparison result is based on the recursive representation of Kiefer and Wolfowitz, and on a non-mass conservative generalization of the Schur-Convex semi-ordering. We also show that the latter result does not hold true in general, for the larger class of systems applying the semi-cyclic allocation policy introduced by Scheller-Wolf in \cite{SW03}.

preprint2015arXiv

On the stability of a class of non-monotonic systems of parallel queues

We investigate, under general stationary ergodic assumptions, the stability of systems of $S$ parallel queues in which any incoming customer joins the queue of the server having the $p+1$-th shortest workload ($p < S$), or a free server if any. This change in the allocation policy makes the analysis much more challenging with respect to the classical FCFS model with $S$ servers, as it leads to the non-monotonicity of the underlying stochastic recursion. We provide sufficient conditions of existence of a stationary workload, which indicate a "splitting" of the system in heavy traffic, into a loss system of $p$ servers plus a FCFS system of $S-p$ servers. To prove this result, we show {\em en route} an original sufficient condition for existence and uniqueness of a stationary workload for a multiple-server loss system.

preprint2015arXiv

The Jamming Constant of Uniform Random Graphs

By constructing jointly a random graph and an associated exploration process, we define the dynamics of a "parking process" on a class of uniform random graphs as a measure-valued Markov process, representing the empirical degree distribution of non-explored nodes. We then establish a functional law of large numbers for this process as the number of vertices grows to infinity, allowing us to assess the jamming constant of the considered random graphs, i.e. the size of the maximal independent set discovered by the exploration algorithm. This technique, which can be applied to any uniform random graph with a given degree distribution, can be seen as a generalization in the space of measures, of the differential equation method introduced by Wormald.

preprint2014arXiv

Estimating the Spatial Reuse with Configuration Models

We propose a new methodology to estimate the spatial reuse of CSMA-like scheduling. Instead of focusing on spatial configurations of users, we model the interferences between users as a random graph. Using configuration models for random graphs, we show how the properties of the medium access mechanism are captured by some deterministic differential equations, when the size of the graph gets large. Performance indicators such as the probability of connection of a given node can then be efficiently computed from these equations. We also perform simulations to illustrate the results on different types of random graphs. Even on spatial structures, these estimates get very accurate as soon as the variance of the interference is not negligible.

preprint2012arXiv

Large graph limit for an SIR process in random network with heterogeneous connectivity

We consider an SIR epidemic model propagating on a configuration model network, where the degree distribution of the vertices is given and where the edges are randomly matched. The evolution of the epidemic is summed up into three measure-valued equations that describe the degrees of the susceptible individuals and the number of edges from an infectious or removed individual to the set of susceptibles. These three degree distributions are sufficient to describe the course of the disease. The limit in large population is investigated. As a corollary, this provides a rigorous proof of the equations obtained by Volz [Mathematical Biology 56 (2008) 293--310].

preprint2010arXiv

A generalized backwards scheme for solving non monotonic stochastic recursions

We propose an explicit construction of a stationary solution for a stochastic recursion of the form $X\circθ=ϕ(X)$ on a partially-ordered Polish space, when the monotonicity of $ϕ$ is not assumed. Under certain conditions, we show that an extension of the original probability space exists, on which a solution is well-defined, and construct explicitly this extension. We then provide conditions for the solution to be defined as well on the original space. We finally apply these results to the stability study of two non-monotonic queueing systems.

preprint2010arXiv

Construction of a stationary queue with impatient customers

In this paper, we study the stability of queues with impatient customers. Under general stationary ergodic assumptions, we first provide some conditions for such a queue to be regenerative (i.e. to empty a.s. an infinite number of times). In the particular case of a single server operating in First in, First out, we prove the existence (in some cases, on an enlarged probability space) of a stationary workload. This is done by studying a non-monotonic stochastic recursion under the Palm settings, and by stochastic comparison of stochastic recursions.

preprint2010arXiv

Measure-valued stochastic recurrences and the stability of queues

In this paper we present a stability criterion for finite measure-valued stochastic recursions, generalizing Loynes's Theorem to spaces of measures. This result provides conditions for the reach of a "total stationary state" for the queue with an infinity of servers and the single-server SRPT queue. Indeed, we give in both cases a condition of existence of a stationary measure-valued recursive sequence characterizing the queueing system exhaustively.

preprint2010arXiv

Stationarity of pure delay systems and queues with impatient customers via stochastic recursions

In this paper we solve a particular stochastic recursion in the stationary ergodic framework, and propose some applications of this result to the study of regenerativity (that is, finiteness of busy cycles) and stationarity of some queueing systems: pure delay systems, in which all customers are immediately served, and queues with impatient customers. In this latter case under the FIFO discipline, we prove as well the existence of a stationary workload on an enlarged probability space.

preprint2010arXiv

Weak Solutions of stochastic recursions: an explicit construction

We propose an explicit construction of the solution of a stationary stochastic recursion of the form $X\circθ=ϕ(X)$ on a semi-ordered Polish space, when the monotonicity of $ϕ$ is not assumed. This solution exists on an enriched probability space (it is said \emph{weak}), provided the recursion is lattice-valued, and dominated by a proper monotonic stochastic recursion.