Abstract
The basis of the constructive (computer-assisted) study of linear problems in the theory of FDE is a special technique of approximate description of the set of solutions to the linear FDE under study in combination with a guaranteed explicit error bound for the approximation. This technique is used in parallel with special theorems, conditions of which can be verified with use of the reliable computing experiment due to the modern mathematical packages (e.g., Maple, Mathematica). Presently the theoretical ground and a technology of the reliable computing experiment are worked out 1–4 as applied to studying linear boundary value problems of FDEs for the unique solvability, linear functional differential control systems for controllability, linear FDEs with delay and periodic parameters for stability. Notice that sometimes, when known traditional sufficient conditions for a property under consideration (say, the unique solvability of a boundary value problem) are inapplicable, the computer-assisted study can give the only chance to obtain the result.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
N.V.Azbelev, V.P.Maksimov, and L.F.Rakhmatullina, Introduction to the Theory of Functional Differential Equations (Russian) ( Nauka, Moscow, 1991 ).
N.V.Azbelev, V.P.Maksimov, and L.F.Rakhmatullina, Introduction to the Theory of Linear Functional Differential Equations ( World Federation Publ., Atlanta, 1995 ).
N.V.Azbelev, V.P.Maksimov, and L.F.Rakhmatullina, Methods of the Contemporary Theory of Linear Functional Differential Equations(Russian) (Regular and Chaotic Dynamics, lzhevsk, 2000 ).
A.N.Rumyantsev, The Reliable Computing Experiment in the Study of Boundary Value Problems (Russian) ( Perm State University Press, Perm, 1999 ).
E.W.Kaucher, W.L.Miranker, Self-Validating Numerics for Function Space Problems ( Academic Press, New York, 1988 ).
M.Plum, Computer-assisted proofs for two-point boundary value problems, Computing, 46, 19–34 (1991).
M.Plum, Existence and enclosure results for continua of solutions of parameter dependent nonlinear boundary value problems, J. Comput. and Appl. Math., 60, 187–200 (1995).
E.A.Andreeva, V.B.Kolmanovskii, and L.E.Shaikhet, Control of Systems with Aftereffect (Russian) ( Nauka, Moscow, 1992 ).
V.P.Maksimov, A.N.Rumyantsev, Boundary value problems and problems of pulse control in economic dynamics. Constructive study, Russian Mathematics(IzVUZ), 37(5), 48–62 (1993).
A.N.Rumyantsev, Computing Experiment in the Study of Functional Differential Models: Theory and Applications. Thesis… doct. Phys.andMath., Perm State University, Perm (unpublished ) (1999).
V.P.Maksimov, A.N.Rumyantsev, and V.A.Shishkin, On constructing solutions of functional differential systems with guaranteed precision, Functional Differential Equations, Israel, 3 (1–2), 135–144 (1995).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer Science+Business Media New York
About this chapter
Cite this chapter
Maksimov, V.P., Rumyantsev, A.N. (2001). Reliable Computing Experiment in the Study of Generalized Controllability of Linear Functional Differential Systems. In: Uvarova, L.A., Latyshev, A.V. (eds) Mathematical Modeling. Springer, Boston, MA. https://doi.org/10.1007/978-1-4757-3397-6_9
Download citation
DOI: https://doi.org/10.1007/978-1-4757-3397-6_9
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4419-3371-3
Online ISBN: 978-1-4757-3397-6
eBook Packages: Springer Book Archive