This survey presents recent research on determining control-theoretic properties and
designing controllers with rigorous guarantees using semidefinite programming and for …

The background method is a widely used technique to bound mean properties of turbulent
flows rigorously. This work reviews recent advances in the theoretical formulation and …

In a recent article, we have shown how to learn controllers for unknown linear systems using
finite-length noisy data by solving linear matrix inequalities. In this article, we extend this …

The purpose of this SpringerBrief is to review heat transfer in layers of convective fluid. Six
different configurations are considered—three that are versions of Rayleigh–Bénard (RB) …

This paper presents a comprehensive exploration of semi-definite programming (SDP)
techniques within the context of quantum information. It examines the mathematical …

We present methods for bounding infinite-time averages in dynamical systems governed by
nonlinear PDEs. The methods rely on auxiliary functionals, which are similar to Lyapunov …

We describe methods for proving upper and lower bounds on infinite-time averages in
deterministic dynamical systems and on stationary expectations in stochastic systems. The …

We investigate linear–quadratic dynamical systems with energy-preserving quadratic terms.
These systems arise for instance as Galerkin systems of incompressible flows. A criterion is …

For any quantity of interest in a system governed by ordinary differential equations, it is
natural to seek the largest (or smallest) long-time average among solution trajectories, as …

We consider the safe control problem of designing a robustly invariant set using only a finite
set of data collected from an unknown input-affine polynomial system in continuous time. We …