Related papers: Virtual Testing of Experimental Continuation
Precise motion control of underactuated surface vessels is a crucial task in various maritime applications. In this work, we develop a nonlinear motion control strategy for surface vessels inspired by the pursuit guidance philosophy. Any…
This paper examines the verification of stability, a control requirement, over discrete control systems represented as Simulink diagrams, using different model checking approaches and tools. Model checking comprises the (exhaustive)…
In this work we construct reliable a posteriori estimates for some discontinuous Galerkin schemes applied to nonlinear systems of hyperbolic conservation laws. We make use of appropriate reconstructions of the discrete solution together…
Affordable, high order simulations of turbulent flows on unstructured grids for very high Reynolds number flows require wall models for efficiency. However, different wall models have different accuracy and stability properties. Here, we…
Perception-based neural network controllers are increasingly used in autonomous systems that rely on visual inputs to operate in the real world. Ensuring the safety of such systems under uncertainty is challenging. Existing verification…
Some hyperbolic systems are known to include implicit preservation of differential constraints: these are for example the time conservation of the curl or the divergence of a vector that appear as an implicit constraint. In this article, we…
The result of a physical measurement depends on the timescale of the experimental probe. In solid-state systems, this simple quantum mechanical principle has far-reaching consequences: the interplay of several degrees of freedom close to…
We are interested in the control of forming processes for nonlinear material models. To develop an online control we derive a novel feedback law and prove a stabilization result. The derivation of the feedback control law is based on a…
Jump penalty stabilisation techniques have been recently proposed for continuous and discontinuous high order Galerkin schemes [1,2,3]. The stabilisation relies on the gradient or solution discontinuity at element interfaces to incorporate…
In many plasma systems, introducing a small background shear flow is enough to stabilize the system linearly. The nonlinear dynamics are much less sensitive to sheared flows than the average linear growthrates, and very small amplitude…
A discontinuous Galerkin method has been developed for strain gradient-dependent damage. The strength of this method lies in the fact that it allows the use of $C^0$ interpolation functions for continuum theories involving higher-order…
This paper is concerned with the development and analysis of a mathematical model that is motivated by interstitial hydrodynamics and tissue deformation mechanics (poro-elasto-hydrodynamics) within an in-vitro solid tumor. The classical…
We study the equilibrium statics and nonequilibrium driven dynamics of flux line liquids in presence of a random pinning potential. Under the assumption of replica symmetry, we find in the static case using a replica Gaussian variational…
Control-based continuation (CBC) is an experimental method that can reveal stable and unstable dynamics of physical systems. It extends the path-following principles of numerical continuation to experiments, and provides systematic…
We study the numerical approximation by space-time finite element methods of a multi-physics system coupling hyperbolic elastodynamics with parabolic transport and modeling poro- and thermoelasticity. The equations are rewritten as a…
Motivated by considering partial differential equations arising from conservation laws posed on evolving surfaces, a new numerical method for an advection problem is developed and simple numerical tests are performed. The method is based on…
In this paper, we directly design a state feedback controller that stabilizes a class of uncertain nonlinear systems solely based on input-state data collected from a finite-length experiment. Necessary and sufficient conditions are derived…
The discontinuous Galerkin (DG) method is an established method for computing approximate solutions of partial differential equations in many applications. Unlike continuous finite elements, in DG methods, numerical fluxes are used to…
This paper develops and analyses semi-discrete numerical method for two dimensional Vlasov-Stokes' system with periodic boundary condition. The method is based on coupling of semi-discrete discontinuous Galerkin method for the Vlasov…
This thesis aims at investigating the first steps toward an unconditionally stable space-time isogeometric method, based on splines of maximal regularity, for the linear acoustic wave equation. The unconditional stability of space-time…