Related papers: Virtual Testing of Experimental Continuation
Online evaluation of machine learning models is typically conducted through A/B experiments. Sequential statistical tests are valuable tools for analysing these experiments, as they enable researchers to stop data collection early without…
In this work, we propose and investigate stable high-order collocation-type discretisations of the discontinuous Galerkin method on equidistant and scattered collocation points. We do so by incorporating the concept of discrete least…
The quasi-coherent effects in two-dimensional incompressible turbulence are analyzed starting from the test particle trajectories. They can acquire coherent aspects when the stochastic potential has slow time variation and the motion is not…
Context: The complexity of modern safety-critical systems in industries keep on increasing due to the rising number of features and functionalities. This calls for formal methods in order to entrust confidence in such systems. Nevertheless,…
This paper presents a probabilistic model validation methodology for nonlinear systems in time-domain. The proposed formulation is simple, intuitive, and accounts both deterministic and stochastic nonlinear systems with parametric and…
We provide several characterizations of convergence to unstable equilibria in nonlinear systems. Our current contribution is three-fold. First we present simple algebraic conditions for establishing local convergence of non-trivial…
This paper studies a control method for switching stable coexisting attractors of a class of non-autonomous dynamical systems. The central idea is to introduce a continuous path for the system's trajectory to transition from its original…
In this paper we consider the problem of stabilization and tracking of desired state trajectory for a wide range of nonlinear control problems with disturbances. We present the sufficient conditions for the existence of $C^k$ state feedback…
Equilibrium or stationary solutions usually proceed through the exact balance between hyperbolic transport terms and source terms. Such equilibrium solutions are affected by truncation errors that prevent any classical numerical scheme from…
In this paper, a new combination of a dynamic transformation method and a trajectory-based integration technique is proposed for the model independent computation of unstable equilibrium points (UEPs). The transformation method converts a…
We present a unified framework for the analysis of space-time methods based on Galerkin-type time discretizations for parabolic and hyperbolic problems. Crucially, the stability analysis relies on a suitable choice of test functions to…
In this paper, we design and analyze a Virtual Element discretization for the steady motion of non-Newtonian, incompressible fluids. A specific stabilization, tailored to mimic the monotonicity and boundedness properties of the continuous…
We propose new methods for learning control policies and neural network Lyapunov functions for nonlinear control problems, with provable guarantee of stability. The framework consists of a learner that attempts to find the control and…
Nonequilibrium steady states of vibrated inelastic frictionless spheres are investigated in quasi-two-dimensional confinement via molecular dynamics simulations. The phase diagram in the density-amplitude plane exhibits a fluidlike…
A robust controller is developed for uncertain, second-order nonlinear systems subject to simultaneous unknown, time-varying state delays and known, time-varying input delays in addition to additive, sufficiently smooth disturbances. An…
Adiabatic passage is a standard tool for achieving robust transfer in quantum systems. We show that, in the context of driven nonlinear Hamiltonian systems, adiabatic passage becomes highly non-robust when the target is unstable. We show…
Linear stability analysis currently fails to predict turbulence transition in canonical viscous flows. We show that two alternative models of the boundary condition for incipient perturbations at solid walls produce linear instabilities…
New testing and development procedures and methods are needed to address topics like power system stability, operation and control in the context of grid integration of rapidly developing smart grid technologies. In this context, individual…
We study experimentally a system comprised of linear chains of spin-1/2 nuclei that provides a test-bed for multi-body dynamics and quantum information processing. This system is a paradigm for a new class of quantum information devices…
Information in the time distribution of points in a state space reconstructed from observed data yields a test for ``nonstationarity''. Framed in terms of a statistical hypothesis test, this numerical algorithm can discern whether some…