Reachable set bounding for nonlinear perturbed time-delay systems: The smallest bound

In this letter, we propose a new approach to obtain the smallest box which bounds all reachable sets of a class of nonlinear time-delay systems with bounded disturbances. A numerical example is studied to illustrate the obtained result.     

Positive Reachability for Diffusion Equations

Counterexamples are constructed for some plausible conjectures. Typical of these: as the Maximum Principle ensures that positive boundary data give a positive state at time T from 0 initial data, one might (plausibly, but falsely) conjecture that all positive terminal states should be approximately reachable in this way, i.e., subject to the requirement that the boundary data stays nonnegative.     

Generalizing Mutational Equations for Uniqueness of Some Nonlocal 1st-Order Geometric Evolutions

The mutational equations of Aubin extend ordinary differential equations to metric spaces (with compact balls). In first-order geometric evolutions, however, the topological boundary need not be continuous in the sense of Painlevé–Kuratowski. So this paper suggests a generalization of Aubin’s mutational equations that extends classical notions of dynamical systems and functional analysis beyond the traditional border of vector spaces: Distribution-like solutions are introduced in a set just supplied with a countable family of (possibly non-symmetric) distance functions. Moreover their existence is proved by means of Euler approximations and a form of “weak” sequential compactness (although no continuous linear forms are available beyond topological vector spaces). This general framework is applied to a first-order geometric example, i.e. compact subsets of ℝ ^N evolving according to the nonlocal properties of both the current set and its proximal normal cones. Here neither regularity assumptions about the boundaries nor the inclusion principle are required. In particular, we specify sufficient conditions for the uniqueness of these solutions.      

On reachable set bounding for discrete-time switched nonlinear positive systems with mixed time-varying delays and disturbance

This paper addresses the reachable set bounding for discrete-time switched nonlinear positive systems with mixed time-varying delays and disturbance, which contains switched linear positive systems as a special case. By resorting to a new method that does not involve the common Lyapunov–Krasovskii functional one, explicit criteria to ensure any state trajectory of the system converges exponentially into a prescribed sphere are obtained under average dwell time switching. The results can then be extended to more general time-varying systems. Finally, two numerical examples are used to demonstrate the effectiveness of the obtained results.     

A viability theorem for set-valued states in a Hilbert space

Applications in robust control problems and shape evolution motivate the mathematical interest in control problems whose states are compact (possibly non-convex) sets rather than vectors. This leads to evolutions in a basic set which can be supplied with a metric (like the well-established Pompeiu–Hausdorff distance), but it does not have an obvious linear structure. This article extends differential inclusions with state constraints to compact-valued states in a separable Hilbert space H. The focus is on sufficient conditions such that a given constraint set (of compact subsets) is viable a.k.a. weakly invariant. Our main result extends the tangential criterion in the well-known viability theorem (usually for differential inclusions in a vector space) to the metric space of non-empty compact subsets of H.     

Shape evolutions under state constraints: A viability theorem

The aim of this paper is to adapt the Viability Theorem from differential inclusions (governing the evolution of vectors in a finite-dimensional space) to so-called morphological inclusions (governing the evolution of nonempty compact subsets of the Euclidean space).In this morphological framework, the evolution of compact subsets of is described by means of flows along differential inclusions with bounded and Lipschitz continuous right-hand side. This approach is a generalization of using flows along bounded Lipschitz vector fields introduced in the so-called velocity method alias speed method in shape analysis.Now for each compact subset, more than just one differential inclusion is admitted for prescribing the future evolution (up to first order)—correspondingly to the step from ordinary differential equations to differential inclusions for vectors in the Euclidean space.We specify sufficient conditions on the given data such that for every initial compact set, at least one of these compact-valued evolutions satisfies fixed state constraints in addition. The proofs follow an approximative track similar to the standard approach for differential inclusions in , but they use tools about weak compactness and weak convergence of Banach-valued functions. Finally the viability condition is applied to constraints of nonempty intersection and inclusion, respectively, in regard to a fixed closed set .     

Properties of reachable sets in the sub-Lorentzian geometry

The aim of this paper is to develop local theory of future timelike, nonspacelike and null reachable sets from a given point _q0$q_0$ in the sub-Lorentzian geometry. In particular, we prove that if U$U$ is a normal neighbourhood of _q0$q_0$ then the three reachable sets, computed relative to U$U$, have identical interiors and boundaries with respect to U$U$. Further, among other things, we show that for Lorentzian metrics on contact distributions on R²ⁿ⁺¹${\mathbb{R}}^{2n+1}$, n≥1$n\ge 1$, the boundary of reachable sets from _q0$q_0$ is, in a neighbourhood of _q0$q_0$, made up of null future directed curves starting from _q0$q_0$. Every such curve has only a finite number of non-smooth points; smooth pieces of every such curve are Hamiltonian geodesics. For general sub-Lorentzian structures, contrary to the Lorentzian case, timelike curves may appear on the boundary. It turns out that such curves are always Goh curves. We also generalize a classical result on null Lorentzian geodesics: every null future directed Hamiltonian sub-Lorentzian geodesic initiating at _q0$q_0$ is contained, at least to a certain moment of time, in the boundary of the reachable set from _q0$q_0$.