This book provides an introduction to the analysis of discrete dynamical systems. The content is presented by an unitary approach that blends the perspective of mathematical modeling together with the ones of several discipline as Mathematical Analysis, Linear Algebra, Numerical Analysis, Systems Theory and Probability. After a preliminary discussion of several models, the main tools for the study of linear and non-linear scalar dynamical systems are presented, paying particular attention to the stability analysis. Linear difference equations are studied in detail and an elementary introduction of Z and Discrete Fourier Transform is presented. A whole chapter is devoted to the study of bifurcations and chaotic dynamics. One-step vector-valued dynamical systems are the subject of three chapters, where the reader can find the applications to positive systems, Markov chains, networks and search engines. The book is addressed mainly to students in Mathematics, Engineering, Physics, Chemistry, Biology and Economics. The exposition is self-contained: some appendices present prerequisites, algorithms and suggestions for computer simulations. The analysis of several examples is enriched by the proposition of many related exercises of increasing difficulty; in the last chapter the detailed solution is given for most of them.

The theory of dynamical systems, or mappings, plays an important role in various disciplines of modern physics, including celestial mechanics and fluid mechanics. This comprehensive introduction to the general study of mappings has particular emphasis on their applications to the dynamics of the solar system. The book forms a bridge between continuous systems, which are suited to analytical developments and to discrete systems, which are suitable for numerical exploration. Featuring chapters based on lectures delivered at the School on Discrete Dynamical Systems (Aussois, France, February 1996) the book contains three parts - Numerical Tools and Modelling, Analytical Methods, and Examples of Application. It provides a single source of information that, until now, has been available only in widely dispersed journal articles.

Discrete-event dynamic systems (DEDs) permeate our world. They are of great importance in modern manufacturing processes, transportation and various forms of computer and communications networking. This book begins with the mathematical basics required for the study of DEDs and moves on to present various tools used in their modeling and control. Industrial examples illustrate the concepts and methods discussed, making this book an invaluable aid for students embarking on further courses in control, manufacturing engineering or computer studies.

This book is the result of ​Southeast Asian Mathematical Society (SEAMS) School 2018 on Dynamical Systems and Bifurcation Analysis (DySBA). It addresses the latest developments in the field of dynamical systems, and highlights the importance of numerical continuation studies in tracking both stable and unstable steady states and bifurcation points to gain better understanding of the dynamics of the systems. The SEAMS School 2018 on DySBA was held in Penang from 6th to 13th August at the School of Mathematical Sciences, Universiti Sains Malaysia.The SEAMS Schools are part of series of intensive study programs that aim to provide opportunities for an advanced learning experience in mathematics via planned lectures, contributed talks, and hands-on workshop. This book will appeal to those postgraduates, lecturers and researchers working in the field of dynamical systems and their applications. Senior undergraduates in Mathematics will also find it useful.

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.

Design of modern digital hardware systems and of complex software systems is almost always connected with parallelism. For example, execution of an object-oriented p- gram can be considered as parallel functioning of the co-operating objects; all modern operating systems are multitasking, and the software tends to be multithread; many complex calculation tasks are solved in distributed way. But designers of the control systems probably have to face parallelism in more evident and direct way. Controllers rarely deal with just one controlled object. Usually a system of several objects is to be controlled, and then the control algorithm naturally turns to be parallel. So, classical and very deeply investigated model of discrete device, Finite State Machine, is not expressive enough for the design of control devices and systems. Theoretically in most of cases behavior of a controller can be described by an FSM, but usually it is not convenient; such FSM description would be much more complex, than a parallel specification (even as a network of several communicating FSMs).

Collecting the work of the foremost scientists in the field, Discrete-Event Modeling and Simulation: Theory and Applications presents the state of the art in modeling discrete-event systems using the discrete-event system specification (DEVS) approach. It introduces the latest advances, recent extensions of formal techniques, and real-world examples of various applications. The book covers many topics that pertain to several layers of the modeling and simulation architecture. It discusses DEVS model development support and the interaction of DEVS with other methodologies. It describes different forms of simulation supported by DEVS, the use of real-time DEVS simulation, the relationship between DEVS and graph transformation, the influence of DEVS variants on simulation performance, and interoperability and composability with emphasis on DEVS standardization. The text also examines extensions to DEVS, new formalisms, and abstractions of DEVS models as well as the theory and analysis behind real-world system identification and control. To support the generation and search of optimal models of a system, a framework is developed based on the system entity structure and its transformation to DEVS simulation models. In addition, the book explores numerous interesting examples that illustrate the use of DEVS to build successful applications, including optical network-on-chip, construction/building design, process control, workflow systems, and environmental models. A one-stop resource on advances in DEVS theory, applications, and methodology, this volume offers a sampling of the best research in the area, a broad picture of the DEVS landscape, and trend-setting applications enabled by the DEVS approach. It provides the basis for future research discoveries and encourages the development of new applications.