Source author record

Guy Fayolle

Guy Fayolle 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

16works
7topics
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

16 published item(s)

preprint2016arXiv

Facing ADAS validation complexity with usage oriented testing

Validating Advanced Driver Assistance Systems (ADAS) is a strategic issue, since such systems are becoming increasingly widespread in the automotive field. ADAS bring extra comfort to drivers, and this has become a selling point. But these functions, while useful, must not affect the general safety of the vehicle which is the manufacturer's responsibility. A significant number of current ADAS are based on vision systems, and applications such as obstacle detection and detection of pedestrians have become essential components of functions such as automatic emergency braking. These systems that preserve and protect road users take on even more importance with the arrival of the new Euro NCAP protocols. Therefore the robustness and reliability of ADAS functions cannot be neglected and car manufacturers need to have tools to ensure that the ADAS functions running on their vehicles operate with the utmost safety. Furthermore, the complexity of these systems in conjunction with the nearly infinite number of parameter combinations related to the usage profile of functions based on image sensors push us to think about testing optimization methods and tool standards to support the design and validation phases of ADAS systems. The resources required for the validation using current methods make them actually less and less adapted to new active safety features, which induce very strong dependability requirements. Today, to test the camera-based ADAS, test vehicles are equipped with these systems and are performing long hours of driving that can last for years. These tests are used to validate the use of the function and to verify its response to the requirements described in the specifications without considering the functional safety standard ISO26262.

preprint2015arXiv

About a possible analytic approach for walks in the quarter plane with arbitrary big jumps

In this note, we consider random walks in the quarter plane with arbitrary big jumps. We announce the extension to that class of models of the analytic approach of [G. Fayolle, R. Iasnogorodski, and V. Malyshev, Random walks in the quarter plane, Springer-Verlag, Berlin (1999)], initially valid for walks with small steps in the quarter plane. New technical challenges arise, most of them being tackled in the framework of generalized boundary value problems on compact Riemann surfaces.

preprint2014arXiv

Random Walks in the Quarter-Plane: Advances in Explicit Criterions for the Finiteness of the Associated Group in the Genus 1 Case

In the book [FIM], original methods were proposed to determine the invariant measure of random walks in the quarter plane with small jumps, the general solution being obtained via reduction to boundary value problems. Among other things, an important quantity, the so-called group of the walk, allows to deduce theoretical features about the nature of the solutions. In particular, when the \emph{order} of the group is finite, necessary and sufficient conditions have been given in [FIM] for the solution to be rational or algebraic. In this paper, when the underlying algebraic curve is of genus $1$, we propose a concrete criterion ensuring the finiteness of the group. It turns out that this criterion can be expressed as the cancellation of a determinant of a matrix of order 3 or 4, which depends in a polynomial way on the coefficients of the walk.

preprint2013arXiv

Modeling a Case of Herding Behavior in a Multi-Player Game

The system mentioned in the title belongs to the family of the so-called massively multi-player online social games (MMOSG). It features a scoring system for the elements of the game that is prone to herding effects. We analyze in detail its stationary regime in the thermodynamic limit, when the number of players tends to infinity. In particular, for some classes of input sequences and selection policies, we provide necessary and sufficient conditions for the existence of a complete meanfield-like measure, showing off an interesting condensation phenomenon.

preprint2012arXiv

A nonlinear integral operator encountered in the bandwidth sharing of a star-shaped network

We consider a symmetrical star-shaped network, in which bandwidth is shared among the active connections according to the "min" policy. Starting from a chaos propagation hypothesis, valid when the system is large enough, one can write equilibrium equations for an arbitrary link of the network. This paper describes an approach based on functional analysis of nonlinear integral operators, which allows to characterize quantitatively the behaviour of the network under heavy load conditions.

preprint2012arXiv

A State-Dependent Polling Model with Markovian Routing

A state-dependent 1-limited polling model with N queues is analyzed. The routing strategy generalizes the classical Markovian polling model, in the sense that two routing matrices are involved, the choice being made according to the state of the last visited queue. The stationary distribution of the position of the server is given. Ergodicity conditions are obtained by means of an associated dynamical system. Under rotational symmetry assumptions, average queue length and mean waiting times are computed.

preprint2012arXiv

About Hydrodynamic Limit of Some Exclusion Processes via Functional Integration

This article considers some classes of models dealing with the dynamics of discrete curves subjected to stochastic deformations. It turns out that the problems of interest can be set in terms of interacting exclusion processes, the ultimate goal being to derive hydrodynamic limits after proper scalings. A seemingly new method is proposed, which relies on the analysis of specific partial differential operators, involving variational calculus and functional integration: indeed, the variables are the values of some functions at given points, the number of which tends to become infinite, which requires the construction of \emph{generalized measures}. Starting from a detailed analysis of the \textsc{asep} system on the torus Z/N/Z, we claim that the arguments a priori work in higher dimensions (ABC, multi-type exclusion processes, etc), leading to sytems of coupled partial differential equations of Burgers' type.

preprint2012arXiv

Asymptotics and scalings for large product-form networks via the Central Limit Theorem

The asymptotic behaviour of a closed BCMP network, with $n$ queues and $m_n$ clients, is analyzed when $n$ and $m_n$ become simultaneously large. Our method relies on Berry-Esseen type approximations coming in the Central Limit Theorem. We construct critical sequences $m^0_n$, which are necessary and sufficient to distinguish between saturated and non-saturated regimes for the network. Several applications of these results are presented. It is shown that some queues can act as bottlenecks, limiting thus the global efficiency of the system.

preprint2012arXiv

Best-effort networks: modeling and performance analysis via large networks asymptotics

In this paper we introduce a class of Markov models, termed best-effort networks, designed to capture performance indices such as mean transfer times in data networks with best-effort service. We introduce the so-called min bandwidth sharing policy as a conservative approximation to the classical max-min policy. We establish necessary and sufficient ergodicity conditions for best-effort networks under the min policy. We then resort to the mean field technique of statistical physics to analyze network performance deriving fixed point equations for the stationary distribution of large symmetrical best-effort networks. A specific instance of such net- works is the star-shaped network which constitutes a plausible model of a network with an overprovisioned backbone. Numerical and analytical study of the equations allows us to state a number of qualitative conclusions on the impact of traffic parameters (link loads) and topology parameters (route lengths) on mean document transfer time.

preprint2012arXiv

Birth and death processes on certain random trees: Classification and stationary laws

The main substance of the paper concerns the growth rate and the classification (ergodicity, transience) of a family of random trees. In the basic model, new edges appear according to a Poisson process of parameter $λ$ and leaves can be deleted at a rate $μ$. The main results lay the stress on the famous number $e$. A complete classification of the process is given in terms of the intensity factor $ρ=λ/μ$: it is ergodic if $ρ\leq e^{-1}$, and transient if $ρ>e^{-1}$. There is a phase transition phenomenon: the usual region of null recurrence (in the parameter space) here does not exist. This fact is rare for countable Markov chains with exponentially distributed jumps. Some basic stationary laws are computed, e.g. the number of vertices and the height. Various bounds, limit laws and ergodic-like theorems are obtained, both for the transient and ergodic regimes. In particular, when the system is transient, the height of the tree grows linearly as the time $t\to\infty$, at a rate which is explicitly computed. Some of the results are extended to the so-called multiclass model.

preprint2011arXiv

Random walks in the quarter plane with zero drift: an explicit criterion for the finiteness of the associated group

In many recent studies on random walks with small jumps in the quarter plane, it has been noticed that the so-called "group" of the walk governs the behavior of a number of quantities, in particular through its "order". In this paper, when the "drift" of the random walk is equal to 0, we provide an effective criterion giving the order of this group. More generally, we also show that in all cases where the "genus" of the algebraic curve defined by the kernel is 0, the group is infinite, except precisely for the zero drift case, where finiteness is quite possible.

preprint2010arXiv

On the Holonomy or Algebraicity of Generating Functions Counting Lattice Walks in the Quarter-Plane

In two recent works \cite{BMM,BK}, it has been shown that the counting generating functions (CGF) for the 23 walks with small steps confined in a quadrant and associated with a finite group of birational transformations are holonomic, and even algebraic in 4 cases -- in particular for the so-called Gessel's walk. It turns out that the type of functional equations satisfied by these CGF appeared in a probabilistic context almost 40 years ago. Then a method of resolution was proposed in \cite{FIM}, involving at once algebraic tools and a reduction to boundary value problems. Recently this method has been developed in a combinatorics framework in \cite{Ra}, where a thorough study of the explicit expressions for the CGF is proposed. The aim of this paper is to derive the nature of the bivariate CGF by a direct use of some general theorems given in \cite{FIM}.

preprint2006arXiv

Stochastic Dynamics of Discrete Curves and Multi-type Exclusion Processes

This study deals with continuous limits of interacting one-dimensional diffusive systems, arising from stochastic distortions of discrete curves with various kinds of coding representations. These systems are essentially of a reaction-diffusion nature. In the non-reversible case, the invariant measure has generally a non Gibbs form. The corresponding steady-state regime is analyzed in detail with the help of a tagged particle and a state-graph cycle expansion of the probability currents. As a consequence, the constants appearing in Lotka-Volterraequations --which describe the fluid limits of stationary states-- can be traced back directly at the discrete level to tagged particles cycles coefficients. Current fluctuations are also studied and the Lagrangian is obtained by an iterative scheme. The related Hamilton-Jacobi equation, which leads to the large deviation functional, is analyzed and solved in the reversible case for the sake of checking.

preprint2002arXiv

Dynamical Windings of Random Walks and Exclusion Models. Part I: Thermodynamic Limit

We consider a system consisting of a planar random walk on a square lattice, submitted to stochastic elementary local deformations. Depending on the deformation transition rates, and specifically on a parameter $η$ which breaks the symmetry between the left and right orientation, the winding distribution of the walk is modified, and the system can be in three different phases: folded, stretched and glassy. An explicit mapping is found, leading to consider the system as a coupling of two exclusion processes. For all closed or periodic initial sample paths, a convenient scaling permits to show a convergence in law (or almost surely on a modified probability space) to a continuous curve, the equation of which is given by a system of two non linear stochastic differential equations. The deterministic part of this system is explicitly analyzed via elliptic functions. In a similar way, by using a formal fluid limit approach, the dynamics of the system is shown to be equivalent to a system of two coupled Burgers' equations.