Concept

Calcul stochastique

Publications associées (165)

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search

A model for electrode effects using percolation theory

Hannes Bleuler, Rolf Wüthrich

Electrode effects are known for more than 150 years. These effects, with undesirable consequences in industrial aluminium electrolysis, can be used to micro-machine glass with Spark Assisted Chemical Engraving (SACE). In this paper, a novel approach for th ...

2004

A stochastic model for electrode effects

Hannes Bleuler, Rolf Wüthrich, Valia Fascio

The mechanism leading to the onset of the electrode effects is still under discussion in the literature. In this contribution it is proposed that the main mechanism responsible of the electrode effects is the formation of a gas film isolating the electrode ...

2004

Modeling Consensus in a Process Calculus

Rachele Fuzzati, Massimo Merro

We give a process calculus model that formalizes a well-known algorithm (introduced by Chandra and Toueg) solving consensus in the presence of a particular class of failure detectors; we use our model to formally prove that the algorithm satisfies its spec ...

2003

Modeling Consensus in a Process Calculus

Rachele Fuzzati, Massimo Merro

We give a process calculus model that formalizes a well known algorithm (introduced by Chandra and Toueg) solving consensus in the presence of a particular class of failure detectors (Diamond S); we use our model to formally prove that the algorithm satisf ...

2003

Existence of Invariant Manifolds for Stochastic Equations in Infinite Dimension

Damir Filipovic

We provide a Frobenius type existence result for finite-dimensional invariant submanifolds for stochastic equations in infinite dimension, in the spirit of Da Prato and Zabczyk [5]. We recapture and make use of the convenient calculus on Frechet spaces, as ...

2003

Towards A More Rigorous Boresight Determination: Theory, Technology and Realities of Inertial/GPS Sensor Orientation

Jan Skaloud

This work focuses on the stochastic properties of boresight determination between a strapdown IMU and a frame-based imaging sensor. The core of the stochastic model is a rigorous error propagation of the estimated input accuracies and their correlations. ...

2003

Stochastic Analysis of Some Expedited Forwarding Networks

Jean-Yves Le Boudec, Milan Vojnovic

We consider stochastic guarantees for networks with aggregate scheduling, in particular, Expedited Forwarding (EF). Our approach is based on the assumption that a node can be abstracted by a service curve, and the input flows are regulated individually at ...

2002

Stochastic Bound on Delay for Guaranteed Rate Nodes

Jean-Yves Le Boudec, Milan Vojnovic

We find that the probabilistic bound on delay in the article by Goyal et al. in 1997 is incorrect. The problem originates from: 1) the difference between stationary and Palm probabilities and 2) treating the arrival counting process over some random time i ...

2002

Stochastic Bound on Delay for Guaranteed Rate Nodes

Jean-Yves Le Boudec, Milan Vojnovic

We find that the probabilistic bound on delay in [1] is incorrect. The problem originates from: (1) the difference between stationary and Palm probabilities, and (2) treating the arrival counting process over some random time intervals as if the time inter ...

2002

Robust exponential filtering for uncertain systems with stochastic and polytopic uncertainties

Ali H. Sayed

This paper addresses the problem of robust exponential filtering for discrete uncertain systems with mixed stochastic and deterministic uncertainties, in addition to unmodelled nonlinearities and measurement and process noises with bounded variances. ...

2002