Measure differential inclusions - between continuous and discrete
© Cichoń and Satco; licensee Springer. 2014
Received: 17 October 2013
Accepted: 20 January 2014
Published: 4 February 2014
The paper is devoted to the study of the measure-driven differential inclusions , for arbitrary finite Borel measure μ. This type of results allows one to treat in a similar manner differential and difference inclusions, as well as impulsive problems and therefore to study the evolution of hybrid systems with very complex (including Zeno) behavior. Our method is based on viewing the Borel measures as Lebesgue-Stieltjes measures. We thus obtain, under very general assumptions, the existence of regulated or bounded variation solutions of the considered problem and we indicate some advantages of our approach.
MSC:49N25, 34A60, 93C30, 49J53, 37N35, 34A37.
where is a closed convex-valued multifunction and μ is a positive regular Borel measure. This kind of problems covers some well-known cases like usual differential inclusions (when μ is the Lebesgue measure), difference inclusions (for discrete measure μ) and some impulsive multivalued problems (in the case where the measure μ can be decomposed as a sum of the Lebesgue measure and a finite sum of Dirac measures-see [1–3]). There are several approaches for the above problems (direct methods or time scale analysis, for instance) but our method, based on Lebesgue-Stieltjes integration, seems to be the most natural.
This kind of results has a long history and is well motivated. A very interesting and well-illustrated course on hybrid inclusions can be found in , for instance. Nevertheless, several different approaches, different solutions and many applications for measure-driven equations or inclusions can also be found in the literature. Let us note the paper by Moreau . It is necessary to mention at least some basic papers by Code and Loewen , Goebel and Teel , Sesekin and Fetisova , Silva and Vinter , Aubin [1, 2], Ahmed , Pereira, Silva and Oliveira [11, 12] and recently by Goncharova and Staritsyn , Filippova , Lygeros, Quincampoix and Rzeżuchowski  and Leine-van de Wouw . Note that in this theory discontinuous functions are usually considered as solutions, which means that we can expect some paradoxes. In particular, different functions can serve as solutions for the same problem in different meanings (cf. ). Thus we stress that a crucial aspect of this theory is to fix the definition for the concept of a solution for (1).
We concentrate on two aspects of mentioned papers: we relax the assumptions on μ and on G by imposing some conditions related to the optimal control theory and we reduce the general problem by working with Lebesgue-Stieltjes integral equations and utilizing their methods and results.
It should be also noted that our results lead in a natural way to some existence theorems for differential and difference inclusions or impulsive problems (for particular measures). Moreover, as claimed in , measure-driven differential inclusions provide a convenient framework for formulating optimal control problems for both conventional and impulse controls.
Let us point out that in the context of differential equations this approach has been known for many years. To the best of our knowledge the first equation with a measure as a coefficient was considered by Kronig and Penney in 1931  and as an integral problem by Atkinson  in 1964 - in the context of the Riemann-Stieltjes integral. The systematic study for measure-perturbed problems started in the 1970s. It is necessary to mention some basic papers by Sharma , Shendge and Joshi  or Dhage and Bellale . The method via integral equations for some differential equations (with the Perron-Stieltjes integral) were continued in a systematic way by Schwabik, Tvrdý and Vejvoda  in 1979; then some cases have been studied by Wyderka [23, 24], see also . There is still a growing number of papers dealing with measure differential equations ( or , for instance).
To end the introductory section, we remark that in the considered case there are some difficulties. One of these lies in the lack of natural assumptions implying the existence of suitable integrals (namely, for discontinuous functions the Riemann-Stieltjes integral with respect to bounded variation functions might not be well-defined) and then the question of the chosen definition of the concept of solution. Another problem is how to find (or at least approximate) this solution. For measure-driven differential equations there are some satisfactory answers (cf. [8, 27] or [28, 29] for hybrid systems, for instance). For differential inclusions the situation is more complicated, as will be clarified in what follows. We will also focus on some aspects of this theory, which are related to unification of many multivalued problems (including continuous, discrete, and impulsive systems).
2 Miscellaneous results from measure theory
Unlike in the case of usual differential inclusions, the measure theory and the theory of Lebesgue-Stieltjes integrals form the basic tools of our paper. In order to make the paper self-contained we recall all necessary results from these theories.
ν is said to be absolutely continuous with respect to μ if whenever .
ν and μ are said to be mutually singular if there exists a measurable set A with .
Recall also of the following notions:
A set is an atom of the measure μ if and each measurable subset F of E has either or .
A measure is called nonatomic (or diffuse, in probability theory) if it has no atoms.
We shall say that a measure is purely atomic if every measurable set of positive measure contains an atom.
Two atoms and are said to be non-equivalent if . In this case . Any σ-finite measure has at most a countable number of pairwise non-equivalent atoms (e.g. [, p.55]).
We are interested in using Borel measures to solve the problem announced in the Introduction. The classical Riesz Representation Theorem characterizes the finite regular Borel measures on a compact metrizable space as linear continuous functionals on the space of real continuous functions. This characterization is used by most of the authors studying measure-driven equations, e.g. [9, 23].
We prefer here another approach, based on Lebesgue-Stieltjes integration. First of all, recall ([, p.438] or [, p.126]) that any finite Borel measure on a Polish space (in particular on the unit interval of the real line) is regular. It was shown that every finite Borel measure on the real line agrees with some Lebesgue-Stieltjes measure restricted to the class of Borel sets. More precisely we have:
Theorem 1 [, Theorem 3.21]
Let μ be a Borel measure on ℝ with for every bounded Borel set B. Then there exists a nondecreasing, right-continuous function such that for any Borel set B.
Here denotes the Lebesgue-Stieltjes measure with distribution function F. Moreover, it was shown (see [, pp.236-238]) that:
The measure is nonatomic if and only if F is continuous.
The measure is absolutely continuous with respect to the Lebesgue measure if and only if F is absolutely continuous.
The measure is nonatomic and singular with respect to the Lebesgue measure if and only if F is a singular function.
Recall that a singular function is a function which is continuous and nondecreasing on a real interval and has the derivative 0 except for a set of zero Lebesgue measure. There exist non-constant singular functions on the unit interval (e.g. [, p.282]), examples of such functions being in general constructed using the Cantor set.
Concerning the atoms of Lebesgue-Stieltjes measures, it can be seen in [, p.132] or [, 211X] that each atom E contains a singleton for which . Comparing to definition (v) above, this explains why in some references (such as ) a measure μ is called purely atomic if there exists a countable set A such that the outer measure of each singleton , is strictly positive and the outer measure of the complementary of A is 0. Obviously, if each singleton is measurable, then the measure takes the place of the outer measure in the previous sentence.
Then any Lebesgue-Stieltjes measure (associated with F) may be split into a sum of three measures: discrete, absolutely continuous and singular ones.
As we will prove our results via Lebesgue-Stieltjes measures, it is worthwhile to recall some basic properties of Lebesgue-Stieltjes integrals; they are consequences of Proposition 2.3.16 in , where the functions are real-valued and the integral under consideration is the Perron-Stieltjes one (which is even more general than the Lebesgue-Stieltjes integral). For generalized integral equations, investigated also independently of our motivations, the class of regulated functions plays a major role. Solutions for integral problems involving Lebesgue-Stieltjes or Perron-Stieltjes integrals should be investigated outside the space of continuous functions or the spaces of functions with bounded variation. It was clarified in  that the space of regulated functions is the best choice for the space of solutions.
Since the notion of regulated functions has sometimes different meanings, we need to describe this class of functions.
Definition 2 A function is said to be regulated if there exist the limits and for all points and .
It is well known that the set of discontinuities for a regulated function is at most countable, but such a function need not be of bounded variation. Moreover, a function is regulated if and only if it is a uniform limit of a sequence of finite step functions. The following property of the indefinite Kurzweil-Stieltjes integral implies that solutions of measure differential equations are regulated functions. This can explain when our solutions are either of bounded variation or regulated.
Proposition 3 [, Proposition 2.3.16]
- (i)If F is regulated, then so is the primitive , and for every ,
If F is of bounded variation and g is bounded, then h is also of bounded variation.
By we will denote the characteristic function of the set . We also need some preliminary facts from set-valued analysis.
where B is the unit ball of . In the obvious way we call a multifunction usc when it is usc at each point .
3 Main results
is crucial. Indeed, as pointed out in an example in , taking the integral on a closed, resp. open interval (which is equivalent to integrating on a closed interval the left limit of the function) leads to completely different solutions.
Let us note that for discontinuous solutions there is always a problem how to define a solution in the points of discontinuity. A very interesting survey on the topic can be found in . We need to remark that distinct definitions of solutions can lead to distinct solutions ! The existence and uniqueness of solutions of considered problems depend on the conditions for μ and g. Due to the existence of atoms for the measure μ there is a question about the uniqueness of solutions for a (possibly) discontinuous function g. The explicit scheme is a natural choice for physical systems and we will follow this idea. This allows us to fill the gap in this theory. If we compare our result with some earlier ones we need to recall that for purely atomic measure μ the above condition of integrability means that the series is finite (where is a set of atoms for μ) - cf. [8, 16], for instance.
Let us present some auxiliary result:
We are ready to present our first result for measure-driven differential inclusions (1) for a general class of finite Borel measures. Let us note that the presented theorem is intended to unify and to extend the earlier ones. We not only formulate an existence result, but we also include a method how to find this solution as a limit of some approximations. We refer the reader to  for the discussion, some motivations and examples for measure-driven problems.
is product Borel measurable,
is usc for every ,
- (3)there exists a μ-integrable function such that
Then there exists at least one solution for the measure-driven differential problem (1).
Proof Our proof is based on an iteration procedure. More precisely, we construct a sequence of approximate solutions (being regulated functions) which is shown to have a convergent subsequence due to some compactness properties.
So, let for . Suppose then that we have already constructed a regulated (bounded variation (BV)) function on and choose by following a scheme that is described in the sequel.
By our hypotheses on G we ensure that the function G is superpositionally Borel measurable . Since is regulated (BV), there exists at every point t. It can be obtained as , where is a sequence of positive numbers converging to 0 (such that ). Therefore the function is measurable as a pointwise limit of a sequence of measurable functions and then the multifunction is Borel measurable too.
As it was presented in the preliminary part of the paper (Theorem 1), the measure μ is, in fact, a Lebesgue-Stieltjes measure with respect to a BV, right-continuous function F. Thus the previous integral should be understood in the sense of i.e. as a Lebesgue-Stieltjes integral. This integral is well defined since the selection is Borel measurable, F is of bounded variation and, as said before, bounded by . Moreover, by Proposition 3, is a regulated function.
The function F is of bounded variation and right-continuous, therefore it has at most countable points of left discontinuity. Let be the set of its discontinuity points.
has the property that the subsequence of is pointwise convergent to x.
and it can be seen that it tends to 0 since , and .
and so, x is a solution. □
Remark 7 The solutions are, following Proposition 3, regulated. In the particular case where M is bounded, all approximate solutions and our solution too are, in fact, of bounded variation.
Moreover, when μ is absolutely continuous with respect to the Lebesgue measure we obtain a result related to that in [, Theorem 4, p.101]. Our theorem provides the existence of slow solutions for the considered problem in the sense of [, Definition 1, p.97].
Under a different boundedness assumption, very natural and well known in Lebesgue integration, we get another existence result.
Theorem 8 Let the finite Borel measure μ on and satisfy hypotheses (1), (2) in Theorem 6 and
(3′) there exist a positive function and a constant such that for all and .
Then there exists at least one solution for the measure-driven differential problem (1) on some interval .
Proof First, as the map is regulated, it is bounded on by some . Also, denoting by , we get a nondecreasing function. Since 0 is not a point of discontinuity, one can choose such that .
The rest of the proof goes as before, and thus the existence of solutions in the considered sense is achieved. □
By applying an appropriate version of Gronwall’s lemma we will be able to prove that, in fact, under the assumptions of the previous theorem, one can find global solutions.
Let us recall the following Gronwall-type result (where denotes the set of all atoms of μ):
Lemma 9 [, Lemma 8.5]
Recall that and the latest is increasing and of bounded variation.
Theorem 11 Let the finite Borel measure μ on and satisfy hypotheses in Theorem 8. Then there exists at least one global solution for the measure-driven differential problem (1).
for every .
is product Borel measurable,
is usc for every ,
- (3)there exists a μ-integrable function such that
Step III. Since on both branches for all and we can show, by using Gronwall’s Lemma like at Step I, that any solution obtained at Step II satisfies the inequality and so, it is a solution of the initial value problem (1). □
Remark 12 (i) As it can be seen in our results, the usual assumptions in set-valued analysis are used in a natural way and conduct to existence results for a finite Borel measure-driven differential inclusion. Of course, in the proof, the measure-theory results available for complete measures, such as equivalent definitions of measurability of multifunctions (cf. [, Chapter III] or ), must be avoided.
(ii) Let us now notice that in the main theorems we replaced the condition that G is (locally) Lipschitz (which was used in most of the previously obtained existence results for measure-driven inclusions) by its upper semicontinuity. Moreover, comparing to  (which also considers upper semicontinuous multifunctions), we imposed only the upper semicontinuity with respect to the second argument, along with a jointly measurability condition. Since such a kind of results has many applications in the control theory, it seems to be an important improvement. It is very natural to require this kind of assumptions instead of stronger ones. For differential inclusions this is sufficient for proving upper semicontinuity of the solution mapping and then to find an optimal control (cf.  or [, Chapter 6], for instance).
The considered in this model dynamical system is a sum of a slow-time velocity belonging to a set and a fast-time contribution coming from another set , where is a vector-valued discrete measure.
Our existence results allow to assert that the problem possess solutions in the more general case where both multifunctions can be time-dependent and only upper semicontinuous.
In a series of papers of Silva and his collaborators (e.g. ) another definition for the solution was considered (going back to ). The main idea is to use a reparametrization method for μ and in this way to transform the measure-driven differential inclusions into usual differential inclusions.
In earlier works a kind of limit solutions x was considered (i.e. x is a limit of approximated solutions for problems driven by measures tending, in some sense, to μ - cf. ). More precisely, the measure μ was approximated by measures which are absolutely continuous with respect to the Lebesgue measure and the limit was shown to be independent on the choice of this sequence , see . A similar concept (approximable solutions) for particular measures can be found in [8, 16].
It is interesting that these two definitions are equivalent and can be described as follows.
In some particular cases (as, for example, the problem studied in ) our Definition 4 of a solution is equivalent to that of a robust solution. Obviously, for a general Borel measure μ the two concepts are distinct.
Our concept of solution does not offer this closure property (as stated in [, p.731]), which is essential in some cases (see  or ), but we consider more general problems and in many situations, for non-robust systems (see [16, 46, 53]) solutions as in our Definition 4 are also good enough.
Recall that when considering discontinuous solutions, a fixed measure-driven problem can have solution in one sense and not to have solutions in another sense. Furthemore, different functions can be simultaneously solutions for the same problem-considered in different senses. So, obviously, separate solutions require separate existence theorems.
Until now, we described the problem with an arbitrary Borel measure. One of the possible extensions is to consider for each of the three measures in which our measure can be decomposed (see Section 2) a different set of assumptions. In our main theorem we impose with , i.e. the assumptions on () should be the same. Almost all papers dealing with measure-perturbed multivalued problems are devoted to the study of only some particular cases of our problem. This is motivated by direct applications of obtained results or there are some problems in the proposed proofs. Moreover, different kind of solutions are considered (mainly due to different applications or proofs). In our opinion, the general case seems to be interesting, because this allows one to indicate some possible extensions in earlier papers.
for and for some -integrable function and -a.e.,
for some -integrable function and -a.e.,
for some -integrable function and -a.e.
where A denote a set of atoms for μ and all the above integrals should be finite (convergent).
The theorem given below allows us to distinguish between different assumptions on every part of the measure μ.
is such that is product Borel measurable, is usc for every , there exist a positive function and a constant such that for all and ,
is such that is product Borel measurable, is usc for every , there exists a positive function such that for all and ,
is such that has compact values and is bounded by . Moreover the set-valued map is usc, uniformly in .
Then there exists at least one solution for the measure-driven differential problem (8).
The proof of the above theorem runs like the proof of our main theorem with an appropriate change of the definition of a sequence , so we leave a detailed proof to the reader.
The proposed approach via measure-driven inclusions seems to be interesting, because it allows one to unify separately investigated cases for different multivalued problems. Let us recall that in the cases listed below solutions are treated in the sense of Definition 4. This means that there is no general method for an approximation of such solutions (like in our Definition 14) and from this point of view our results are more applicable.
Corollary 18 [, p.98]
Let be an open subset containing . Let F be an upper semicontinuous map from Q into the nonempty closed convex subsets of . We assume that is locally compact. Then there exist and an absolutely continuous function defined on , a (slow) solution to the differential inclusion , .
Here the minimal selection of a multifunction F is locally compact in the sense that for each point one can find a neighborhood which is mapped into a compact set (see [, p.97]).
Corollary 19 [, Corollary 4.2]
Then for any positive Borel measure having the Lebesgue decomposition (i.e. ) and arbitrary there exists a solution for (8).
For the case of discrete measures let us recall the following result formulated in  in the language of dynamic inclusions i.e. inclusions on time scales (cf. also ). Here we consider the case and then we have a difference inclusion.
Notice that difference inclusions are also investigated without the context of time scales. A similar result to the one presented above can be found in [, Theorem 2.1] in a direct form of difference inclusions. In  difference inclusions are used to solve some problems in optimal control theory. In particular, it was proved that any solution for autonomous differential inclusions can be approximated by a sequence of solutions for difference inclusions (the multifunction G is assumed to be bounded and Lipschitz). A brief discussion of other motivations for difference inclusions can be found in  (see also the references therein). We refer to  for a full survey of difference methods for differential inclusions. Also, the problem for difference inclusions was investigated in the case of impulsive differential inclusions (, for instance) and in this setting our approach seems to be natural and does not require separate studies.
Moreover, some results presented for the case of so-called q-difference inclusions could be reformulated in our language, but till now they are only particular cases of Corollary 20.
The authors are deeply indebted to the anonymous reviewers for their valuable suggestions. This work was supported by a grant of the Romanian National Authority for Scientific Research, CNCS-UEFISCDI, project number PN-II-RU-TE-2012-3-0336.
- Aubin, J-P: Impulsive Differential Inclusions and Hybrid Systems: A Viability Approach. Lecture Notes, Univ. Paris (2002)Google Scholar
- Aubin J-P, Lygeros J, Quincampoix M, Sastry S, Seube N: Impulse differential inclusions: a viability approach to hybrid systems. IEEE Trans. Autom. Control 2002, 47: 2-20. 10.1109/9.981719MathSciNetView ArticleGoogle Scholar
- Lygeros J, Quincampoix M, Rzeżuchowski T: Impulse differential inclusions driven by discrete measures. Lecture Notes in Computer Science 4416. Hybrid Systems: Computation and Control 2007, 385-398.View ArticleGoogle Scholar
- Aubin J-P: Impulse and Hybrid Control Systems: A Viability Approach. A Mini-Course. University of California Press, Berkeley; 2002.Google Scholar
- Moreau JJ: Bounded variation in time. In Topics in Nonsmooth Mechanics. Edited by: Moreau JJ, Panagiotopoulos PD, Strang G. Birkhäuser, Basel; 1988:1-74.View ArticleGoogle Scholar
- Code WJ, Loewen PD: Optimal control of non-convex measure-driven differential inclusions. Set-Valued Var. Anal. 2011, 19: 203-235. 10.1007/s11228-010-0138-8MathSciNetView ArticleMATHGoogle Scholar
- Goebel R, Teel AR: Solutions to hybrid inclusions via set and graphical convergence with stability theory applications. Automatica 2006, 42: 573-587. 10.1016/j.automatica.2005.12.019MathSciNetView ArticleMATHGoogle Scholar
- Sesekin AN, Fetisova YV: Functional differential equations in the space of functions of bounded variations. Proc. Steklov Inst. Math. 2010, 2: 258-265. suppl.View ArticleMATHGoogle Scholar
- Silva GN, Vinter RB: Measure driven differential inclusions. J. Math. Anal. Appl. 1996, 202: 727-746. 10.1006/jmaa.1996.0344MathSciNetView ArticleMATHGoogle Scholar
- Ahmed NU: Measure solutions impulsive evolution differential inclusions and optimal control. Nonlinear Anal. 2001, 47: 13-23. 10.1016/S0362-546X(01)00152-3MathSciNetView ArticleMATHGoogle Scholar
- Pereira FL, Silva GN: Necessary conditions of optimality for vector-valued impulsive control problems. Syst. Control Lett. 2000, 40: 205-215. 10.1016/S0167-6911(00)00027-XMathSciNetView ArticleMATHGoogle Scholar
- Pereira FL, Silva GN, Oliveira V: Invariance for impulsive control systems. Autom. Remote Control 2008, 69: 788-800. 10.1134/S0005117908050068MathSciNetView ArticleMATHGoogle Scholar
- Goncharova E, Staritsyn M: Optimization of measure-driven hybrid systems. J. Optim. Theory Appl. 2012, 153: 139-156. 10.1007/s10957-011-9944-xMathSciNetView ArticleMATHGoogle Scholar
- Filippova TF: Set-valued solutions to impulsive differential inclusions. Math. Comput. Model. Dyn. Syst. 2005, 11: 149-158. 10.1080/13873950500068542MathSciNetView ArticleMATHGoogle Scholar
- Leine RI, van de Wouw N: Uniform convergence of monotone measure differential inclusions: with application to the control of mechanical systems with unilateral constraints. Int. J. Bifurc. Chaos 2008, 18: 1435-1457. 10.1142/S0218127408021099MathSciNetView ArticleMATHGoogle Scholar
- Sesekin AN, Zavalishchin ST: Dynamic Impulse Systems. Kluwer Academic, Dordrecht; 1997.MATHGoogle Scholar
- Kronig R, Penney W: Quantum mechanics in crystal lattices. Proc. R. Soc. Lond. 1931, 130: 499-513. 10.1098/rspa.1931.0019View ArticleMATHGoogle Scholar
- Atkinson FV: Discrete and Continuous Boundary Problems. Academic Press, New York; 1964.MATHGoogle Scholar
- Sharma RR: An abstract measure differential equation. Proc. Am. Math. Soc. 1972, 32: 503-510. 10.1090/S0002-9939-1972-0291600-3View ArticleMathSciNetMATHGoogle Scholar
- Shendge GR, Joshi SR: Abstract measure differential inequalities and applications. Acta Math. Hung. 1983, 41: 53-59. 10.1007/BF01994061MathSciNetView ArticleMATHGoogle Scholar
- Dhage BC, Bellale SS: Existence theorems for perturbed abstract measure differential equations. Nonlinear Anal. 2009, 71: 319-328. 10.1016/j.na.2008.11.057MathSciNetView ArticleMATHGoogle Scholar
- Schwabik Š, Tvrdý M, Vejvoda O: Differential and Integral Equations. Boundary Problems and Adjoints. Reidel, Dordrecht; 1979.MATHGoogle Scholar
- Wyderka Z: Linear Differential Equations with Measures as Coefficients and Control Theory. Wyd. Uniw. Ślaskiego, Katowice; 1994.MATHGoogle Scholar
- Wyderka Z: Linear differential equations with measures as coefficients and the control theory. Čas. Pěst. Mat. 1989, 114: 13-27.MathSciNetMATHGoogle Scholar
- Federson M, Mesquita JG, Slavik A: Measure functional differential equations and functional dynamic equations on time scales. J. Differ. Equ. 2012, 252: 3816-3847. 10.1016/j.jde.2011.11.005MathSciNetView ArticleMATHGoogle Scholar
- Wan X, Sun J: Existence of solutions for perturbed abstract measure functional differential equations. Adv. Differ. Equ. 2011., 2011: Article ID 67Google Scholar
- Tvrdý, M: Differential and Integral Equations in the Space of Regulated Functions. Habil. thesis, Praha (2001)MATHGoogle Scholar
- Çamlibel, MK, Heemels, WPMH, van der Schaft, AJ, Schumacher, JM: Solution concepts for hybrid dynamical systems. IFAC (2002)Google Scholar
- Heemels WPMH, Camlibel MK, van der Schaft AJ, Schumacher JM: On the existence and uniqueness of solution trajectories to hybrid dynamical systems. Nonlinear and Hybrid Control in Automotive Applications 2002, 391-422.Google Scholar
- Bogachev VI: Measure Theory. Springer, Berlin; 2007.View ArticleMATHGoogle Scholar
- Johnson RA: Atomic and nonatomic measures. Proc. Am. Math. Soc. 1970, 25: 650-655. 10.1090/S0002-9939-1970-0279266-8View ArticleMathSciNetMATHGoogle Scholar
- Alberti G, Mantegazza C: A note on the theory of SBV functions. Boll. Unione Mat. Ital., B 1997, 11: 375-382.MathSciNetMATHGoogle Scholar
- Aliprantis CD, Border KC: Infinite Dimensional Analysis. Springer, Berlin; 2006.MATHGoogle Scholar
- Bruckner AM, Bruckner JB, Thomson BS: Real Analysis. Prentice Hall, New York; 1997.MATHGoogle Scholar
- Taylor SJ: Introduction to Measure and Integration. Cambridge University Press, Cambridge; 1966.Google Scholar
- Fremlin DH 2. In Measure Theory. Torres Fremlin, Colchester; 2003.Google Scholar
- Persson J: Fundamental theorems for linear measure differential equations. Math. Scand. 1988, 62: 19-43.MathSciNetMATHGoogle Scholar
- Persson J: Regularization of nonlinear measure differential equations. Matematiche 1989, 44: 113-130.MathSciNetMATHGoogle Scholar
- Aubin J-P, Frankowska H: Set-Valued Analysis. Birkhäuser, Boston; 1990.MATHGoogle Scholar
- Zygmunt W: On superpositionally measurable semi-Carathéodory multifunctions. Comment. Math. Univ. Carol. 1992, 33: 73-77.MathSciNetMATHGoogle Scholar
- Wagner DH: Survey of measurable selection theorems: an update. Lecture Notes in Math. 794. In Measure Theory, Oberwolfach 1979. Springer, Berlin; 1980:176-219. Proc. Conf. Oberwolfach 1979View ArticleGoogle Scholar
- Castaing C, Valadier M Lecture Notes in Math. 580. In Convex Analysis and Measurable Multifunctions. Springer, Berlin; 1977.View ArticleGoogle Scholar
- Carter M, van Brunt B: The Lebesgue-Stieltjes Integral - A Practical Introduction. Springer, Berlin; 2000.View ArticleMATHGoogle Scholar
- Diestel J, Ruess WM, Schachermayer W:Weak compactness in . Proc. Am. Math. Soc. 1993, 118: 447-453.MathSciNetMATHGoogle Scholar
- Aubin J-P, Cellina A: Differential Inclusions. Springer, Berlin; 1984.View ArticleMATHGoogle Scholar
- Miller B, Rubinovitch EY: Impulsive Control in Continuous and Discrete-Continuous Systems. Kluwer Academic, Dordrecht; 2003.View ArticleGoogle Scholar
- Seifert C: Gordon type theorem for measure perturbation. Electron. J. Differ. Equ. 2011., 2011: Article ID 111Google Scholar
- Constantin A: Global existence of solutions for perturbed differential equations. Ann. Mat. Pura Appl. (4) 1995, CLXVIII: 237-299.MathSciNetView ArticleGoogle Scholar
- Cichoń M: Differential inclusions and abstract control problems. Bull. Aust. Math. Soc. 1996, 53: 109-122. 10.1017/S0004972700016774View ArticleMathSciNetMATHGoogle Scholar
- Or Y, Teel AR: Zeno stability of the set-valued bouncing ball. IEEE Trans. Autom. Control 2011, 56: 447-452.View ArticleMathSciNetGoogle Scholar
- Dal Maso G, Rampazzo F: On systems of ordinary differential equations with measures as controls. Differ. Integral Equ. 1991, 4: 739-765.MathSciNetMATHGoogle Scholar
- Schechter E: A survey of local existence theories for abstract nonlinear initial value problems. Lecture Notes in Math. 1394. In Nonlinear Semigroups, Partial Differential Equations and Attractors. Springer, Berlin; 1989:136-184.View ArticleGoogle Scholar
- Miller B: Representation of robust and non-robust solutions of nonlinear discrete-continuous systems. Lecture Notes in Computer Science 1201. Hybrid and Real-Time Systems 1997, 228-239.View ArticleGoogle Scholar
- Sesekin AN: On sets of discontinuous solutions of nonlinear differential equations. Izv. Vysš. Učebn. Zaved., Mat. 1994, 6: 83-89. (in Russian)MathSciNetMATHGoogle Scholar
- Code, WJ: Measure-Driven Impulsive Systems Stabilization, Optimal Control and Applications. PhD thesis, Vancouver (2009)Google Scholar
- Atici FM, Biles DC: First order dynamic inclusions on time scales. J. Math. Anal. Appl. 2004, 292: 222-237. 10.1016/j.jmaa.2003.11.053MathSciNetView ArticleMATHGoogle Scholar
- Frigon M, Gilbert H: Systems of first order inclusions on time scales. Topol. Methods Nonlinear Anal. 2011, 37: 147-163.MathSciNetMATHGoogle Scholar
- Agarwal RP, O’Regan D, Lakshmikantham V: Discrete second order inclusions. J. Differ. Equ. Appl. 2003, 9: 879-885. 10.1080/1023619031000097044MathSciNetView ArticleMATHGoogle Scholar
- Smirnov GV: Discrete approximations and optimal solutions of differential inclusions. Cybern. Syst. Anal. 1991, 27: 101-107.MathSciNetMATHGoogle Scholar
- Kloeden PE, Marín-Rubio P: Weak pullback attractors of non-autonomous difference inclusions. J. Differ. Equ. Appl. 2003, 9: 489-502. 10.1080/1023619031000076515View ArticleMathSciNetMATHGoogle Scholar
- Dontchev A, Lempio F: Difference methods for differential inclusions: a survey. SIAM Rev. 1992, 34: 263-294. 10.1137/1034050MathSciNetView ArticleMATHGoogle Scholar
- Baier R, Donchev T: Discrete approximation of impulsive differential inclusions. Numer. Funct. Anal. Optim. 2010, 31: 653-678. 10.1080/01630563.2010.483878MathSciNetView ArticleMATHGoogle Scholar
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.