This volume resulted from presentations given at the international "Brainstorming Workshop on New Developments in Discrete Mechanics, Geometric Integration and Lie-Butcher Series", that took place at the Instituto de Ciencias Matematicas (ICMAT) in Madrid, Spain. It combines overview and research articles on recent and ongoing developments, as well as new research directions. Why geometric numerical integration? In their article of the same title Arieh Iserles and Reinout Quispel, two renowned experts in numerical analysis of differential equations, provide a compelling answer to this question. After this introductory chapter a collection of high-quality research articles aim at exploring recent and ongoing developments, as well as new research directions in the areas of geometric integration methods for differential equations, nonlinear systems interconnections, and discrete mechanics. One of the highlights is the unfolding of modern algebraic and combinatorial structures common to those topics, which give rise to fruitful interactions between theoretical as well as applied and computational perspectives. The volume is aimed at researchers and graduate students interested in theoretical and computational problems in geometric integration theory, nonlinear control theory, and discrete mechanics.

From past decades, Computational intelligence embraces a number of nature-inspired computational techniques which mainly encompasses fuzzy sets, genetic algorithms, artificial neural networks and hybrid neuro-fuzzy systems to address the computational complexities such as uncertainties, vagueness and stochastic nature of various computational problems practically. At the same time, Intelligent Control systems are emerging as an innovative methodology which is inspired by various computational intelligence process to promote a control over the systems without the use of any mathematical models. To address the effective use of intelligent control in Computational intelligence systems, International Conference on Intelligent Computing, Information and Control Systems (ICICCS 2019) is initiated to encompass the various research works that helps to develop and advance the next-generation intelligent computing and control systems. This book integrates the computational intelligence and intelligent control systems to provide a powerful methodology for a wide range of data analytics issues in industries and societal applications. The recent research advances in computational intelligence and control systems are addressed, which provide very promising results in various industry, business and societal studies. This book also presents the new algorithms and methodologies for promoting advances in common intelligent computing and control methodologies including evolutionary computation, artificial life, virtual infrastructures, fuzzy logic, artificial immune systems, neural networks and various neuro-hybrid methodologies. This book will be pragmatic for researchers, academicians and students dealing with mathematically intransigent problems. It is intended for both academicians and researchers in the field of Intelligent Computing, Information and Control Systems, along with the distinctive readers in the fields of computational and artificial intelligence to gain more knowledge on Intelligent computing and control systems and their real-world applications.

The book consists of papers on selected topics of dependability analysis in computer systems and networks which were discussed during the 17th DepCoS-RELCOMEX conference held in Wroclaw, Poland, from June 27th to July 1st, 2022. Their collection will be an interesting source material for scientists, researchers, practitioners and students who are dealing with design, analysis and engineering of computer systems and networks and must ensure their dependable operation. Being probably the most complex technical systems ever engineered by man (and also, the most dynamically evolving ones), organization of contemporary computer systems and networks cannot be interpreted only as a structure built on the base of unreliable technical resources. Their evaluation must take into account a unique blend of interacting people, networks (together with mobile properties, cloud organization, Internet of Everything, etc.) and a large number of users dispersed geographically and constantly producing an unconceivable number of applications. Research methods being continuously developed for dependability analyses apply newest results of artificial and computational intelligence. Selection of papers in this book illustrates broad range of topics, often multi-disciplinary, which is considered in present-day dependability explorations; it also reveals an increasing role of the latest methods based on machine/deep learning and neural networks in these studies.

Nonlinear Model Predictive Control is a thorough and rigorous introduction to nonlinear model predictive control (NMPC) for discrete-time and sampled-data systems. NMPC is interpreted as an approximation of infinite-horizon optimal control so that important properties like closed-loop stability, inverse optimality and suboptimality can be derived in a uniform manner. These results are complemented by discussions of feasibility and robustness. NMPC schemes with and without stabilizing terminal constraints are detailed and intuitive examples illustrate the performance of different NMPC variants. An introduction to nonlinear optimal control algorithms gives insight into how the nonlinear optimisation routine - the core of any NMPC controller - works. An appendix covering NMPC software and accompanying software in MATLAB (R) and C++(downloadable from www.springer.com/ISBN) enables readers to perform computer experiments exploring the possibilities and limitations of NMPC.

This book touches upon various aspects of a very interesting, and growing in popularity category of models of dynamical systems. These are the so-called fractional-order systems. Such models are not only relevant for many fields of science and technology, but may also find numerous applications in other disciplines applying the mathematical modelling tools. Thus, the book is intended for a very wide audience of professionals who want to expand their knowledge of systems modelling and its applications. The book includes the selections of papers presented at the International Conference on Fractional Calculus and its Applications organized by the Warsaw University of Technology and was held online on 6-8 September 2021. The International Conference on Fractional Calculus and its Applications (ICFDA) has an almost twenty years history. It started in Bordeaux (France) in 2004, followed by Porto (Portugal) 2006, Istanbul (Turkey) 2008, Badajoz (Spain) 2010, Nanjing (China) 2012, Catania (Italy) 2014, Novi Sad (Serbia) 2016, Amman (Jordan) 2018. Next ICFDA was planned in 2020 in Warsaw (Poland), but COVID-19 pandemic shifted it to 6-8 September 2021. Hence, the organizers were forced to change the form of the conference to the online one. In the volume twenty eight high-quality research papers presented during the ICFDA 2021 eleven Regular Sessions with an additional online Discussion Session are presented. The presented papers are scientifically inspiring, leading to new fruitful ideas. They cover a very broad range of many disciplines. Nowadays, and especially in such a subject as fractional calculus, it is very difficult to assign papers to specific scientific areas. So, many of the papers included have an interdisciplinary character.

This volume consists of selected essays by participants of the workshop Control at Large Scales: Energy Markets and Responsive Grids held at the Institute for Mathematics and its Applications, Minneapolis, Minnesota, U.S.A. from May 9-13, 2016. The workshop brought together a diverse group of experts to discuss current and future challenges in energy markets and controls, along with potential solutions. The volume includes chapters on significant challenges in the design of markets and incentives, integration of renewable energy and energy storage, risk management and resilience, and distributed and multi-scale optimization and control. Contributors include leading experts from academia and industry in power systems and markets as well as control science and engineering. This volume will be of use to experts and newcomers interested in all aspects of the challenges facing the creation of a more sustainable electricity infrastructure, in areas such as distributed and stochastic optimization and control, stability theory, economics, policy, and financial mathematics, as well as in all aspects of power system operation.

This authored monograph presents a study on fundamental limits and robustness of stability and stabilization of time-delay systems, with an emphasis on time-varying delay, robust stabilization, and newly emerged areas such as networked control and multi-agent systems. The authors systematically develop an operator-theoretic approach that departs from both the traditional algebraic approach and the currently pervasive LMI solution methods. This approach is built on the classical small-gain theorem, which enables the author to draw upon powerful tools and techniques from robust control theory. The book contains motivating examples and presents mathematical key facts that are required in the subsequent sections. The target audience primarily comprises researchers and professionals in the field of control theory, but the book may also be beneficial for graduate students alike.

This book analyzes the updated principles and applications of nonlinear approaches to solve engineering and physics problems. The knowledge on nonlinearity and the comprehension of nonlinear approaches are inevitable to future engineers and scientists, making this an ideal book for engineers, engineering students, and researchers in engineering, physics, and mathematics. Chapters are of specific interest to readers who seek expertise in optimization, nonlinear analysis, mathematical modeling of complex forms, and non-classical engineering problems. The book covers methodologies and applications from diverse areas such as vehicle dynamics, surgery simulation, path planning, mobile robots, contact and scratch analysis at the micro and nano scale, sub-structuring techniques, ballistic projectiles, and many more.

This volume, which is dedicated to Heinz Langer, includes biographical material and carefully selected papers. Heinz Langer has made fundamental contributions to operator theory. In particular, he has studied the domains of operator pencils and nonlinear eigenvalue problems, the theory of indefinite inner product spaces, operator theory in Pontryagin and Krein spaces, and applications to mathematical physics. His works include studies on and applications of Schur analysis in the indefinite setting, where the factorization theorems put forward by Krein and Langer for generalized Schur functions, and by Dijksma-Langer-Luger-Shondin, play a key role. The contributions in this volume reflect Heinz Langer's chief research interests and will appeal to a broad readership whose work involves operator theory.

This book presents papers on various problems of dependability in computer systems and networks that were discussed at the 14th DepCoS-RELCOMEX conference, in Brunow, Poland, from 1st to 5th July 2019. Discussing new ideas, research results and developments in the design, implementation, maintenance and analysis of complex computer systems, it is of interest to researchers and practitioners who are dealing with dependability issues in such systems. Dependability analysis came as a response to new challenges in the evaluation of contemporary complex systems, which should be considered as systems of people - with their needs and behaviours -interacting with technical communication channels (such as mobile activities, iCloud, Internet of Everything) and online applications, often operating in hostile environments. The diversity of topics covered, illustrates the variety of methods used in this area, often with the help of the latest results in artificial and computational intelligence.

This self-contained book presents a framework for solving a general class of linear systems with coefficients being continuous functions of parameters varying within prescribed intervals. It also provides a comprehensive overview of the theory related to solving parametric interval linear systems and the basic properties of parametric interval matrices. In particular, it develops several new algorithms delivering sharp rigorous bounds for the solutions of such systems with full mathematical rigor. The framework employs the arithmetic of revised affine forms that enables the readers to handle dependent data. The book is intended not only for researchers interested in developing rigorous methods of numerical linear algebra, but also for engineers dealing with problems involving uncertain data. The theory discussed is also useful in various other fields of numerical analysis, in computer graphics, economics, computational geometry, computer-aided design, computer-assisted proofs, computer graphics, control theory, solving constraint satisfaction problems, and global optimization.

This book aims to bring together researchers and practitioners working across domains and research disciplines to measure, model, and visualize complex networks. It collects the works presented at the 9th International Conference on Complex Networks (CompleNet) in Boston, MA, March, 2018. With roots in physical, information and social science, the study of complex networks provides a formal set of mathematical methods, computational tools and theories to describe, prescribe and predict dynamics and behaviors of complex systems. Despite their diversity, whether the systems are made up of physical, technological, informational, or social networks, they share many common organizing principles and thus can be studied with similar approaches. This book provides a view of the state-of-the-art in this dynamic field and covers topics such as group decision-making, brain and cellular connectivity, network controllability and resiliency, online activism, recommendation systems, and cyber security.

This book provides an introduction to Swarm Robotics, which is the application of methods from swarm intelligence to robotics. It goes on to present methods that allow readers to understand how to design large-scale robot systems by going through many example scenarios on topics such as aggregation, coordinated motion (flocking), task allocation, self-assembly, collective construction, and environmental monitoring. The author explains the methodology behind building multiple, simple robots and how the complexity emerges from the multiple interactions between these robots such that they are able to solve difficult tasks. The book can be used as a short textbook for specialized courses or as an introduction to Swarm Robotics for graduate students, researchers, and professionals who want a concise introduction to the field.

This book reports on cutting-edge research into innovative system interfaces, highlighting both lifecycle development and human-technology interaction, especially in virtual, augmented and mixed-reality systems. It describes advanced methodologies and tools for evaluating and improving interface usability and discusses new models, as well as case studies and good practices. The book addresses the human, hardware, and software factors in the process of developing interfaces for optimizing total system performance, while minimizing their costs. It also highlights the forces currently shaping the nature of computing and systems, such as: the importance of portability and technologies for reducing power requirements; the necessity of a better assimilation of computation in the environment; as well as solutions to promote accessibility to computers and systems for people with special needs. The book, which is based on the AHFE 2019 International Conference on Human Factors and Systems Interaction, held on July 24-28, 2019, in Washington D.C., USA, offers a timely survey and practice-oriented guide for systems interface users and developers alike.

This book presents a collection of research findings and proposals on computer science and computer engineering, introducing readers to essential concepts, theories, and applications. It also shares perspectives on how cutting-edge and established methodologies and techniques can be used to obtain new and interesting results. Each chapter focuses on a specific aspect of computer science or computer engineering, such as: software engineering, complex systems, computational intelligence, embedded systems, and systems engineering. As such, the book will bring students and professionals alike up to date on key advances in these areas.

This introductory text presents the basic aspects and most important features of various types of resonances and anti-resonances in dynamical systems. In particular, for each resonance, it covers the theoretical concepts, illustrates them with case studies, and reviews the available information on mechanisms, characterization, numerical simulations, experimental realizations, possible quantum analogues, applications and significant advances made over the years. Resonances are one of the most fundamental phenomena exhibited by nonlinear systems and refer to specific realizations of maximum response of a system due to the ability of that system to store and transfer energy received from an external forcing source. Resonances are of particular importance in physical, engineering and biological systems - they can prove to be advantageous in many applications, while leading to instability and even disasters in others. The book is self-contained, providing the details of mathematical derivations and techniques involved in numerical simulations. Though primarily intended for graduate students, it can also be considered a reference book for any researcher interested in the dynamics of resonant phenomena.

The book discusses new algorithms capable of searching for, tracking, mapping and providing a visualization of invisible substances. It reports on the realization of a bacterium-inspired robotic controller that can be used by an agent to search for any environmental spatial function such as temperature or pollution. Using the parameters of a mathematical model, the book shows that it is possible to control the exploration, exploitation and sensitivity of the agent. This feature sets the work apart from the usual method of applying the bacterium behavior to robotic agents. The book also discusses how a computationally tractable multi-agent robotic controller was developed and used to track as well as provide a visual map of a spatio-temporal distribution of a substance. On the one hand, this book provides biologists and ecologists with a basis to perform simulations related to how individual organisms respond to spatio-temporal factors in their environment as well as predict and analyze the behavior of organisms at a population level. On the other hand, it offers robotic engineers practical and fresh insights into the development of computationally tractable algorithms for spatial exploratory and mapping robots. It also allows a more general audience to gain an understanding of the design of computational intelligence algorithms for autonomous physical systems.

This book is a concise navigator across the history of cybernetics, its state-of-the-art and prospects. The evolution of cybernetics (from N. Wiener to the present day) and the reasons of its ups and downs are presented. The correlation of cybernetics with the philosophy and methodology of control, as well as with system theory and systems analysis is clearly demonstrated. The book presents a detailed analysis focusing on the modern trends of research in cybernetics. A new development stage of cybernetics (the so-called cybernetics 2.0) is discussed as a science on general regularities of systems organization and control. The author substantiates the topicality of elaborating a new branch of cybernetics, i.e. organization theory which studies an organization as a property, process and system. The book is intended for theoreticians and practitioners, as well as for students, postgraduates and doctoral candidates. In the first place, the target audience includes tutors and lecturers preparing courses on cybernetics, control theory and systems science.

This proceedings volume contains talks and poster presentations from the International Symposium "Self-Organization in Complex Systems: The Past, Present, and Future of Synergetics", which took place at Hanse-Wissenschaftskolleg, an Institute of Advanced Studies, in Delmenhorst, Germany, during the period November 13 - 16, 2012. The Symposium was organized in honour of Hermann Haken, who celebrated his 85th birthday in 2012. With his fundamental theory of Synergetics he had laid the mathematical-physical basis for describing and analyzing self-organization processes in a diversity of fields of research. The quest for common and universal principles of self-organization in complex systems was clearly covered by the wide range of interdisciplinary topics reported during the Symposium. These extended from complexity in classical systems and quantum systems over self-organisation in neuroscience even to the physics of finance. Moreover, by combining a historical view with a present status report the Symposium conveyed an impression of the allure and potency of this branch of research as well as its applicability in the future.

This book presents a collection of authoritative contributions on the concept of time in early twentieth-century philosophy. It is structured in the form of a thematic atlas: each section is accompanied by relevant elementary logic maps that reproduce in a "spatial" form the directionalities (arguments and/or discourses) reported on in the text. The book is divided into three main sections, the first of which covers phenomenology and the perception of time by analyzing the works of Bergson, Husserl, Sartre, Merleau-Ponty, Deleuze, Guattari and Derrida. The second section focuses on the language and conceptualization of time, examining the works of Cassirer, Wittgenstein, Heidegger, Lacan, Ricoeur and Foucault, while the last section addresses the science and logic of time as they appear in the works of Guillaume, Einstein, Reichenbach, Prigogine and Barbour. The purpose of the book is threefold: to provide readers with a comprehensive overview of the concept of time in early twentieth-century philosophy; to show how conceptual reasoning can be supported by accompanying linguistic and spatial representations; and to stimulate novel research in the humanistic field concerning the complex role of graphic representations in the comprehension of concepts.

In this monograph the authors present Newton-type, Newton-like and other numerical methods, which involve fractional derivatives and fractional integral operators, for the first time studied in the literature. All for the purpose to solve numerically equations whose associated functions can be also non-differentiable in the ordinary sense. That is among others extending the classical Newton method theory which requires usual differentiability of function. Chapters are self-contained and can be read independently and several advanced courses can be taught out of this book. An extensive list of references is given per chapter. The book's results are expected to find applications in many areas of applied mathematics, stochastics, computer science and engineering. As such this monograph is suitable for researchers, graduate students, and seminars of the above subjects, also to be in all science and engineering libraries.

This volume reflects "New Trends in Shape Optimization" and is based on a workshop of the same name organized at the Friedrich-Alexander University Erlangen-Nurnberg in September 2013. During the workshop senior mathematicians and young scientists alike presented their latest findings. The format of the meeting allowed fruitful discussions on challenging open problems, and triggered a number of new and spontaneous collaborations. As such, the idea was born to produce this book, each chapter of which was written by a workshop participant, often with a collaborator. The content of the individual chapters ranges from survey papers to original articles; some focus on the topics discussed at the Workshop, while others involve arguments outside its scope but which are no less relevant for the field today. As such, the book offers readers a balanced introduction to the emerging field of shape optimization.

This book presents special systems derived from industrial models, including the complex saturation nonlinear functions and the delay nonlinear functions. It also presents typical methods, such as the classical Liapunov and Integral Inequalities methods. Providing constructive qualitative and stability conditions for linear systems with saturated inputs in both global and local contexts, it offers practitioners more concise model systems for modern saturation nonlinear techniques, which have the potential for future applications. This book is a valuable guide for researchers and graduate students in the fields of mathematics, control, and engineering.

Recent developments in model-predictive control promise remarkable opportunities for designing multi-input, multi-output control systems and improving the control of single-input, single-output systems. This volume provides a definitive survey of the latest model-predictive control methods available to engineers and scientists today. The initial set of chapters present various methods for managing uncertainty in systems, including stochastic model-predictive control. With the advent of affordable and fast computation, control engineers now need to think about using "computationally intensive controls," so the second part of this book addresses the solution of optimization problems in "real" time for model-predictive control. The theory and applications of control theory often influence each other, so the last section of Handbook of Model Predictive Control rounds out the book with representative applications to automobiles, healthcare, robotics, and finance. The chapters in this volume will be useful to working engineers, scientists, and mathematicians, as well as students and faculty interested in the progression of control theory. Future developments in MPC will no doubt build from concepts demonstrated in this book and anyone with an interest in MPC will find fruitful information and suggestions for additional reading.

This edited monograph provides a comprehensive and in-depth analysis of sliding mode control, focusing on event-triggered implementation. The technique allows to prefix the steady-state bounds of the system, and this is independent of any boundary disturbances. The idea of event-triggered SMC is developed for both single input / single output and multi-input / multi-output linear systems. Moreover, the reader learns how to apply this method to nonlinear systems. The book primarily addresses research experts in the field of sliding mode control, but the book may also be beneficial for graduate students.