Abstract
The role played by the attainable set of a differential inclusion, in the study of dynamic control systems and fuzzy differential equations, is widely acknowledged. A procedure for estimating the attainable set is rather complicated compared to the numerical methods for differential equations. This article addresses an alternative approach, based on an optimal control tool, to obtain a description of the attainable sets of differential inclusions. In particular, we obtain an exact delineation of the attainable set for a large class of nonlinear differential inclusions.
Similar content being viewed by others
Notes
For more details about continuity of multivalued maps see [33].
Observe that \(t\) is fixed and \(g\) is being evaluated at \(\underline{x}^*(t)\).
References
Aubin, J.P., Cellina, A.: Differential Inclusions. Springer, New York (1984)
Aubin, J.P., Franskowska, H.: Introduction: set-valued analysis in control theory. Set-valued Anal. 8, 1–9 (2000)
Blagodatskikh, V.I., Filippov, A.F.: Differential inclusions and optimal control. Proc. Steklov Inst. Math. 169, 199–259 (1986)
Abbasbandy, S., Nieto, J.J., Alavi, M.: Tuning of reachable set in one dimensional fuzzy differential inclusions. Chaos Solitons Fractals 26, 1337–1341 (2005)
Lakshmikantham, V., Mohapatra, R.N.: Theory of Fuzzy Differential Equations and Inclusions. Taylor & Francis, New York (2003)
Majumdar, K.K., Majumder, D.D.: Fuzzy differential inclusions in atmospheric and medical cybernetics. IEEE Trans. Syst. Man Cybern. Part B 34, 877–887 (2004)
Hüllermeier, E.: An approach to modeling and simulation of uncertain dynamical systems. Int. J. Unc. Fuzz. Knowl. Based Syst. 5, 117–137 (1997)
Hüllermeier, E.: Numerical methods for fuzzy initial value problems. Int. J. Unc. Fuzz. Knowl. Based Syst. 7, 1–23 (1999)
Rzeimageuchowski, T., Wimagesowski, J.: Differential equations with fuzzy parameters via differential inclusions. J. Math. Anal. Appl. 225, 177–194 (2001)
Diamond, P.: Time-dependent differential inclusions, cocycle attractors and fuzzy differential equations. IEEE Trans. Fuzzy Syst. 7, 734–740 (1999)
Lodwick, W.A.: An overview of flexibility and generalized uncertainty in optimization. Comput. Appl. Math. 31, 539–558 (2012)
Botchkarev, O., Tripakis, S.: Verification of hybrid systems with linear differential inclusions using ellipsoidal approximations. In: Proceedings of the third international workshop on hybrid systems: computation and control. HSCC ’00, pp. 73–88. Springer, London (2000)
Kurzhanski, A., Valyi, I.: Ellipsoidal Calculus for Estimation and Control. Birkhäuser, Boston (1997)
Kurzhanski, A., Varaiya, P.: Dynamic optimization for reachability problems. J. Optim. Theory Appl. 108, 227–251 (2001)
Kurzhanski, A., Varaiya, P.: On reachability under uncertainty. SIAM J. Control Optim. 41, 181–216 (2002)
Kurzhanski, A., Varaiya, P.: Reachability analysis for uncertain systems, the ellipsoidal technique. Dyn. Contin. Discrete Impuls. Syst. Ser. B 9, 347–367 (2002)
Filippova, T.: On the generalized solutions for uncertain systems with applications to optimal control and estimation problems. WSEAS Trans. Syst. 5, 481–486 (2005)
Filippova, T.: Estimates of trajectory tubes in control problems under uncertainty. In: 4th International Conference on Physics and Control (PhysCon 2009). Catania, Italy (2009).
Filippova, T.F., Berezina, E.V.: On state estimation approaches for uncertain dynamical systems with quadratic nonlinearity: Theory and computer simulations. Large-scale scientific computing, pp. 326–333, Lecture Notes in Comput. Sci. 4818, Springer, Berlin (2008)
Kostousova, E.K.: State estimation for dynamic systems via parallelotopes: optimization and parallel computations. Optim. Methods Softw. 9, 269–306 (1998)
Hwang, I., Balakrishnan, H., Ghosh, R., Tomlin, C.: Reachability analysis of delta-notch lateral inhibition using predicate abstraction. In: Proceedings of High Performance Computing, HiPC 2002, pp. 715–724. Springer, New York (2002)
Hwang, I., Stipanović, D.M., Tomlin, C.J.: Polytopic approximations of reachable sets applied to linear dynamic games and a class of nonlinear systems. In: Abed, E.H. (ed.): Advances in Control, Communication Networks, and Transportation Systems, Systems and Control: Foundations & Applications, pp. 3–19. Birkhäuser, Boston (2005)
Lygeros, J., Tomlin, C.J., Sastry, S.: Controllers for reachability specifications for hybrid systems. Automatica J. IFAC 35, 349–370 (1999)
Tomlin, C.J., Lygeros, J., Sastry, S.: A game theoretic approach to controller design for hybrid systems. Proc. IEEE 88, 949–969 (2000)
Wolenski, P.R.: The exponential formula for the reachable set of a lipschitz differential inclusion. SIAM J. Control Optim. 28, 1148–1161 (1990)
Wolenski, P.R.: A uniqueness theorem for differential inclusions. J. Differ. Equ. 24, 165–182 (1990)
Pereira, F.L., de Sousa, J.B.: On the approximation of the reachable set boundary. In: Controlo’2000: 4th Portuguese Conference on Automatic, Control, pp. 642–646 (2000)
Raczynski, S.: On the determination of the reachable sets and optimal control by the random method. In: Proceedings of the Symposium IFAC on Optimization Methods. Varna, Bulgaria (1974)
Raczynski, S.: Continuous simulation, differential inclusions, uncertainty and traveling in time. Simulation 80, 87–100 (2004)
Varaiya, P.: Reach set computation using optimal control. In: Proceedings of the KIT Workshop on Verification of Hybrid Systems, pp. 377–383. Grenoble (1998)
Frankowska, H.: Contingent cones to reachable sets of control systems. SIAM J. Control Optim. 27, 170–198 (1989)
Deimling, K.: Multivalued Differential Equations. W. de Gruyter, New York (1992)
Berge, C.: Topological spaces. Including a treatment of multi-valued functions, vector spaces and convexity, Translated from the French original by E. M. Patterson, Reprint of the 1963 translation. Dover Publications Inc., Mineola (1997)
Filippov, A.F.: Differential Equations with Discontinuous Right-Hand Sides. Kluwer Academic, Dordrecht (1988)
Vinter, R.: Optimal Control. Birkhäuser, Boston (2000)
Robinson, S.M., Day, R.H.: A sufficient condition for continuity of optimal sets in mathematical programming. J. Math. Anal. Appl. 45(2), 506–511 (1974)
Clarke, F.H., Ledyaev, Y.S., Stern, R.J., Wolenski, P.R.: Nonsmooth Analysis and Control Theory. Springer, New York (1998)
Folland, G.B.: Real Analysis, Pure and Applied Mathematics. Modern Techniques and their Applications, 2nd edn. Wiley, New York (1999)
Acknowledgments
This paper has been supported by Fondecyt-Chile through project 1120665, by Sao Paulo State Foundation—FAPESP-Brazil under Grants (11/01977-2, 11/13985-0, and 2013/07375-0) and by CNPq under Grant 309335/2012-4.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Chalco-Cano, Y., de Oliveira, V.A. & Silva, G.N. Description of the Attainable Sets of One-Dimensional Differential Inclusions. J Optim Theory Appl 164, 138–153 (2015). https://doi.org/10.1007/s10957-014-0563-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10957-014-0563-1