Search results for "C99"
showing 10 items of 16 documents
Removing the saturation assumption in Bank-Weiser error estimator analysis in dimension three
2020
International audience; We provide a new argument proving the reliability of the Bank-Weiser estimator for Lagrange piecewise linear finite elements in both dimension two and three. The extension to dimension three constitutes the main novelty of our study. In addition, we present a numerical comparison of the Bank-Weiser and residual estimators for a three-dimensional test case.
Adaptive-gain extended Kalman filter: Extension to the continuous-discrete case
2009
In the present article we propose a nonlinear observer that merges the behaviors 1) of an extended Kalman filter, mainly designed to smooth off noise , and 2) of high-gain observers devoted to handle large perturbations in the state estimation. We specifically aim at continuous-discrete systems. The strategy consists in letting the high-gain self adapt according to the innovation. We define innovation computed over a time window and justify its usage via an important lemma. We prove the general convergence of the resulting observer.
Frame-related Sequences in Chains and Scales of Hilbert Spaces
2022
Frames for Hilbert spaces are interesting for mathematicians but also important for applications in, e.g., signal analysis and physics. In both mathematics and physics, it is natural to consider a full scale of spaces, and not only a single one. In this paper, we study how certain frame-related properties of a certain sequence in one of the spaces, such as completeness or the property of being a (semi-) frame, propagate to the other ones in a scale of Hilbert spaces. We link that to the properties of the respective frame-related operators, such as analysis or synthesis. We start with a detailed survey of the theory of Hilbert chains. Using a canonical isomorphism, the properties of frame se…
Turán type inequalities for generalized inverse trigonometric functions
2013
In this paper we study the inverse of the eigenfunction $\sin_p$ of the one-dimensional $p$-Laplace operator and its dependence on the parameter $p$, and we present a Tur\'an type inequality for this function. Similar inequalities are given also for other generalized inverse trigonometric and hyperbolic functions. In particular, we deduce a Tur\'an type inequality for a series considered by Ramanujan, involving the digamma function.
Adaptive high-gain extended kalman filter and applications
2010
The work concerns the ``observability problem” --- the reconstruction of a dynamic process's full state from a partially measured state--- for nonlinear dynamic systems. The Extended Kalman Filter (EKF) is a widely-used observer for such nonlinear systems. However it suffers from a lack of theoretical justifications and displays poor performance when the estimated state is far from the real state, e.g. due to large perturbations, a poor initial state estimate, etc… We propose a solution to these problems, the Adaptive High-Gain (EKF). Observability theory reveals the existence of special representations characterizing nonlinear systems having the observability property. Such representations…
$(BV,L^p)$-decomposition, $p=1,2$, of Functions in Metric Random Walk Spaces
2019
In this paper we study the $(BV,L^p)$-decomposition, $p=1,2$, of functions in metric random walk spaces, a general workspace that includes weighted graphs and nonlocal models used in image processing. We obtain the Euler-Lagrange equations of the corresponding variational problems and their gradient flows. In the case $p=1$ we also study the associated geometric problem and the thresholding parameters.
Miscellaneous Graph Preliminaries. Part I
2021
Summary This article contains many auxiliary theorems which were missing in the Mizar Mathematical Library to the best of the author’s knowledge. Most of them regard graph theory as formalized in the GLIB series and are needed in upcoming articles.
Flood Detection On Low Cost Orbital Hardware
2019
Satellite imaging is a critical technology for monitoring and responding to natural disasters such as flooding. Despite the capabilities of modern satellites, there is still much to be desired from the perspective of first response organisations like UNICEF. Two main challenges are rapid access to data, and the ability to automatically identify flooded regions in images. We describe a prototypical flood segmentation system, identifying cloud, water and land, that could be deployed on a constellation of small satellites, performing processing on board to reduce downlink bandwidth by 2 orders of magnitude. We target PhiSat-1, part of the FSSCAT mission, which is planned to be launched by the …
Relative velocities, geometry, and expansion of space
2012
What does it mean to say that space expands? One approach to this question is the study of relative velocities. In this context, a non local test particle is "superluminal" if its relative velocity exceeds the local speed of light of the observer. The existence of superluminal relative velocities of receding test particles, in a particular cosmological model, suggests itself as a possible criterion for expansion of space in that model. In this point of view, superluminal velocities of distant receding galaxy clusters result from the expansion of space between the observer and the clusters. However, there is a fundamental ambiguity that must be resolved before this approach can be meaningful…
In the Shadows of a hypergraph: looking for associated primes of powers of squarefree monomial ideals
2018
The aim of this paper is to study the associated primes of powers of square-free monomial ideals. Each square-free monomial ideal corresponds uniquely to a finite simple hypergraph via the cover ideal construction, and vice versa. Let H be a finite simple hypergraph and J(H) the cover ideal of H. We define the shadows of hypergraph, H, described as a collection of smaller hypergraphs related to H under some conditions. We then investigate how the shadows of H preserve information about the associated primes of the powers of J(H). Finally, we apply our findings on shadows to study the persistence property of square-free monomial ideals and construct some examples exhibiting failure of contai…