Related papers: Stability evaluation of approximate Riemann solver…
We present a new approach for constructing polytope Lyapunov functions for continuous-time linear switching systems (LSS). This allows us to decide the stability of LSS and to compute the Lyapunov exponent with a good precision in…
In this article, we improve the classical Bukhgeim-Klibanov method presented in [1],which can be used to prove the conditional stability of inverse source problem for a hyperbolic equation from the measurement on the subboundary. A major…
This paper proves the existence of unstable shocks of the Burgers-Hilbert equation conjectured in arXiv:2006.05568. More precisely, we construct smooth initial data with finite $H^9$-norm such that the solution in self-similar coordinates…
The simplified lattice Boltzmann method (SLBM) is a recent development in the lattice Boltzmann method (LBM) community, addressing the intrinsic limitations of the traditional LBM by directly evolving macroscopic quantities and maintaining…
A simple HLLE-type scheme is proposed for all Mach number flows. In the proposed scheme, no extra wave structure is added in the HLLE scheme to resolve the shear wave while the contact wave is resolved by adding a wave structure similar to…
This paper studies data-driven stabilization of a class of unknown polynomial systems using data corrupted by bounded noise. Existing work addressing this problem has focused on designing a controller and a Lyapunov function so that a…
We present a systematic approach for calculating higher-order derivatives of smooth functions on a uniform grid using Pad\'e approximants. We illustrate our findings by deriving higher-order approximations using traditional second-order…
We consider the problem of formally verifying almost-sure (a.s.) asymptotic stability in discrete-time nonlinear stochastic control systems. While verifying stability in deterministic control systems is extensively studied in the…
This paper proposes several Converse Lyapunov Theorems for nonlinear dynamical systems defined on smooth connected Riemannian manifolds and characterizes properties of corresponding Lyapunov functions in a normal neighborhood of an…
This work proposes a novel distributed framework for verifying the incremental stability of large-scale systems with unknown dynamics and known interconnection structures using graph neural networks. Our proposed approach relies on the…
This paper investigates stability estimates for inverse source problems in the stochastic polyharmonic wave equation, where the source is represented by white noise. The study examines the well-posedness of the direct problem and derives…
We introduce a novel approach based on stochastic optimization to find the optimal sampling distribution for the data-driven stability analysis of switched linear systems. Our goal is to address limitations of existing approaches, in…
In many applications, SMT solvers are utilized to solve similar or identical tasks over time. Significant variations in performance due to small changes in the input are not uncommon and lead to frustration for users. This sort of stability…
We examine the non-linear stability of the Wisdom-Holman (WH) mapping applied to the integration of perturbed, highly eccentric two-body orbits. We find that the method is unstable and introduces artificial chaos into the computed…
Khasminski's \cite{chas1980stochastic} showed that many of the asymptotic stability and the integrability properties of the solutions to the Stochastic Differential Equations (SDEs) can be obtained using Lyapunov functions techniques. These…
This paper identifies a new pathology that can be found for numerical simulations of nonlinear conservation law systems. Many of the difficulties already identified in the literature (rarefaction shocks, carbuncle phenomena, slowly moving…
In this paper, we study the stability of solutions of stochastic McKean-Vlasov equations (SMVEs) via feedback control based on discrete-time state observation. By using a specific Lyapunov function, the $H_{\infty}$ stability, asymptotic…
A trigonometrically approximated maximum likelihood estimation for $\alpha$-stable laws is proposed. The estimator solves the approximated likelihood equation, which is obtained by projecting a true score function on the space spanned by…
We study the problem of robust global stabilization in control-affine systems, focusing on dynamic uncertainties in the control directions \emph{and} the presence of topological obstructions that prevent the existence of smooth global…
We study the inverse problem of determining a real-valued potential in the two-dimensional Schr\"odinger equation at negative energy from the Dirichlet-to-Neumann map. It is known that the problem is ill-posed and a stability estimate of…