This book describes system dynamics with discontinuity caused by system interactions and presents the theory of flow singularity and switchability at the boundary in discontinuous dynamical systems. Based on such a theory, the authors address dynamics and motion mechanism of engineering discontinuous systems due to interaction. Stability and bifurcations of fixed points in nonlinear discrete dynamical systems are presented, and mapping dynamics are developed for analytical predictions of periodic motions in engineering discontinuous dynamical systems. Ultimately, the book provides an alternative way to discuss the periodic and chaotic behaviors in discontinuous dynamical systems.

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 book introduces and studies a number of stochastic models of subsistence, communication, social evolution and political transition that will allow the reader to grasp the role of uncertainty as a fundamental property of our irreversible world. At the same time, it aims to bring about a more interdisciplinary and quantitative approach across very diverse fields of research in the humanities and social sciences. Through the examples treated in this work - including anthropology, demography, migration, geopolitics, management, and bioecology, among other things - evidence is gathered to show that volatile environments may change the rules of the evolutionary selection and dynamics of any social system, creating a situation of adaptive uncertainty, in particular, whenever the rate of change of the environment exceeds the rate of adaptation. Last but not least, it is hoped that this book will contribute to the understanding that inherent randomness can also be a great opportunity - for social systems and individuals alike - to help face the challenge of "survival under uncertainty".

The advancement of technology in today's world has led to the progression of several professional fields. This includes the classroom, as teachers have begun using new technological strategies to increase student involvement and motivation. ICT innovation including virtual reality and blended learning methods has changed the scope of classroom environments across the globe; however, significant research is lacking in this area. ICTs and Innovation for Didactics of Social Sciences is a fundamental reference focused on didactics of social sciences and ICTs including issues related to innovation, resources, and strategies for teachers that can link to the transformation of social sciences teaching and learning as well as societal transformation. While highlighting topics such as blended learning, augmented reality, and virtual classrooms, this book is ideally designed for researchers, administrators, educators, practitioners, and students interested in understanding current relevant ICT resources and innovative strategies for the didactic of social sciences and didactic possibilities in relation to concrete conceptual contents, resolution of problems, planning, decision making, development of social skills, attention, and motivation promoting a necessary technological literacy.

This book is dedicated to Prof. J. Kapur and his contributions to the field of entropy measures and maximum entropy applications. Eminent scholars in various fields of applied information theory have been invited to contribute to this Festschrift, collected on the occasion of his 75th birthday. The articles cover topics in the areas of physical, biological, engineering and social sciences such as information technology, soft computing, nonlinear systems or molecular biology with a thematic coherence. The volume will be useful to researchers working in these different fields enabling them to see the underlying unity and power of entropy optimization frameworks.

This book explores the latest research trends in intelligent systems and smart applications. It presents high-quality empirical and review studies focusing on various topics, including information systems and software engineering, knowledge management, technology in education, emerging technologies, and social networks. It provides insights into the theoretical and practical aspects of intelligent systems and smart applications.

Anyone seeking a gentle introduction to the methods of modern control theory and engineering, written at the level of a first-year graduate course, should consider this book seriously. It contains: A generous historical overview of automatic control, from Ancient Greece to the 1970s, when this discipline matured into an essential field for electrical, mechanical, aerospace, chemical, and biomedical engineers, as well as mathematicians, and more recently, computer scientists; A balanced presentation of the relevant theory: the main state-space methods for description, analysis, and design of linear control systems are derived, without overwhelming theoretical arguments; Over 250 solved and exercise problems for both continuous- and discrete-time systems, often including MATLAB simulations; and Appendixes on MATLAB, advanced matrix theory, and the history of mathematical tools such as differential calculus, transform methods, and linear algebra. Another noteworthy feature is the frequent use of an inverted pendulum on a cart to illustrate the most important concepts of automatic control, such as: Linearization and discretization; Stability, controllability, and observability; State feedback, controller design, and optimal control; and Observer design, reduced order observers, and Kalman filtering. Most of the problems are given with solutions or MATLAB simulations. All MATLAB programs from the book are available on the enclosed CD. Whether the book is used as a textbook or as a self-study guide, the knowledge gained from it will be an excellent platform for students and practising engineers to explore further the recent developments and applications of control theory.

'Et moi, ..., si j'avait su comment en revenir, One service mathematics has rendered the je n'y serais point alIe.' human race. It has put common sense back Jules Verne where it belongs, on the topmost shelf next to the dusty canister labelled 'discarded non The series is divergent; therefore we may be sense'. able to do something with it. Eric T. Bell O. Heaviside Mathematics is a tool for thought. A highly necessary tool in a world where both feedback and non linearities abound. Similarly, all kinds of parts of mathematics serve as tools for other parts and for other sciences. Applying a simple rewriting rule to the quote on the right above one finds such statements as: 'One service topology has rendered mathematical physics .. .'; 'One service logic has rendered com puter science .. .'; 'One service category theory has rendered mathematics .. .'. All arguably true. And all statements obtainable this way form part of the raison d'etre of this series."

This book is a tribute to Kenichi Morita's ideas and achievements in theoretical computer science, reversibility and computationally universal mathematical machines. It offers a unique source of information on universality and reversibility in computation and is an indispensable book for computer scientists, mathematicians, physicists and engineers. Morita is renowned for his works on two-dimensional language accepting automata, complexity of Turing machines, universality of cellular automata, regular and context-free array grammars, and undecidability. His high-impact works include findings on parallel generation and parsing of array languages by means of reversible automata, construction of a reversible automaton from Fredkin gates, solving a firing squad synchronization problem in reversible cellular automata, self-reproduction in reversible cellular spaces, universal reversible two-counter machines, solution of nondeterministic polynomial (NP) problems in hyperbolic cellular automata, reversible P-systems, a new universal reversible logic element with memory, and reversibility in asynchronous cellular automata. Kenichi Morita's achievements in reversibility, universality and theory of computation are celebrated in over twenty high-profile contributions from his colleagues, collaborators, students and friends. The theoretical constructs presented in this book are amazing in their diversity and depth of intellectual insight, addressing: queue automata, hyperbolic cellular automata, Abelian invertible automata, number-conserving cellular automata, Brownian circuits, chemical automata, logical gates implemented via glider collisions, computation in swarm networks, picture arrays, universal reversible counter machines, input-position-restricted models of language acceptors, descriptional complexity and persistence of cellular automata, partitioned cellular automata, firing squad synchronization algorithms, reversible asynchronous automata, reversible simulations of ranking trees, Shor's factorization algorithms, and power consumption of cellular automata.

The major goal of the book is to create an environment for matching different d- ciplinary approaches to studying economic growth. This goal is implemented on the basis of results of the Symposium "Applications of Dynamic Systems to E- nomic Growth with Environment" which was held at the International Institute for Applied Systems Analysis (IIASA) on the 7th-8th of November, 2008, within the IIASA Project "Driving Forces of Economic Growth" (ECG). The symposium was organized by coordinators of the ECG project: Jesus Crespo-Cuaresma from IIASA World Population Program, and Tapio Palokangas and Alexander Tarasyev from IIASA Dynamic Systems Program. The book addresses the issues of sustainability of economic growth in a cha- ing environment, global warming and exhausting energy resources, technological change, and also focuses on explanations of signi?cant ?uctuations in countries' growth rates. The chapters focus on the analysis of historical economic growth - periences in relation to environmental policy, technological change, development of transport infrastructure, population issues and environmental mortality. The book is written in a popular-science style, accessible to any intelligent lay reader. The prime audience for the book is economists, mathematicians and en- neersworkingonproblemsofeconomicgrowthandenvironment.Themathematical part of the book is presented in a rigorous manner, and the detailed analysis is - pected to be of interest to specialists in optimal control and applications to economic modeling. The book consists of four interrelated parts.

This book highlights cutting-edge research in the field of network science, offering scientists, researchers, students and practitioners a unique update on the latest advances in theory, together with a wealth of applications. It presents the peer-reviewed proceedings of the VII International Conference on Complex Networks and their Applications (COMPLEX NETWORKS 2018), which was held in Cambridge on December 11-13, 2018. The carefully selected papers cover a wide range of theoretical topics such as network models and measures; community structure and network dynamics; diffusion, epidemics and spreading processes; and resilience and control; as well as all the main network applications, including social and political networks; networks in finance and economics; biological and neuroscience networks; and technological networks.

The objective of this book is to bring together contributions by eminent researchers from industry and academia who specialize in the currently separate study and application of the key aspects of integration. The state of knowledge on integration and collaboration models and methods is reviewed, followed by an agenda for needed research that has been generated by the participants. The book is the result of a NATO Advanced Research Workshop on "Integration: Information and Collaboration Models" that took place at II Ciocco, Italy, during June 1993. Significant developments and research projects have been occurring internationally in a major effort to integrate increasingly complex systems. On one hand, advancements in computer technology and computing theories provide better, more timely, information. On of users and clients, and the the other hand, the geographic and organizational distribution proliferation of computers and communication, lead to an explosion of information and to the demand for integration. Two important examples of interest are computer integrated manufacturing and enterprises (CIM/E) and concurrent engineering (CE). CIM/E is the collection of computer technologies such as CNC, CAD, CAM. robotics and computer integrated engineering that integrate all the enterprise activities for competitiveness and timely response to changes. Concurrent engineering is the complete life-cycle approach to engineering of products. systems. and processes including customer requirements, design. planning. costing. service and recycling. In CIM/E and in CE, computer based information is the key to integration.

Thisvolumeexploresabductivecognition, animportantbut, atleastuntilthe third quarter of the last century, neglected topic in cognition. It integrates and further develops ideas already introduced in a previous book, which I published in 2001 (Abduction, Reason, and Science. Processes of Discovery and Explanation, Kluwer Academic/Plenum Publishers, New York). Thestatusofabductionisverycontroversial. Whendealingwithabductive reasoning misinterpretations and equivocations are common. What are the di?erences between abduction and induction? What are the di?erences - tween abduction and the well-known hypothetico-deductive method? What did Peircemeanwhen heconsideredabductionboth a kindofinferenceanda kind of instinct or when he considered perception a kind of abduction? Does abduction involve only the generation of hypotheses or their evaluation too? Are the criteria for the best explanation in abductive reasoning epistemic, or pragmatic, or both? Does abduction preserve ignorance or extend truth or both? How many kinds of abduction are there? Is abduction merely a kind of "explanatory" inference or does it involve other non-explanatory ways of guessing hypotheses? The book aims at increasing knowledge about creative and expert inf- ences. The study of these high-level methods of abductive reasoning is s- uated at the crossroads of philosophy, logic, epistemology, arti?cial intel- gence, neuroscience, cognitive psychology, animal cognition and evolutionary theories; that is, at the heart of cognitive science. Philosophers of science in thetwentiethcenturyhavetraditionallydistinguishedbetweentheinferential processesactiveinthelogicofdiscoveryandtheonesactiveinthelogicofj- ti?cation. Most have concluded that no logic of creative processes exists and, moreover, that a rational model of discovery is impossible. In short, scienti?c creative inferences are irrational and there is no "reasoning" to hypotheses.

This monograph is an up-to-date presentation of the analysis and design of singular Markovian jump systems (SMJSs) in which the transition rate matrix of the underlying systems is generally uncertain, partially unknown and designed. The problems addressed include stability, stabilization, H control and filtering, observer design, and adaptive control. applications of Markov process are investigated by using Lyapunov theory, linear matrix inequalities (LMIs), S-procedure and the stochastic Barbalat's Lemma, among other techniques. Features of the book include: * study of the stability problem for SMJSs with general transition rate matrices (TRMs); * stabilization for SMJSs by TRM design, noise control, proportional-derivative and partially mode-dependent control, in terms of LMIs with and without equation constraints; * mode-dependent and mode-independent H control solutions with development of a type of disordered controller; * observer-based controllers of SMJSs in which both the designed observer and controller are either mode-dependent or mode-independent; * consideration of robust H filtering in terms of uncertain TRM or filter parameters leading to a method for totally mode-independent filtering * development of LMI-based conditions for a class of adaptive state feedback controllers with almost-certainly-bounded estimated error and almost-certainly-asymptotically-stable corres ponding closed-loop system states * applications of Markov process on singular systems with norm bounded uncertainties and time-varying delays Analysis and Design of Singular Markovian Jump Systems contains valuable reference material for academic researchers wishing to explore the area. The contents are also suitable for a one-semester graduate course.

Force and motion control systems of varying degrees of sophistication have shaped the lives of all individuals living in industrialized countries all over the world, and together with communication technology are largely responsible for the high standard ofliving prevalent in many communities. The brains of the vast majority of current control systems are electronic, in the shape of computers, microprocessors or programmable logic controllers (PLC), the nerves are provided by sensors, mainly electromech anical transducers, and the muscle comprises the drive system, in most cases either electric, pneumatic or hydraulic. The factors governing the choice of the most suitable drive are the nature of the application, the performance specification, size, weight, environ mental and safety constraints, with higher power levels favouring hydraulic drives. Past experience, especially in the machine tool sector, has clearly shown that, in the face of competition from electric drives, it is difficult to make a convincing case for hydraulic drives at the bottom end of the power at fractional horsepower level. A further, and frequently range, specifically overriding factor in the choice of drive is the familiarity of the system designer with a particular discipline, which can inhibit the selection of the optimum and most cost-effective solution for a given application. One of the objectives of this book is to help the electrical engineer overcome his natural reluctance to apply any other than electric drives."

This book contains an edited versIOn of lectures presented at the NATO ADVANCED STUDY INSTITUTE on VIRTUAL NONLINEAR MUL TIBODY SYSTEMS which was held in Prague, Czech Republic, from 23 June to 3 July 2002. It was organized by the Department of Mechanics, Faculty of Mechanical Engineering, Czech Technical University in Prague, in cooperation with the Institute B of Mechanics, University of Stuttgart, Germany. The ADVANCED STUDY INSTITUTE addressed the state of the art in multibody dynamics placing special emphasis on nonlinear systems, virtual reality, and control design as required in mechatronics and its corresponding applications. Eighty-six participants from twenty-two countries representing academia, industry, government and research institutions attended the meeting. The high qualification of the participants contributed greatly to the success of the ADVANCED STUDY INSTITUTE in that it promoted the exchange of experience between leading scientists and young scholars, and encouraged discussions to generate new ideas and to define directions of research and future developments. The full program of the ADVANCED STUDY INSTITUTE included also contributed presentations made by participants where different topics were explored, among them: Such topics include: nonholonomic systems; flexible multibody systems; contact, impact and collision; numerical methods of differential-algebraical equations; simulation approaches; virtual modelling; mechatronic design; control; biomechanics; space structures and vehicle dynamics. These presentations have been reviewed and a selection will be published in this volume, and in special issues of the journals Multibody System Dynamics and Mechanics of Structures and Machines.

This book presents recent theoretical advances in the analysis and synthesis of discrete-time switched systems under the time-dependent switching scheme, including stability and disturbance attenuation performance analysis, control and filtering, asynchronous switching, finite-time analysis and synthesis, and reachable set estimation. It discusses time-scheduled technology, which can achieve a better performance and reduce conservatism compared with the traditional time-independent approach. Serving as a reference resource for researchers and engineers in the system and control community, it is also useful for graduate and undergraduate students interested in switched systems and their applications.

Beginning with realistic mathematical or verbal models of physical or biological phenomena, the author derives tractable mathematical models that are amenable to further mathematical analysis or to elucidating computer simulations. For the most part, derivations are based on perturbation methods. Because of this, the majority of the text is devoted to careful derivations of implicit function theorems, the method of averaging, and quasi-static state approximation methods. The duality between stability and perturbation is developed and used, relying heavily on the concept of stability under persistent disturbances. This explains why stability results developed for quite simple problems are often useful for more complicated, even chaotic, ones. Relevant topics about linear systems, nonlinear oscillations, and stability methods for difference, differential-delay, integro- differential and ordinary and partial differential equations are developed throughout the book. For the second edition, the author has restructured the chapters, placing special emphasis on introductory materials in Chapters 1 and 2 as distinct from presentation materials in Chapters 3 through 8. In addition, more material on bifurcations from the point of view of canonical models, sections on randomly perturbed systems, and several new computer simulations have been added.

This research text addresses the logical aspects of the visualization of information with papers especially commissioned for this book. The authors explore the logical properties of diagrams, charts, maps, and the like, and their use in problem solving and in teaching basic reasoning skills. As computers make visual presentations of information even more commonplace,it becomes increasingly important for the research community to develop an understanding of such tools.

Control theory provides a large set of theoretical and computational tools with applications in a wide range of ?elds, running from "pure" branches of mathematics, like geometry, to more applied areas where the objective is to ?nd solutions to "real life" problems, as is the case in robotics, control of industrial processes or ?nance. The "high tech" character of modern business has increased the need for advanced methods. These rely heavily on mathematical techniques and seem indispensable for competitiveness of modern enterprises. It became essential for the ?nancial analyst to possess a high level of mathematical skills. C- versely, the complex challenges posed by the problems and models relevant to ?nance have, for a long time, been an important source of new research topics for mathematicians. The use of techniques from stochastic optimal control constitutes a well established and important branch of mathematical ?nance. Up to now, other branches of control theory have found comparatively less application in ?n- cial problems. To some extent, deterministic and stochastic control theories developed as di?erent branches of mathematics. However, there are many points of contact between them and in recent years the exchange of ideas between these ?elds has intensi?ed. Some concepts from stochastic calculus (e.g., rough paths) havedrawntheattentionofthedeterministiccontroltheorycommunity.Also, some ideas and tools usual in deterministic control (e.g., geometric, algebraic or functional-analytic methods) can be successfully applied to stochastic c- trol.

This comprehensive book examines a range of examples, prepared by a diverse group of academic and industry practitioners, which demonstrate how cloud-based simulation is being extensively used across many disciplines, including cyber-physical systems engineering. This book is a compendium of the state of the art in cloud-based simulation that instructors can use to inform the next generation. It highlights the underlying infrastructure, modeling paradigms, and simulation methodologies that can be brought to bear to develop the next generation of systems for a highly connected society. Such systems, aptly termed cyber-physical systems (CPS), are now widely used in e.g. transportation systems, smart grids, connected vehicles, industrial production systems, healthcare, education, and defense. Modeling and simulation (M&S), along with big data technologies, are at the forefront of complex systems engineering research. The disciplines of cloud-based simulation and CPS engineering are evolving at a rapid pace, but are not optimally supporting each other's advancement. This book brings together these two communities, which already serve multi-disciplinary applications. It provides an overview of the simulation technologies landscape, and of infrastructure pertaining to the use of cloud-based environments for CPS engineering. It covers the engineering, design, and application of cloud simulation technologies and infrastructures applicable for CPS engineering. The contributions share valuable lessons learned from developing real-time embedded and robotic systems deployed through cloud-based infrastructures for application in CPS engineering and IoT-enabled society. The coverage incorporates cloud-based M&S as a medium for facilitating CPS engineering and governance, and elaborates on available cloud-based M&S technologies and their impacts on specific aspects of CPS engineering.

Evolutionary algorithms (EAs) are becoming increasingly attractive for researchers from various disciplines, such as operations research, computer science, industrial engineering, electrical engineering, social science, economics, etc. This book presents an insightful, comprehensive, and up-to-date treatment of EAs, such as genetic algorithms, differential evolution, evolution strategy, constraint optimization, multimodal optimization, multiobjective optimization, combinatorial optimization, evolvable hardware, estimation of distribution algorithms, ant colony optimization, particle swarm optimization, artificial immune systems, artificial life, genetic programming, etc.

It emphasises the initiative ideas of the algorithm, contains discussions in the contexts, and suggests further readings and possible research projects. All the methods form a pedagogical way to make EAs easy and interesting.

This textbook also introduces the applications of EAs as many as possible. At least one real-life application is introduced by the end of almost every chapter. The authors focus on the kernel part of applications, such as how to model real-life problems, how to encode and decode the individuals, how to design effective search operators according to the chromosome structures, etc.

This textbook adopts pedagogical ways of making EAs easy and interesting. Its methods include an introduction at the beginning of each chapter, emphasising the initiative, discussions in the contexts, summaries at the end of every chapter, suggested further reading, exercises, and possible research projects.

Introduction to Evolutionary Algorithms will enable students to:

establish a strong background on evolutionary algorithms;

appreciate the cutting edge of EAs;

perform their own research projects by simulating the application introduced in the book; and

apply their intuitive ideas to academic search.

This book is aimed at senior undergraduate students or first-year graduate students as a textbook or self-study material."

As suggested by the title of this book, I will present a collection of coherently related applications and a theoretical development of a general systems theory. Hopefully, this book will invite all readers to sample an exciting and challenging (even fun ) piece of interdisciplinary research, that has characterized the scientific and technological achievements of the twentieth century. And, I hope that many of them will be motivated to do additional reading and to contribute to topics along the lines described in the following pages. Since the applications in this volume range through many scientific disciplines, from sociology to atomic physics, from Einstein's relativity theory to Dirac's quan tum mechanics, from optimization theory to unreasonable effectiveness of mathe matics to foundations of mathematical modeling, from general systems theory to Schwartz's distributions, special care has been given to write each application in a language appropriate to that field. That is, mathematical symbols and abstractions are used at different levels so that readers in various fields will find it possible to read. Also, because of the wide range of applications, each chapter has been written so that, in general, there is no need to reference a different chapter in order to understand a specific application. At the same time, if a reader has the desire to go through the entire book without skipping any chapter, it is strongly suggested to refer back to Chapters 2 and 3 as often as possible.

Researchers develop simulation models that emulate real-world situations. While these simulation models are simpler than the real situation, they are still quite complex and time consuming to develop. It is at this point that metamodeling can be used to help build a simulation study based on a complex model. A metamodel is a simpler, analytical model, auxiliary to the simulation model, which is used to better understand the more complex model, to test hypotheses about it, and provide a framework for improving the simulation study. The use of metamodels allows the researcher to work with a set of mathematical functions and analytical techniques to test simulations without the costly running and re-running of complex computer programs. In addition, metamodels have other advantages, and as a result they are being used in a variety of ways: model simplification, optimization, model interpretation, generalization to other models of similar systems, efficient sensitivity analysis, and the use of the metamodel's mathematical functions to answer questions about different variables within a simulation study.