Kalman filtering algorithm gives optimal (linear, unbiased and minimum error-variance) estimates of the unknown state vectors of a linear dynamic-observation system, under the regular conditions such as perfect data information; complete noise statistics; exact linear modelling; ideal will-conditioned matrices in computation and strictly...

Computational complexity, originated from the interactions between computer science and numerical optimization, is one of the major theories that have revolutionized the approach to solving optimization problems and to analyzing their intrinsic difficulty. This volume is a collection of articles on recent complexity developments in numerical...

This book provides an elementary introduction to formal languages and machine computation. The materials covered include computation-oriented mathematics, finite automata and regular languages, push-down automata and context-free languages, Turing machines and recursively enumerable languages, and computability and complexity. As integers are...

The primary aim of this monograph is to present the current research efforts that have gone into/or going on in the systematic design of real-time programs. Such an effort would help researchers and users in the area to get a clear picture of the issues of specification, verification and design of real-time reactive programs. It will clearly...

This significantly revised edition presents a broad introduction to Control Systems and balances new, modern methods with the more classical. It is an excellent text for use as a first course in Control Systems by undergraduate students in all branches of engineering and applied mathematics. The book contains: A comprehensive coverage of...

This work is an introduction to mathematical analysis at an elementary level. Emphasis is given to the construction of national and then real numbers, using the method of equivalence classes and of Cauchy sequences. The text includes the presentation of: sequences of real numbers, infinite numerical series, continuous functions, deriviatives...

Entropic Spacetime Theory divides the universe into a kinetic system and an entropic spacetime. The kinetic system is what our present physics is all about; it deals with radiation (vector bosons) and mass particles (fermions). Relativity...

The area of pattern recognition and computer vision, after over 35 years of continued development, has now reached its maturity. The theories, techniques and algorithms are mostly well developed. There are a number of applications which are still being explored. New approaches motivated by applications and new computer architectures...

The Kronecker product of matrices plays a central role in mathematics and in applications found in engineering and theoretical physics. These applications are signal processing, statistical physics, quantum groups and quantum computers. This text provides a comprehensive introduction to the Kronecker product of matrices together with its...