Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.
DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.
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. ...
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 ...
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 ...
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. ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...