Reliable Computing Experiment in the Study of Generalized Controllability of Linear Functional Differential Systems

Vladimir P. Maksimov and Aleksandr N. Rumyantsev
Additional contact information
Vladimir P. Maksimov: Perm State University
Aleksandr N. Rumyantsev: Perm State University

A chapter in Mathematical Modeling, 2001, pp 91-98 from Springer

Abstract: 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.

Date: 2001
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-1-4757-3397-6_9

Ordering information: This item can be ordered from
http://www.springer.com/9781475733976

DOI: 10.1007/978-1-4757-3397-6_9

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().