Related papers: MSAT: Matrix stability analysis tool for shock-cap…
We consider the problem of solving floating-point constraints obtained from software verification. We present UppSAT --- a new implementation of a systematic approximation refinement framework [ZWR17] as an abstract SMT solver. Provided…
For a given a normally hyperbolic invariant manifold, whose stable and unstable manifolds intersect transversally, we consider several tools and techniques to detect trajectories with prescribed itineraries: the scattering map, the…
In this study, a linear stability analysis is performed for different Weakly Compressible Smooth Particle Hydrodynamics (WCSPH) methods on a 1D periodic domain describing an incompressible base flow. The perturbation equation can be…
In this paper, we present a methodology to achieve high-fidelity simulations of chemically reacting hypersonic flows and demonstrate our numerical solver's capabilities on a selection of configurations. The numerical tools are developed…
This paper presents a consistent computational framework for multiscale 1st order finite strain homogenization and stability analyses of rate-independent solids with periodic microstructures. Based on the principle of multiscale virtual…
Security assessment of large-scale, strongly nonlinear power grids containing thousands to millions of interacting components is a computationally expensive task. Targeting at reducing the computational cost, this paper introduces a…
Traditional dynamic security assessment faces challenges as power systems are experiencing a transformation to inverter-based-resource (IBR) dominated systems, for which electromagnetic transient (EMT) dynamics have to be considered.…
This paper presents a new Matlab toolbox, aimed at facilitating the use of polynomial optimization for stability analysis of nonlinear systems. In the past decade several decisive contributions made it possible to recast this type of…
We numerically study the superfluid to Mott insulator transition for bosonic atoms in a one dimensional lattice by exploiting a recently developed simulation method for strongly correlated systems. We demonstrate this methods accuracy and…
Numerical simulations of turbulent fluids are paramount to real-life applications, from predicting and modeling flows to diagnostic purposes in engineering. However, they are also computationally challenging due to their intrinsically…
Snapshot matrices of hyperbolic equations have a slow singular value decay, resulting in inefficient reduced-order models. We develop on the idea of inducing a faster singular value decay by computing snapshots on a transformed spatial…
The paper provides a novel framework to study the accuracy and stability of numerical integration schemes when employed for the time domain simulation of power systems. A matrix pencil-based approach is adopted to evaluate the error between…
A modification of Mott-Smith method for predicting the one-dimensional shock wave solution is presented. Mott-Smith distribution function is used to construct the system of moment equations to study the steady-state structure of shock wave…
Blackouts in power grids typically result from cascading failures. The key importance of the electric power grid to society encourages further research into sustaining power system reliability and developing new methods to manage the risks…
We present a general framework to study the metastability of random perturbations of dynamical systems. It integrates techniques from the theory of Markov processes, in particular the resolvent approach to metastability, with the spectral…
Eigenvalue analysis is a well-established tool for stability analysis of dynamical systems. However, there are situations where eigenvalues miss some important features of physical models. For example, in models of incompressible fluid…
This paper presents a novel stabilized mixed material point method (MPM) designed for the unified modeling of free-surface and seepage flow. The unified formulation integrates the Navier-Stokes equation with the Darcy-Brinkman-Forchheimer…
The energy transition is causing many stability-related challenges for power systems. Transient stability refers to the ability of a power grid's bus angles to retain synchronism after the occurrence of a major fault. In this paper a…
We present a numerical study of an idealized magnetohydrodynamic (MHD) configuration consisting of a planar wake flow embedded into a three-dimensional (3D) sheared magnetic field. Our simulations investigate the possibility for in-situ…
Split form schemes for Euler and Navier-Stokes equations are useful for computation of turbulent flows due to their better robustness. This is because they satisfy additional conservation properties of the governing equations like kinetic…