Abstract
We study recursive inclusionsx n+1 ε G(x n). For instance, such systems appear for discrete finite-difference inclusionsx n+1 εG ρ (x n) whereG ρ :=1+ρF. The discrete viability kernel ofG ρ , i.e., the largest discrete viability domain, can be an internal approximation of the viability kernel ofK underF. We study discrete and finite dynamical systems. In the Lipschitz case we get a generalization to differential inclusions of the Euler and Runge-Kutta methods. We prove first that the viability kernel ofK underF can be approached by a sequence of discrete viability kernels associated withx n+1 εГ ρ (xn) whereГ ρ (x) =x + ρF(x) + (ML/2) ρ 2ℬ. Secondly, we show that it can be approached by finite viability kernels associated withx n+1 h ε (Г ρ (x n+1h ) +α(hℬ) ∩X h .
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Aubin J-P (1987) Smooth and heavy solutions to control problems. In: Nonlinear and Convex Analysis (B-L Lin, Simons S, eds). Proceedings in honor of KY-Fan, June 24–26, 1985. Lecture Notes in Pure and Applied Mathematics
Aubin J-P (1991) Viability Theory. Birkhäuser, Basel
Aubin J-P, Byrnes CI, Isidori A (1990) Viability Kernels, Controlled Invariance and Zero Dynamics. Proceedings of the 9th International Conference on Analysis and Optimization of Systems. Lecture Notes in Control and Information Sciences, Vol 144. Springer-Verlag, Berlin
Aubin J-P, Celina A (1984) Differential Inclusions. Springer-Verlag, Berlin
Aubin J-P, Frankowska H (1991) Set-Valued Analysis. Birkhäuser, Basel
Basile G, Marro G (1969) L'invarianza rispetto ai disturbi studiata nell spazio degli stati. Rendic. LXX Riunnione Annuale AEI, paper 1.4.01
Berge C (1966) Espaces Topologiques, Fonctions Multivoques. Dunod, Paris
Byrnes CI, Isidori A (1990) Régulation asymptotique de systèmes non linéaires. C R Acad Sci Paris 309:527–530
Byrnes CI, Isidori A (1990) Feedback design from the zero dynamics point of view. In: Computation and Control (Bowers K, Lunds J, eds). Birkhäuser, Basel, pp 23–52
Capuzzo-Doicetta I, Falcone M (1989) Discrete dynamic programming and viscosity solutions of the Bellman equation. In: Analyse Non Linéaire (Attouch H, Aubin J-P, Clarke F, Ekeland I, eds). Gauthier-Villars, Paris, C.R.M., Montréal, pp 161–184
Cardaliaguet P (1992) Conditions suffisantes de non-vacuité du noyau de viabilité. C R Acad Sci Paris Ser I
Colombo G, Krivan V (1991) A viability algorithm. Preprint, SISSA
Domingues H, Lacoude P. (1992) Le problème du nageur et de l'île: un exemple numérique de viabilité. Master's Dissertation, University Paris IX-Dauphine
Filippov AF, (1967) Classical solutions of differential equations with multivalued right-hand side. Siam J Control 5:609–621
Frankowska H (to appear) Set-Valued Analysis and Control Theory. Birkhäuser, Basel
Frankowska H, Quincampoix M (1991) Viability kernels of differential inclusions with constraints: algorithm and applications. J Math Systems Estimation Control 1(3):371–388
Haddad G (1981) Monotone viable trajectories for functional differential inclusions. J. Differential Equations 42:1–24
Morin P, Vandanjon P (1991) Détermination numérique du noyau de viabilité pour un exemple économique. Master's Dissertation, University Paris IX-Dauphine
Quincampoix M (1990) Frontière de domaines d'invariance et de viabilité pour des inclusions différentielles avec contraintes. C R Acad Sci Paris Ser I 311:904–914
Saint-Pierre P (1990) Approximation of slow solutions to differential inclusions. Appl Math Optim 22:311–330
Saint-Pierre P (1991) Viability of boundary of the viability kernel. J Differential Integral Equations 4(3): 1147–153
Saint-Pierre P (1992) The Viability Kernel Algorithm Applied To Locate and Approximate all Bounded Zeros of ℓ-Lipschitz Set-valued Maps. Cahiers de Mathematiques de la Décision, Université Paris IX-Dauphine
Saint-Pierre P (1993) The Frame Refinement Method To Approximate Viability Kernel. Applications. Cahiers de Mathematiques de la Décision, Université Paris IX-Dauphine
Silverman LMJP (1969) Inversion of multivariable systems. IEEE Trans Automat Control 14:270–276
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Saint-Pierre, P. Approximation of the viability kernel. Appl Math Optim 29, 187–209 (1994). https://doi.org/10.1007/BF01204182
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF01204182