Mathematical Systems Theory in Biology, Communications, Computation and Finance


Book Description

This volume contains survey and research articles by some of the leading researchers in mathematical systems theory - a vibrant research area in its own right. Many authors have taken special care that their articles are self-contained and accessible also to non-specialists.




Directions in Mathematical Systems Theory and Optimization


Book Description

For more than three decades, Anders Lindquist has delivered fundamental cont- butions to the ?elds of systems, signals and control. Throughout this period, four themes can perhaps characterize his interests: Modeling, estimation and ?ltering, feedback and robust control. His contributions to modeling include seminal work on the role of splitting subspaces in stochastic realization theory, on the partial realization problem for both deterministic and stochastic systems, on the solution of the rational covariance extension problem and on system identi?cation. His contributions to ?ltering and estimation include the development of fast ?ltering algorithms, leading to a nonlinear dynamical system which computes spectral factors in its steady state, and which provide an alternate, linear in the dimension of the state space, to computing the Kalman gain from a matrix Riccati equation. His further research on the phase portrait of this dynamical system gave a better understanding of when the Kalman ?lter will converge, answering an open question raised by Kalman. While still a student he established the separation principle for stochastic function differential equations, including some fundamental work on optimal control for stochastic systems with time lags. He continued his interest in feedback control by deriving optimal and robust control feedback laws for suppressing the effects of harmonic disturbances. Moreover, his recent work on a complete parameterization of all rational solutions to the Nevanlinna-Pick problem is providing a new approach to robust control design.




Perspectives in Mathematical System Theory, Control, and Signal Processing


Book Description

This Festschrift, published on the occasion of the sixtieth birthday of Yutaka - mamoto (‘YY’ as he is occasionally casually referred to), contains a collection of articles by friends, colleagues, and former Ph.D. students of YY. They are a tribute to his friendship and his scienti?c vision and oeuvre, which has been a source of inspiration to the authors. Yutaka Yamamoto was born in Kyoto, Japan, on March 29, 1950. He studied applied mathematics and general engineering science at the Department of Applied Mathematics and Physics of Kyoto University, obtaining the B.S. and M.Sc. degrees in 1972 and 1974. His M.Sc. work was done under the supervision of Professor Yoshikazu Sawaragi. In 1974, he went to the Center for Mathematical System T- ory of the University of Florida in Gainesville. He obtained the M.Sc. and Ph.D. degrees, both in Mathematics, in 1976 and 1978, under the direction of Professor Rudolf Kalman.




Mathematical Modelling and Numerical Methods in Finance


Book Description

Mathematical finance is a prolific scientific domain in which there exists a particular characteristic of developing both advanced theories and practical techniques simultaneously. Mathematical Modelling and Numerical Methods in Finance addresses the three most important aspects in the field: mathematical models, computational methods, and applications, and provides a solid overview of major new ideas and results in the three domains. - Coverage of all aspects of quantitative finance including models, computational methods and applications - Provides an overview of new ideas and results - Contributors are leaders of the field




Mathematical Methods in Systems, Optimization, and Control


Book Description

This volume is dedicated to Bill Helton on the occasion of his sixty fifth birthday. It contains biographical material, a list of Bill's publications, a detailed survey of Bill's contributions to operator theory, optimization and control and 19 technical articles. Most of the technical articles are expository and should serve as useful introductions to many of the areas which Bill's highly original contributions have helped to shape over the last forty odd years. These include interpolation, Szegö limit theorems, Nehari problems, trace formulas, systems and control theory, convexity, matrix completion problems, linear matrix inequalities and optimization. The book should be useful to graduate students in mathematics and engineering, as well as to faculty and individuals seeking entry level introductions and references to the indicated topics. It can also serve as a supplementary text to numerous courses in pure and applied mathematics and engineering, as well as a source book for seminars.




Transactions on Computational Systems Biology I


Book Description

Thisisthe?rstissueofanewjournaloftheLNCSjournalsubline.Theaimofthe journal is to encourage inter- and multidisciplinary research in the ?elds of c- puter science and life sciences. The recent paradigmatic shift in biology towards a system view of biological phenomena requires a corresponding paradigmatic shift in the techniques from computer science that can face the new challenges. Classical tools usually used in bioinformatics are no longer up to date and new ideas are needed. The convergence of sciences and technologies we are experiencing these days is changing the classical terms of reference for research activities. In fact clear distinctions between disciplines no longer exist because advances in one ?eld permit advances in others and vice versa, thus establishing a positive feedback loop between sciences. The potential impact of the convergence of sciences and technologies is so huge that we must consider how to control and correctly drive our future activities. International and national funding agencies are looking at interdisciplinary research as a key issue for the coming years, especially in the intersection of life sciences and information technology. To speed up this process, we surely need to establish relationships between researchers of di?erent communities and to de?ne a common language that will allow them to exchange ideas and - sults. Furthermore, expectations of di?erent communities can be merged only by running activities like common projects and experiences. TheTransactionsonComputationalSystemsBiologycouldbeagoodforumto helplifescientistsandcomputerscientiststodiscusstogethertheircommongoals.




Decision Making Under Uncertainty


Book Description

In the ideal world, major decisions would be made based on complete and reliable information available to the decision maker. We live in a world of uncertainties, and decisions must be made from information which may be incomplete and may contain uncertainty. The key mathematical question addressed in this volume is "how to make decision in the presence of quantifiable uncertainty." The volume contains articles on model problems of decision making process in the energy and power industry when the available information is noisy and/or incomplete. The major tools used in studying these problems are mathematical modeling and optimization techniques; especially stochastic optimization. These articles are meant to provide an insight into this rapidly developing field, which lies in the intersection of applied statistics, probability, operations research, and economic theory. It is hoped that the present volume will provide entry to newcomers into the field, and stimulation for further research.




Towards Higher Categories


Book Description

The purpose of this book is to give background for those who would like to delve into some higher category theory. It is not a primer on higher category theory itself. It begins with a paper by John Baez and Michael Shulman which explores informally, by analogy and direct connection, how cohomology and other tools of algebraic topology are seen through the eyes of n-category theory. The idea is to give some of the motivations behind this subject. There are then two survey articles, by Julie Bergner and Simona Paoli, about (infinity,1) categories and about the algebraic modelling of homotopy n-types. These are areas that are particularly well understood, and where a fully integrated theory exists. The main focus of the book is on the richness to be found in the theory of bicategories, which gives the essential starting point towards the understanding of higher categorical structures. An article by Stephen Lack gives a thorough, but informal, guide to this theory. A paper by Larry Breen on the theory of gerbes shows how such categorical structures appear in differential geometry. This book is dedicated to Max Kelly, the founder of the Australian school of category theory, and an historical paper by Ross Street describes its development.




Operator Methods for Boundary Value Problems


Book Description

Presented in this volume are a number of new results concerning the extension theory and spectral theory of unbounded operators using the recent notions of boundary triplets and boundary relations. This approach relies on linear single-valued and multi-valued maps, isometric in a Krein space sense, and offers a basic framework for recent developments in system theory. Central to the theory are analytic tools such as Weyl functions, including Titchmarsh-Weyl m-functions and Dirichlet-to-Neumann maps. A wide range of topics is considered in this context from the abstract to the applied, including boundary value problems for ordinary and partial differential equations; infinite-dimensional perturbations; local point-interactions; boundary and passive control state/signal systems; extension theory of accretive, sectorial and symmetric operators; and Calkin's abstract boundary conditions. This accessible treatment of recent developments, written by leading researchers, will appeal to a broad range of researchers, students and professionals.




Error Correction Coding


Book Description

An unparalleled learning tool and guide to error correction coding Error correction coding techniques allow the detection and correction of errors occurring during the transmission of data in digital communication systems. These techniques are nearly universally employed in modern communication systems, and are thus an important component of the modern information economy. Error Correction Coding: Mathematical Methods and Algorithms provides a comprehensive introduction to both the theoretical and practical aspects of error correction coding, with a presentation suitable for a wide variety of audiences, including graduate students in electrical engineering, mathematics, or computer science. The pedagogy is arranged so that the mathematical concepts are presented incrementally, followed immediately by applications to coding. A large number of exercises expand and deepen students' understanding. A unique feature of the book is a set of programming laboratories, supplemented with over 250 programs and functions on an associated Web site, which provides hands-on experience and a better understanding of the material. These laboratories lead students through the implementation and evaluation of Hamming codes, CRC codes, BCH and R-S codes, convolutional codes, turbo codes, and LDPC codes. This text offers both "classical" coding theory-such as Hamming, BCH, Reed-Solomon, Reed-Muller, and convolutional codes-as well as modern codes and decoding methods, including turbo codes, LDPC codes, repeat-accumulate codes, space time codes, factor graphs, soft-decision decoding, Guruswami-Sudan decoding, EXIT charts, and iterative decoding. Theoretical complements on performance and bounds are presented. Coding is also put into its communications and information theoretic context and connections are drawn to public key cryptosystems. Ideal as a classroom resource and a professional reference, this thorough guide will benefit electrical and computer engineers, mathematicians, students, researchers, and scientists.