To motivate a study of asymptotic behaviour of nonlinear systems modelled by ordinary differential equations and differential inclusions, we indicate how such equations/inclusions arise naturally in control of dynamical process by feedback. The concept of control pertains to modifying the behaviour of the process, by manipulation of inputs to the process, in order to achieve some prescribed goa...

Geometric morphisms between realizability toposes are studied in terms of morphisms between partial combinatory algebras (pcas). The morphisms inducing geometric morphisms (the computationally dense ones) are seen to be the ones whose ‘lifts’ to a kind of completion have right adjoints. We characterize topos inclusions corresponding to a general form of relative computability. We characterize p...

In this paper we examine nonlinear hyperbolic inclusions in Banach spaces. With the aid of a compactness condition involving the ball measure of non-compactness we prove two existence theorems. The rst for problems with convex valued orientor elds and the second for problems with nonconvex valued ones.

This paper serves as a corrigendum to the paper titled Application of Pettis integration to delay second order differential inclusions appearing in EJQTDE no. 88, 2012. We present here a corrected version of Theorem 3.1, because Proposition 2.2 is not true. 1 Correction In the above article, Proposition 2.2 is not true since the normed space P 1 E ([0, 1]) is not complete. Consequently, to corr...

Herein we consider the existence of solutions to second-order, two-point boundary value problems (BVPs) for systems of ordinary differential inclusions. Some new Bernstein Nagumo conditions are presented that ensure a priori bounds on the derivative of solutions to the differential inclusion. These a priori bound results are then applied, in conjunction with appropriate topological methods, to ...

We consider the applications of the theory of condensing set-valued maps, the theory of set-valued linear operators, and the topological degree theory of the existence of mild solutions for a class of degenerate differential inclusions in a reflexive Banach space. Further, these techniques are used to obtain the solvability of general boundary value problems for a given class of inclusions. Som...

This paper studies the system stability problems of a class of nonconvex differential inclusions. At first, a basic stability result is obtained by virtue of locally Lipschitz continuous Lyapunov functions. Moreover, a generalized invariance principle and related attraction conditions are proposed and proved to overcome the technical difficulties due to the absence of convexity. In the technica...

We survey and announce some current results on the existence, the viability, and the topological structure of the viable solutions of differential equations and inclusion in Banach spaces under set constraints. Some new results concerning semilinear differential inclusions with state variables constrained to the so-called regular and strictly regular sets, together with their applications, are ...

In this paper we present an existence result for a first order impulsive differential inclusion with periodic boundary conditions and impulses at the fixed times under the convex condition of multi-functions.