Related papers: Generation of bounded invariants via stroboscopic …
We develop a method to prove almost global stability of stochastic differential equations in the sense that almost every initial point (with respect to the Lebesgue measure) is asymptotically attracted to the origin with unit probability.…
We consider the curvature driven dynamics of a domain wall separating two equivalent states in systems displaying a modulational instability of a flat front. We derive an amplitude equation for the dynamics of the curvature close to the…
Laminar-to-turbulence transition in zero-pressure-gradient boundary layer at Mach 4.5 is studied using direct numerical simulations. For a given level of total disturbance energy, the inflow spectra was designed to correspond to the…
We propose a scalable optimization framework for estimating convex inner approximations of the steady-state security sets. The framework is based on Brouwer fixed point theorem applied to a fixed-point form of the power flow equations. It…
Estimating the stability boundary is a fundamental and challenging problem in transient stability studies. It is known that a proper level set of a Lyapunov function or an energy function can provide an inner approximation of the stability…
Invariants are a set of properties over program attributes that are expected to be true during the execution of a program. Since developing those invariants manually can be costly and challenging, there are a myriad of approaches that…
In this paper, we obtain some preliminary results on stochastic control theory for time-varying linear systems both continuous and discrete, and further apply to aperiod sample-data linear systems. The Ito's lemma is utilized in this…
There is an increasing interest in designing differentiators, which converge exactly before a prespecified time regardless of the initial conditions, i.e., which are fixed-time convergent with a predefined Upper Bound of their Settling Time…
In this paper, we first propose a method that can efficiently compute the maximal robust controlled invariant set for discrete-time linear systems with pure delay in input. The key to this method is to construct an auxiliary linear system…
In this paper we present methods for the synthesis of polynomial invariants for probabilistic transition systems. Our approach is based on martingale theory. We construct invariants in the form of polynomials over program variables, which…
We discuss the dependence of set-valued dynamical systems on parameters. Under mild assumptions which are often satisfied for random dynamical systems with bounded noise and control systems, we establish the fact that topological…
In this paper, we consider the problem of stabilizing discrete-time linear systems by computing a nearby stable matrix to an unstable one. To do so, we provide a new characterization for the set of stable matrices. We show that a matrix $A$…
We consider non-stationary localized oscillations of an infinite Bernoulli-Euler beam. The beam lies on the Winkler foundation with a point inhomogeneity (a concentrated spring with negative time-varying stiffness). In such a system with…
This is a technical report that extends and clarifies the results presented in [1]. The model identification problem for asymptotically stable linear time invariant systems is considered. The system output is affected by an additive noise…
For delayed reaction-diffusion Schnakenberg systems with Neumann boundary conditions, critical conditions for Turing instability are derived, which are necessary and sufficient. And existence conditions for Turing, Hopf and Turing-Hopf…
Two general upper bounds on the topological entropy of nonlinear time-varying systems are established: one using the matrix measure of the system Jacobian, the other using the largest real part of the eigenvalues of the Jacobian matrix with…
For a closed-loop control system with a digital channel between the sensor and the controller, the notion of invariance entropy quantifies the smallest average rate of information transmission above which a given compact subset of the state…
The recently introduced structured input-output analysis is a powerful method for capturing nonlinear phenomena associated with incompressible flows, and this paper extends that method to the compressible regime. The proposed method relies…
A mathematical model describing the initial stage of the capture of oscillatory systems into autoresonance under the action of slowly varying pumping is considered. Solutions with an infinitely growing amplitude are associated with the…
This paper concerns the inverse source problems for the time-harmonic elastic and electromagnetic wave equations. The goal is to determine the external force and the electric current density from boundary measurements of the radiated wave…