Algebraic and Differential Methods for Nonlinear Control Theory


Book Description

This book is a short primer in engineering mathematics with a view on applications in nonlinear control theory. In particular, it introduces some elementary concepts of commutative algebra and algebraic geometry which offer a set of tools quite different from the traditional approaches to the subject matter. This text begins with the study of elementary set and map theory. Chapters 2 and 3 on group theory and rings, respectively, are included because of their important relation to linear algebra, the group of invertible linear maps (or matrices) and the ring of linear maps of a vector space. Homomorphisms and Ideals are dealt with as well at this stage. Chapter 4 is devoted to the theory of matrices and systems of linear equations. Chapter 5 gives some information on permutations, determinants and the inverse of a matrix. Chapter 6 tackles vector spaces over a field, Chapter 7 treats linear maps resp. linear transformations, and in addition the application in linear control theory of some abstract theorems such as the concept of a kernel, the image and dimension of vector spaces are illustrated. Chapter 8 considers the diagonalization of a matrix and their canonical forms. Chapter 9 provides a brief introduction to elementary methods for solving differential equations and, finally, in Chapter 10, nonlinear control theory is introduced from the point of view of differential algebra.




Commutative Algebra: Constructive Methods


Book Description

Translated from the popular French edition, this book offers a detailed introduction to various basic concepts, methods, principles, and results of commutative algebra. It takes a constructive viewpoint in commutative algebra and studies algorithmic approaches alongside several abstract classical theories. Indeed, it revisits these traditional topics with a new and simplifying manner, making the subject both accessible and innovative. The algorithmic aspects of such naturally abstract topics as Galois theory, Dedekind rings, Prüfer rings, finitely generated projective modules, dimension theory of commutative rings, and others in the current treatise, are all analysed in the spirit of the great developers of constructive algebra in the nineteenth century. This updated and revised edition contains over 350 well-arranged exercises, together with their helpful hints for solution. A basic knowledge of linear algebra, group theory, elementary number theory as well as the fundamentals of ring and module theory is required. Commutative Algebra: Constructive Methods will be useful for graduate students, and also researchers, instructors and theoretical computer scientists.




Constructive Commutative Algebra


Book Description

The main goal of this book is to find the constructive content hidden in abstract proofs of concrete theorems in Commutative Algebra, especially in well-known theorems concerning projective modules over polynomial rings (mainly the Quillen-Suslin theorem) and syzygies of multivariate polynomials with coefficients in a valuation ring. Simple and constructive proofs of some results in the theory of projective modules over polynomial rings are also given, and light is cast upon recent progress on the Hermite ring and Gröbner ring conjectures. New conjectures on unimodular completion arising from our constructive approach to the unimodular completion problem are presented. Constructive algebra can be understood as a first preprocessing step for computer algebra that leads to the discovery of general algorithms, even if they are sometimes not efficient. From a logical point of view, the dynamical evaluation gives a constructive substitute for two highly nonconstructive tools of abstract algebra: the Law of Excluded Middle and Zorn's Lemma. For instance, these tools are required in order to construct the complete prime factorization of an ideal in a Dedekind ring, whereas the dynamical method reveals the computational content of this construction. These lecture notes follow this dynamical philosophy.




Methods of Algebraic Geometry in Control Theory: Part I


Book Description

"An introduction to the ideas of algebraic geometry in the motivated context of system theory." Thus the author describes his textbook that has been specifically written to serve the needs of students of systems and control. Without sacrificing mathematical care, the author makes the basic ideas of algebraic geometry accessible to engineers and applied scientists. The emphasis is on constructive methods and clarity rather than abstraction. The student will find here a clear presentation with an applied flavor, of the core ideas in the algebra-geometric treatment of scalar linear system theory. The author introduces the four representations of a scalar linear system and establishes the major results of a similar theory for multivariable systems appearing in a succeeding volume (Part II: Multivariable Linear Systems and Projective Algebraic Geometry). Prerequisites are the basics of linear algebra, some simple notions from topology and the elementary properties of groups, rings, and fields, and a basic course in linear systems. Exercises are an integral part of the treatment and are used where relevant in the main body of the text. The present, softcover reprint is designed to make this classic textbook available to a wider audience. "This book is a concise development of affine algebraic geometry together with very explicit links to the applications...[and] should address a wide community of readers, among pure and applied mathematicians." —Monatshefte für Mathematik




Algebraic and Geometric Methods in Nonlinear Control Theory


Book Description

Approach your problems from the right end It isn't that they can't see the solution. It is and begin with the answers. Then one day, that they can't see the problem. perhaps you will find the final question. G. K. Chesterton. The Scandal of Father 'The Hermit Clad in Crane Feathers' in R. Brown 'The point"of a Pin'. van GuIik's The Chinese Maze Murders. Growing specialization and diversification have brought a host of monographs and textbooks on increasingly specialized topics. However, the "tree" of knowledge of mathematics and related fields does not grow only by putting forth new branches. It also happens, quite often in fact, that branches which were thought to be completely disparate are suddenly seen to be related. Further, the kind and level of sophistication of mathematics applied in various sciences has changed drastically in recent years: measure theory is used (non trivially) in regional and theoretical economics; algebraic geometry interacts with physics; ihe Minkowsky lemma, coding theory and the structure of water meet one another in packing and covering theory; quantum fields, crystal defects and mathematical programming profit from homotopy theory; Lie algebras ·are relevant to filtering; and prediction and electrical engineering can use Stein spaces. And in addition to this there are such new emerging subdisciplines as "experimental mathematics", "CFD", "completely integrable systems", "chaos, synergetics and large-scale order", which are almost impossible to fit into the existing classification schemes. They draw upon widely different sections of mathematics.




Nonlinear Control Systems Design 1992


Book Description

This volume represents most aspects of the rich and growing field of nonlinear control. These proceedings contain 78 papers, including six plenary lectures, striking a balance between theory and applications. Subjects covered include feedback stabilization, nonlinear and adaptive control of electromechanical systems, nonholonomic systems. Generalized state space systems, algebraic computing in nonlinear systems theory, decoupling, linearization and model-matching and robust control are also covered.




Theory And Practice Of Control And Systems - Proceedings Of The 6th Ieee Mediterranean Conference


Book Description

This volume gathers together all the lectures presented at the 6th IEEE Mediterranean Conference. It focuses on the mathematical aspects in the theory and practice of control and systems, including stability and stabilizability, robust control, adaptive control, robotics and manufacturing; these topics are under intense investigation and development in the engineering and mathematics communities. The volume should have immediate appeal for a large group of engineers and mathematicians who are interested in very abstract as well as very concrete aspects of control and system theory.




Partial Differential Control Theory


Book Description




Performance and Implementation Aspects of Nonlinear Filtering


Book Description

Nonlinear filtering is an important standard tool for information and sensor fusion applications, e.g., localization, navigation, and tracking. It is an essential component in surveillance systems and of increasing importance for standard consumer products, such as cellular phones with localization, car navigation systems, and augmented reality. This thesis addresses several issues related to nonlinear filtering, including performance analysis of filtering and detection, algorithm analysis, and various implementation details. The most commonly used measure of filtering performance is the root mean square error (RMSE), which is bounded from below by the Cramér-Rao lower bound (CRLB). This thesis presents a methodology to determine the effect different noise distributions have on the CRLB. This leads up to an analysis of the intrinsic accuracy (IA), the informativeness of a noise distribution. For linear systems the resulting expressions are direct and can be used to determine whether a problem is feasible or not, and to indicate the efficacy of nonlinear methods such as the particle filter (PF). A similar analysis is used for change detection performance analysis, which once again shows the importance of IA. A problem with the RMSE evaluation is that it captures only one aspect of the resulting estimate and the distribution of the estimates can differ substantially. To solve this problem, the Kullback divergence has been evaluated demonstrating the shortcomings of pure RMSE evaluation. Two estimation algorithms have been analyzed in more detail; the Rao-Blackwellized particle filter (RBPF) by some authors referred to as the marginalized particle filter (MPF) and the unscented Kalman filter (UKF). The RBPF analysis leads to a new way of presenting the algorithm, thereby making it easier to implement. In addition the presentation can possibly give new intuition for the RBPF as being a stochastic Kalman filter bank. In the analysis of the UKF the focus is on the unscented transform (UT). The results include several simulation studies and a comparison with the Gauss approximation of the first and second order in the limit case. This thesis presents an implementation of a parallelized PF and outlines an object-oriented framework for filtering. The PF has been implemented on a graphics processing unit (GPU), i.e., a graphics card. The GPU is a inexpensive parallel computational resource available with most modern computers and is rarely used to its full potential. Being able to implement the PF in parallel makes new applications, where speed and good performance are important, possible. The object-oriented filtering framework provides the flexibility and performance needed for large scale Monte Carlo simulations using modern software design methodology. It can also be used to help to efficiently turn a prototype into a finished product.