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-Neu...

Expert instruction and plenty of practice to reinforce advanced math skillsPresents concepts with application to natural sciences, engineering, economics, computer science, and other branches of mathematicsComplementary to most linear algebra courses or as a refresher textMore than 500 exercises and answersHundreds of solved problemsThe Practice Makes Perfect series has sold more than 1 million copies worldwide

Hybrid dynamical systems exhibit continuous and instantaneous changes, having features of continuous-time and discrete-time dynamical systems. Filled with a wealth of examples to illustrate concepts, this book presents a complete theory of robust asymptotic stability for hybrid dynamical systems that is applicable to the design of hybrid control algorithms--algorithms that feature logic, timers, or combinations of digital and analog components.With the tools of modern mathematical ...

The book focuses on advanced computer algebra methods and special functions that have striking applications in the context of quantum field theory. It presents the state of the art and new methods for (infinite) multiple sums, multiple integrals, in particular Feynman integrals, difference and differential equations in the format of survey articles. The presented techniques emerge from interdisciplinary fields: mathematics, computer science and theoretical physics; the articles are written...

At the intersection of mathematics, engineering, and computer science sits the thriving field of compressive sensing. Based on the premise that data acquisition and compression can be performed simultaneously, compressive sensing finds applications in imaging, signal processing, and many other domains. In the areas of applied mathematics, electrical engineering, and theoretical computer science, an explosion of research activity has already followed the theoretical results that highlighted...

Finite-dimensional optimization problems occur throughout the mathematical sciences. The majority of these problems cannot be solved analytically. This introduction to optimization attempts to strike a balance between presentation of mathematical theory and development of numerical algorithms. Building on students’ skills in calculus and linear algebra, the text provides a rigorous exposition without undue abstraction. Its stress on statistical applications will be especially appealing to ...

The book provides the first full length exploration of fuzzy computability. It describes the notion of fuzziness and present the foundation of computability theory. It then presents the various approaches to fuzzy computability. This text provides a glimpse into the different approaches in this area, which is important for researchers in order to have a clear view of the field. It contains a detailed literature review and the author includes all proofs to make the presentation accessible. ...

Linear Algebra and Linear Models comprises a concise and rigorous introduction to linear algebra required for statistics followed by the basic aspects of the theory of linear estimation and hypothesis testing. The emphasis is on the approach using generalized inverses. Topics such as the multivariate normal distribution and distribution of quadratic forms are included.For this third edition, the material has been reorganised to develop the linear algebra in the first six chapters, ...

This original monograph investigates several unsolved problems that currently exist in coding theory. A highly relevant branch of mathematical computer science, the theory of error-correcting codes is concerned with reliably transmitting data over a ‘noisy’ channel. Despite its fairly long history and consistent prominence, the field still contains interesting problems that have resisted solution by some of the most prominent mathematicians of recent decades.Employing SAGE—a free o...

The landscape of homological algebra has evolved over the last half-century into a fundamental tool for the working mathematician. This book provides a unified account of homological algebra as it exists today. The historical connection with topology, regular local rings, and semi-simple Lie algebras are also described. This book is suitable for second or third year graduate students. The first half of the book takes as its subject the canonical topics in homological algebra: derived funct...

Stochastic reachability analysis (SRA) is a method of analyzing the behavior of control systems which mix discrete and continuous dynamics. For probabilistic discrete systems it has been shown to be a practical verification method but for stochastic hybrid systems it can be rather more. As a verification technique SRA can assess the safety and performance of, for example, autonomous systems, robot and aircraft path planning and multi-agent coordination but it can also be used for the adapt...

The book is a graduate text on unbounded self-adjoint operators on Hilbert space and their spectral theory with the emphasis on applications in mathematical physics (especially, Schrödinger operators) and analysis (Dirichlet and Neumann Laplacians, Sturm-Liouville operators, Hamburger moment problem) . Among others, a number of advanced special topics are treated on a text book level accompanied by numerous illustrating examples and exercises. The main themes of the book are the following:...