This book bridges fundamental gaps between control theory and formal methods. Although it focuses on discrete-time linear and piecewise affine systems, it also provides general frameworks for abstraction, analysis, and control of more general models. The book is self-contained, and while some mathematical knowledge is necessary, readers are not expected to have a background in formal methods or control theory. It rigorously defines concepts from formal methods, such as transition systems, temporal logics, model checking and synthesis. It then links these to the infinite state dynamical systems through abstractions that are intuitive and only require basic convex-analysis and control-theory terminology, which is provided in the appendix. Several examples and illustrations help readers understand and visualize the concepts introduced throughout the book.

Demonstrates the application of DSM to solve a broad range of operator equations The dynamical systems method (DSM) is a powerful computational method for solving operator equations. With this book as their guide, readers will master the application of DSM to solve a variety of linear and nonlinear problems as well as ill-posed and well-posed problems. The authors offer a clear, step-by-step, systematic development of DSM that enables readers to grasp the method's underlying logic and its numerous applications. Dynamical Systems Method and Applications begins with a general introduction and then sets forth the scope of DSM in Part One. Part Two introduces the discrepancy principle, and Part Three offers examples of numerical applications of DSM to solve a broad range of problems in science and engineering. Additional featured topics include: General nonlinear operator equations Operators satisfying a spectral assumption Newton-type methods without inversion of the derivative Numerical problems arising in applications Stable numerical differentiation Stable solution to ill-conditioned linear algebraic systems Throughout the chapters, the authors employ the use of figures and tables to help readers grasp and apply new concepts. Numerical examples offer original theoretical results based on the solution of practical problems involving ill-conditioned linear algebraic systems, and stable differentiation of noisy data. Written by internationally recognized authorities on the topic, Dynamical Systems Method and Applications is an excellent book for courses on numerical analysis, dynamical systems, operator theory, and applied mathematics at the graduate level. The book also serves as a valuable resource for professionals in the fields of mathematics, physics, and engineering.

This book presents a wide and comprehensive spectrum of issues and problems related to fractional-order dynamical systems. It is meant to be a full-fledge, comprehensive presentation of many aspects related to the broadly perceived fractional-order dynamical systems which constitute an extension of the traditional integer-order-type descriptions. This implies far-reaching consequences, both analytic and algorithmic, because—in general—properties of the traditional integer-order systems cannot be directly extended by a straightforward generalization to fractional-order systems, modeled by fractional-order differential equations involving derivatives of an non-integer order. This can be useful for describing and analyzing, for instance, anomalies in the behavior of various systems, chaotic behavior, etc. The book contains both analytic contributions with state-of-the-art and theoretical foundations, algorithmic implementation of tools and techniques, and—finally—some examples of relevant and successful practical applications.

This book is devoted to new methods of control for complex dynamical systems and deals with nonlinear control systems having several degrees of freedom, subjected to unknown disturbances, and containing uncertain parameters. Various constraints are imposed on control inputs and state variables or their combinations. The book contains an introduction to the theory of optimal control and the theory of stability of motion, and also a description of some known methods based on these theories. Major attention is given to new methods of control developed by the authors over the last 15 years. Mechanical and electromechanical systems described by nonlinear Lagrange’s equations are considered. General methods are proposed for an effective construction of the required control, often in an explicit form. The book contains various techniques including the decomposition of nonlinear control systems with many degrees of freedom, piecewise linear feedback control based on Lyapunov’s functions, methods which elaborate and extend the approaches of the conventional control theory, optimal control, differential games, and the theory of stability. The distinctive feature of the methods developed in the book is that the c- trols obtained satisfy the imposed constraints and steer the dynamical system to a prescribed terminal state in ?nite time. Explicit upper estimates for the time of the process are given. In all cases, the control algorithms and the estimates obtained are strictly proven.

In this book we have developed the asymptotic analysis of nonlinear dynamical systems. We have collected a large number of results, scattered throughout the literature and presented them in a way to illustrate both the underlying common theme, as well as the diversity of problems and solutions. While most of the results are known in the literature, we added new material which we hope will also be of interest to the specialists in this field. The basic theory is discussed in chapters two and three. Improved results are obtained in chapter four in the case of stable limit sets. In chapter five we treat averaging over several angles; here the theory is less standardized, and even in our simplified approach we encounter many open problems. Chapter six deals with the definition of normal form. After making the somewhat philosophical point as to what the right definition should look like, we derive the second order normal form in the Hamiltonian case, using the classical method of generating functions. In chapter seven we treat Hamiltonian systems. The resonances in two degrees of freedom are almost completely analyzed, while we give a survey of results obtained for three degrees of freedom systems. The appendices contain a mix of elementary results, expansions on the theory and research problems.

Explains the relationship of electrophysiology, nonlinear dynamics, and the computational properties of neurons, with each concept presented in terms of both neuroscience and mathematics and illustrated using geometrical intuition. In order to model neuronal behavior or to interpret the results of modeling studies, neuroscientists must call upon methods of nonlinear dynamics. This book offers an introduction to nonlinear dynamical systems theory for researchers and graduate students in neuroscience. It also provides an overview of neuroscience for mathematicians who want to learn the basic facts of electrophysiology. Dynamical Systems in Neuroscience presents a systematic study of the relationship of electrophysiology, nonlinear dynamics, and computational properties of neurons. It emphasizes that information processing in the brain depends not only on the electrophysiological properties of neurons but also on their dynamical properties. The book introduces dynamical systems, starting with one- and two-dimensional Hodgkin-Huxley-type models and continuing to a description of bursting systems. Each chapter proceeds from the simple to the complex, and provides sample problems at the end. The book explains all necessary mathematical concepts using geometrical intuition; it includes many figures and few equations, making it especially suitable for non-mathematicians. Each concept is presented in terms of both neuroscience and mathematics, providing a link between the two disciplines. Nonlinear dynamical systems theory is at the core of computational neuroscience research, but it is not a standard part of the graduate neuroscience curriculum—or taught by math or physics department in a way that is suitable for students of biology. This book offers neuroscience students and researchers a comprehensive account of concepts and methods increasingly used in computational neuroscience. An additional chapter on synchronization, with more advanced material, can be found at the author's website, www.izhikevich.com.

This book capitalizes on the developments in dynamical systems and education by presenting some of the most recent advances in this area in seventeen non-overlapping chapters. The first half of the book discusses the conceptual framework of complex dynamical systems and its applicability to educational processes. The second half presents a set of empirical studies that that illustrate the use of various research methodologies to investigate complex dynamical processes in education, and help the reader appreciate what we learn about dynamical processes in education from using these approaches.