Discrete-Time and Discrete-Space Dynamical Systems


Book Description

Discrete-Time and Discrete-Space Dynamical Systems provides a systematic characterization of the similarities and differences of several types of discrete-time and discrete-space dynamical systems, including: Boolean control networks; nondeterministic finite-transition systems; finite automata; labelled Petri nets; and cellular automata. The book's perspective is primarily based on topological properties though it also employs semitensor-product and graph-theoretic methods where appropriate. It presents a series of fundamental results: invertibility, observability, detectability, reversiblity, etc., with applications to systems biology. Academic researchers with backgrounds in applied mathematics, engineering or computer science and practising engineers working with discrete-time and discrete-space systems will find this book a helpful source of new understanding for this increasingly important class of systems. The basic results to be found within are of fundamental importance for further study of related problems such as automated synthesis and safety control in cyber-physical systems using formal methods.




Discovering Discrete Dynamical Systems


Book Description

Discovering Discrete Dynamical Systems is a mathematics textbook designed for use in a student-led, inquiry-based course for advanced mathematics majors. Fourteen modules each with an opening exploration, a short exposition and related exercises, and a concluding project guide students to self-discovery on topics such as fixed points and their classifications, chaos and fractals, Julia and Mandelbrot sets in the complex plane, and symbolic dynamics. Topics have been carefully chosen as a means for developing student persistence and skill in exploration, conjecture, and generalization while at the same time providing a coherent introduction to the fundamentals of discrete dynamical systems. This book is written for undergraduate students with the prerequisites for a first analysis course, and it can easily be used by any faculty member in a mathematics department, regardless of area of expertise. Each module starts with an exploration in which the students are asked an open-ended question. This allows the students to make discoveries which lead them to formulate the questions that will be addressed in the exposition and exercises of the module. The exposition is brief and has been written with the intent that a student who has taken, or is ready to take, a course in analysis can read the material independently. The exposition concludes with exercises which have been designed to both illustrate and explore in more depth the ideas covered in the exposition. Each module concludes with a project in which students bring the ideas from the module to bear on a more challenging or in-depth problem. A section entitled "To the Instructor" includes suggestions on how to structure a course in order to realize the inquiry-based intent of the book. The book has also been used successfully as the basis for an independent study course and as a supplementary text for an analysis course with traditional content.




Discrete-time Stochastic Systems


Book Description

This comprehensive introduction to the estimation and control of dynamic stochastic systems provides complete derivations of key results. The second edition includes improved and updated material, and a new presentation of polynomial control and new derivation of linear-quadratic-Gaussian control.




Discrete Systems with Memory


Book Description

Memory is a universal function of organized matter. What is the mathematics of memory? How does memory affect the space-time behaviour of spatially extended systems? Does memory increase complexity? This book provides answers to these questions. It focuses on the study of spatially extended systems, i.e., cellular automata and other related discrete complex systems. Thus, arrays of locally connected finite state machines, or cells, update their states simultaneously, in discrete time, by the same transition rule. The classical dynamics in these systems is Markovian: only the actual configuration is taken into account to generate the next one. Generalizing the conventional view on spatially extended discrete dynamical systems evolution by allowing cells (or nodes) to be featured by some trait state computed as a function of its own previous state-values, the transition maps of the classical systems are kept unaltered, so that the effect of memory can be easily traced. The book demonstrates that discrete dynamical systems with memory are not only priceless tools for modeling natural phenomena but unique mathematical and aesthetic objects.




Discrete Dynamical Systems


Book Description

This textbook is an elementary introduction to the world of dynamical systems and Chaos. Dynamical systems provide a mathematical means of modeling and analysing aspects of the changing world around us. The aim of this ground-breaking new text is to introduce the reader both to the wide variety of techniques used to study dynamical systems and to their many applications. In particular, investigation of dynamical systems leads to the important concepts of stability, strange attractors, Chaos, and fractals.




Finite-Time Stability: An Input-Output Approach


Book Description

Systematically presents the input-output finite-time stability (IO-FTS) analysis of dynamical systems, covering issues of analysis, design and robustness The interest in finite-time control has continuously grown in the last fifteen years. This book systematically presents the input-output finite-time stability (IO-FTS) analysis of dynamical systems, with specific reference to linear time-varying systems and hybrid systems. It discusses analysis, design and robustness issues, and includes applications to real world engineering problems. While classical FTS has an important theoretical significance, IO-FTS is a more practical concept, which is more suitable for real engineering applications, the goal of the research on this topic in the coming years. Key features: Includes applications to real world engineering problems. Input-output finite-time stability (IO-FTS) is a practical concept, useful to study the behavior of a dynamical system within a finite interval of time. Computationally tractable conditions are provided that render the technique applicable to time-invariant as well as time varying and impulsive (i.e. switching) systems. The LMIs formulation allows mixing the IO-FTS approach with existing control techniques (e. g. H∞ control, optimal control, pole placement, etc.). This book is essential reading for university researchers as well as post-graduate engineers practicing in the field of robust process control in research centers and industries. Topics dealt with in the book could also be taught at the level of advanced control courses for graduate students in the department of electrical and computer engineering, mechanical engineering, aeronautics and astronautics, and applied mathematics.




Stability and Stable Oscillations in Discrete Time Systems


Book Description

The expertise of a professional mathmatician and a theoretical engineer provides a fresh perspective of stability and stable oscillations. The current state of affairs in stability theory, absolute stability of control systems, and stable oscillations of both periodic and almost periodic discrete systems is presented, including many applications in engineering such as stability of digital filters, digitally controlled thermal processes, neurodynamics, and chemical kinetics. This book will be an invaluable reference source for those whose work is in the area of discrete dynamical systems, difference equations, and control theory or applied areas that use discrete time models.




Discrete Dynamics and Difference Equations


Book Description

This volume holds a collection of articles based on the talks presented at ICDEA 2007 in Lisbon, Portugal. The volume encompasses current topics on stability and bifurcation, chaos, mathematical biology, iteration theory, nonautonomous systems, and stochastic dynamical systems.




An Introduction to Hybrid Dynamical Systems


Book Description

This book is about dynamical systems that are "hybrid" in the sense that they contain both continuous and discrete state variables. Recently there has been increased research interest in the study of the interaction between discrete and continuous dynamics. The present volume provides a first attempt in book form to bring together concepts and methods dealing with hybrid systems from various areas, and to look at these from a unified perspective. The authors have chosen a mode of exposition that is largely based on illustrative examples rather than on the abstract theorem-proof format because the systematic study of hybrid systems is still in its infancy. The examples are taken from many different application areas, ranging from power converters to communication protocols and from chaos to mathematical finance. Subjects covered include the following: definition of hybrid systems; description formats; existence and uniqueness of solutions; special subclasses (variable-structure systems, complementarity systems); reachability and verification; stability and stabilizability; control design methods. The book will be of interest to scientists from a wide range of disciplines including: computer science, control theory, dynamical system theory, systems modeling and simulation, and operations research.




Difference Equations and Discrete Dynamical Systems with Applications


Book Description

This book presents the proceedings of the 24th International Conference on Difference Equations and Applications, which was held at the Technical University in Dresden, Germany, in May 2018, under the auspices of the International Society of Difference Equations (ISDE). The conference brought together leading researchers working in the respective fields to discuss the latest developments, and to promote international cooperation on the theory and applications of difference equations. This book appeals to researchers and scientists working in the fields of difference equations and discrete dynamical systems and their applications.