Books in Theory and mathematics

Nonlinear System Theory

1st Edition
Volume 175
February 21, 1985
Casti
English
eBook
9 7 8 0 0 8 0 9 5 8 6 5 1

Topics in the Theory of Computation

1st Edition
Volume 24
January 1, 1985
M. Karpinski + 1 more
English
eBook
9 7 8 0 0 8 0 8 7 2 1 3 1

This volume contains nine selected papers presented at the Borgholm conference. They were chosen on the basis of their immediate relevance to the most fundamental aspects of the theory of computation and the newest developments in this area.These papers, which have been extended and refereed, fall into eight categories: 1. Constructive Mathematics in Models of Computation and Programming; 2. Abstract Calculi and Denotational Semantics; 3. Theory of Machines, Computations and Languages; 4. Nondeterminism, Concurrency and Distributed Computing; 5. Abstract Algebras, Logics and Combinatorics in Computation Theory; 6. General Computability and Decidability; 7. Computational and Arithmetic Complexity; 8. Analysis of Algorithms and Feasible Computing.

Decision and Control in Uncertain Resource Systems

1st Edition
Volume 172
December 14, 1984
Mangel
English
eBook
9 7 8 0 0 8 0 9 5 6 7 7 0

Bilinear Transformation Method

1st Edition
Volume 174
September 6, 1984
Matsuno
English
eBook
9 7 8 0 0 8 0 9 5 8 6 4 4

Computational Methods for Optimizing Distributed Systems

1st Edition
Volume 173
August 21, 1984
Charles Teo
English
eBook
9 7 8 0 0 8 0 9 5 6 7 8 7

Optimal control theory of distributed parameter systems has been a very active field in recent years; however, very few books have been devoted to the studiy of computational algorithms for solving optimal control problems. For this rason the authors decided to write this book. Because the area is so broad, they confined themselves to optimal control problems involving first and second boundary-value problems of a linear second-order parabolic partial differential equation. However the techniques used are by no means restricted to these problems. They can be and in some cases already have been applied to problems involving other types of distributed parameter system. The authors aim is to devise computational algorithms for solving optimal control problems with particular emphasis on the mathematical theory underlying the algorithms. These algorithms are obtained by using a first-order strong variational method or gradient-type methods.