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.

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

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

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.

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

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

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

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

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

Does the Information Age promise egalitarianism and democracy, or will it simply reinforce long-standing social and economic inequalities? This collection of essays analyzes the emerging role of African-Americans in post-industrial society from a variety of communications research perspectives. Accepting W.J. Wilson's theory of a socially and economically isolated African-American underclass, Barber and Tait ask the logical question: what next? "The Information Society and the Black Community "is a critical examination of the prospects and pitfalls of a historically disadvantaged group in a period of rapid technological advances and economic growth.

Adopting Frank Websters theory of the Information Society as a framework for organization and development, the book is divided into five sections that look at technological, economic, occupational, spatial, and cultural aspects of the relationship between the African-American community and the Information Society. Part One analyzes data on African-American use of information technology, and examines how the new flow of information might effect African-American social and cultural images. Part Two focuses on African-American participation in the ownership and control of information industries. Part Three treats professional training and employment patterns affecting African-Americans in the Information Age. Part Four centers around the potential uses of information technology in solving social, political, and economic problems. Part Five addresses the growing connections of the African-American community to Africa and the rest of the world via information technology.

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.

One service mathematics has rendered the 'Bt mm, ... si j'avait su comment en revenir, human race. It has put common sense back je n'y serais point alIe.' 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'. Eric T. Bell able to do something with it. O. Heavisidc 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."

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 application-oriented monograph focuses on a novel and complex type of control systems. Written on an engineering level, including fundamentals, advanced methods and applications, the book applies techniques originating from new methods such as artificial intelligence, fuzzy logic, neural networks etc.