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.

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.

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.

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.

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.

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.

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."

The concept of dynamics and control implies the combination of dynamic analysis and control synthesis. It is essential to gain insight into the dynamics of a nonlinear system with uncertainty if any new control strategy is designed to utilize nonlinearity. However, the new control strategy to be proposed must be robust enough so that any unexpected small disturbances will not alter the desired target of control. Such a concept is calling more attention to the modelling and simplification of dynamic systems subject to uncertain environment, the fine analysis and robust design of controlled dynamic systems resulting in new control strategies due to understanding of nonlinear phenomena and artificial intelligence, the combination of passive control, active control and semi-active control, as well as the interaction among sensors, controllers and actuators.

Today it appears that we understand more about the universe than about our interconnected socio-economic world. In order to uncover organizational structures and novel features in these systems, we present the first comprehensive complex systems analysis of real-world ownership networks. This effort lies at the interface between the realms of economics and the emerging field loosely referred to as complexity science. The structure of global economic power is reflected in the network of ownership ties of companies and the analysis of such ownership networks has possible implications for market competition and financial stability. Thus this work presents powerful new tools for the study of economic and corporate networks that are only just beginning to attract the attention of scholars.

"There are three words that characterize this work: thoroughness, completeness and clarity. The authors are congratulated for taking the time to write an excellent linear systems textbook! a ]The authors have used their mastery of the subject to produce a textbook that very effectively presents the theory of linear systems as it has evolved over the last thirty years. The result is a comprehensive, complete and clear exposition that serves as an excellent foundation for more advanced topics in system theory and control." a "IEEE Transactions on Automatic Control

"In assessing the present book as a potential textbook for our first graduate linear systems course, I find...[that] Antsaklis and Michel have contributed an expertly written and high quality textbook to the field and are to be congratulateda ]. Because of its mathematical sophistication and completeness the present book is highly recommended for use, both as a textbook as well as a reference." a "Automatica

Linear systems theory plays a broad and fundamental role in electrical, mechanical, chemical and aerospace engineering, communications, and signal processing. A thorough introduction to systems theory with emphasis on control is presented in this self-contained textbook.

The book examines the fundamental properties that govern the behavior of systems by developing their mathematical descriptions. Linear time-invariant, time-varying, continuous-time, and discrete-time systems are covered. Rigorous development of classic and contemporary topics in linear systems, as well as extensive coverage of stability and polynomial matrix/fractional representation, provide the necessary foundation for further study of systemsand control.

Linear Systems is written as a textbook for a challenging one-semester graduate course; a solutions manual is available to instructors upon adoption of the text. The booka (TM)s flexible coverage and self-contained presentation also make it an excellent reference guide or self-study manual.

*******

For a treatment of linear systems that focuses primarily on the time-invariant case using streamlined presentation of the material with less formal and more intuitive proofs, see the authorsa (TM) companion book entitled A Linear Systems Primer.

Information is precious. It reduces our uncertainty in making decisions. Knowledge about the outcome of an uncertain event gives the possessor an advantage. It changes the course of lives, nations, and history itself. Information is the food of Maxwell's demon. His power comes from know ing which particles are hot and which particles are cold. His existence was paradoxical to classical physics and only the realization that information too was a source of power led to his taming. Information has recently become a commodity, traded and sold like or ange juice or hog bellies. Colleges give degrees in information science and information management. Technology of the computer age has provided access to information in overwhelming quantity. Information has become something worth studying in its own right. The purpose of this volume is to introduce key developments and results in the area of generalized information theory, a theory that deals with uncertainty-based information within mathematical frameworks that are broader than classical set theory and probability theory. The volume is organized as follows."

This book presents the mathematical foundations of systems theory in a self-contained, comprehensive, detailed and mathematically rigorous way. It is devoted to the analysis of dynamical systems and combines features of a detailed introductory textbook with that of a reference source. The book contains many examples and figures illustrating the text which help to bring out the intuitive ideas behind the mathematical constructions.

This book aims at providing a view of the current trends in the development of research on Synthesis and Control of Discrete Event Systems. Papers col lected in this volume are based on a selection of talks given in June and July 2001 at two independent meetings: the Workshop on Synthesis of Concurrent Systems, held in Newcastle upon Tyne as a satellite event of ICATPN/ICACSD and organized by Ph. Darondeau and L. Lavagno, and the Symposium on the Supervisory Control of Discrete Event Systems (SCODES), held in Paris as a satellite event of CAV and organized by B. Caillaud and X. Xie. Synthesis is a generic term that covers all procedures aiming to construct from specifications given as input objects matching these specifications. The ories and applications of synthesis have been studied and developped for long in connection with logics, programming, automata, discrete event systems, and hardware circuits. Logics and programming are outside the scope of this book, whose focus is on Discrete Event Systems and Supervisory Control. The stress today in this field is on a better applicability of theories and algorithms to prac tical systems design. Coping with decentralization or distribution and caring for an efficient realization of the synthesized systems or controllers are of the utmost importance in areas so diverse as the supervision of embedded or man ufacturing systems, or the implementation of protocols in software or in hard ware."

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.

The early 21st century has seen a renewed interest in research in the widely-adopted proportional-integral-differential (PID) form of control. PID Control in the Third Millennium provides an overview of the advances made as a result. Featuring: new approaches for controller tuning; control structures and configurations for more efficient control; practical issues in PID implementation; and non-standard approaches to PID including fractional-order, event-based, nonlinear, data-driven and predictive control; the nearly twenty chapters provide a state-of-the-art resume of PID controller theory, design and realization. Each chapter has specialist authorship and ideas clearly characterized from both academic and industrial viewpoints. PID Control in the Third Millennium is of interest to academics requiring a reference for the current state of PID-related research and a stimulus for further inquiry. Industrial practitioners and manufacturers of control systems with application problems relating to PID will find this to be a practical source of appropriate and advanced solutions.

The disciplines of computer science and operations research (OR) have been linked since their origins, each contributing to the dramatic advances of the other. This work explores the connections between these key technologies: how high-performance computing methods have led to advances in OR de ployment, and how OR has contributed to the design and development of ad vanced systems. The collected writings-from researchers and practitioners in Computer Science, Operations Research, Management Science, and Artificial Intelligence-were among those delivered at the Fifth INFORMS Computer Science Technical Section Conference in Dallas, Texas, January 8-10, 1996. The articles advance both theory and practice. Presented are new approaches to complex problems based on: metaheuristics (neural networks, genetic al gorithms, and Tabu Search), optimization and mathematical programming, stochastic methods, constraint programming, and logical analysis. These ad vanced methodologies are applied to new applications in such areas as: telecom munications network design, financial engineering, manufacturing, project man agement, and forecasting, airline and machine scheduling, vehicle routing, mod eling and decision support systems. Featured is a remarkable paper by keynote speaker Fred Glover, creator of the Tabu Search family of metaheuristics. In it he develops the principles of memory-based heuristic methods, contrasts them with the popular genetic algorithms and simulated annealing, provides a sweeping survey of application vignettes, and points to promising avenues for future research."

This book presents a comprehensive development of effective numerical methods for stochastic control problems in continuous time. The process models are diffusions, jump-diffusions, or reflected diffusions of the type that occur in the majority of current applications. All the usual problem formulations are included, as well as those of more recent interest such as ergodic control, singular control and the types of reflected diffusions used as models of queuing networks. Applications to complex deterministic problems are illustrated via application to a large class of problems from the calculus of variations. The general approach is known as the Markov Chain Approximation Method. The required background to stochastic processes is surveyed, there is an extensive development of methods of approximation, and a chapter is devoted to computational techniques. The book is written on two levels, that of practice (algorithms and applications) and that of the mathematical development. Thus the methods and use should be broadly accessible. This update to the first edition will include added material on the control of the 'jump term' and the 'diffusion term.' There will be additional material on the deterministic problems, solving the Hamilton-Jacobi equations, for which the authors' methods are still among the most useful for many classes of problems. All of these topics are of great and growing current interest.

In the last two decades fractional differential equations have been used more frequently in physics, signal processing, fluid mechanics, viscoelasticity, mathematical biology, electro chemistry and many others. It opens a new and more realistic way to capture memory dependent phenomena and irregularities inside the systems by using more sophisticated mathematical analysis.

This monograph is based on the authors work on stabilization and control design for continuous and discrete fractional order systems. The initial two chapters and some parts of the third chapter are written in tutorial fashion, presenting all the basic concepts of fractional order system and a brief overview of sliding mode control of fractional order systems. The other parts contain deal with robust finite time stability of fractional order systems, integral sliding mode control of fractional order systems, co-operative control of multi-agent systems modeled as fractional differential equation, robust stabilization of discrete fractional order systems, high performance control using soft variable structure control and contraction analysis by integer and fractional order infinitesimal variations."

Health communication research examines the role of communication in health professional/client relationships and in promoting patient adherence, the flow of information within and between health organizations, the design and effectiveness of health information for various audiences and the planning and evaluation of health care policy. Other important areas treated in this book are cultural and social factors influencing health communication, ethical issues effecting communication, and education in communication within medical schools. Medical students, physicians, policy makers, students and faculty in communications and sociology, as well as social services professionals should find this reference an important tool.

Dynamical models on graphs or random graphs are increasingly used in applied sciences as mathematical tools to study complex systems whose exact structure is too complicated to be known in detail. Besides its importance in applied sciences, the field is increasingly attracting the interest of mathematicians and theoretical physicists also because of the fundamental phenomena (synchronization, phase transitions etc.) that can be studied in the relatively simple framework of dynamical models of random graphs. This volume was developed from the Mathematical Technology of Networks conference held in Bielefeld, Germany in December 2013. The conference was designed to bring together functional analysts, mathematical physicists, and experts in dynamical systems. The contributors to this volume explore the interplay between theoretical and applied aspects of discrete and continuous graphs. Their work helps to close the gap between different avenues of research on graphs, including metric graphs and ramified structures.

Linguistic Geometry: From Search to Construction is the first book of its kind. Linguistic Geometry (LG) is an approach to the construction of mathematical models for large-scale multi-agent systems. A number of such systems, including air/space combat, robotic manufacturing, software re-engineering and Internet cyberwar, can be modeled as abstract board games. These are games with moves that can be represented by the movement of abstract pieces over locations on an abstract board. The purpose of LG is to provide strategies to guide the games' participants to their goals. Traditionally, discovering such strategies required searches in giant game trees. These searches are often beyond the capacity of modern and even conceivable future computers. LG dramatically reduces the size of the search trees, making the problems computationally tractable. LG provides a formalization and abstraction of search heuristics used by advanced experts including chess grandmasters. Essentially, these heuristics replace search with the construction of strategies. To formalize the heuristics, LG employs the theory of formal languages (i.e. formal linguistics), as well as certain geometric structures over an abstract board. The new formal strategies solve problems from different domains far beyond the areas envisioned by the experts. For a number of these domains, Linguistic Geometry yields optimal solutions.

This book presents a concise study of controllability theory of partial differential equations when they are equipped with actuators and/or sensors that are finite dimensional at every moment of time. Based on the author's extensive research in the area of controllability theory, this monograph specifically focuses on the issues of controllability, observability, and stabilizability for parabolic and hyperbolic partial differential equations. The topics in this book also cover related applied questions such as the problem of localization of unknown pollution sources based on information obtained from point sensors that arise in environmental monitoring. Researchers and graduate students interested in controllability theory of partial differential equations and its applications will find this book to be an invaluable resource to their studies.