Non-linear stochastic systems are at the center of many engineering disciplines and progress in theoretical research had led to a better understanding of non-linear phenomena. This book provides information on new fundamental results and their applications which are beginning to appear across the entire spectrum of mechanics. The outstanding points of these proceedings are Coherent compendium of the current state of modelling and analysis of non-linear stochastic systems from engineering, applied mathematics and physics point of view. Subject areas include: Multiscale phenomena, stability and bifurcations, control and estimation, computational methods and modelling. For the Engineering and Physics communities, this book will provide first-hand information on recent mathematical developments. The applied mathematics community will benefit from the modelling and information on various possible applications.

Bionics evolved in the 1960s as a framework to pursue the development of artificial systems based on the study of biological systems. Numerous disciplines and technologies, including artificial intelligence and learningdevices, information processing, systems architecture and control, perception, sensory mechanisms, and bioenergetics, contributed to bionics research. This volume is based on a NATO Advanced Research Workshop within the Special Programme on Sensory Systems for Robotic Control, held in Il Ciocco, Italy, in June 1989. A consensus emerged at the workshop, and is reflected in the book, on the value of learning from nature in order to derive guidelines for the design of intelligent machines which operate in unstructured environments. The papers in the book are grouped into seven chapters: vision and dynamic systems, hands and tactile perception, locomotion, intelligent motor control, design technologies, interfacing robots to nervous systems, and robot societies and self-organization.

This book offers a new, theoretical approach to information dynamics, i.e., information processing in complex dynamical systems. The presentation establishes a consistent theoretical framework for the problem of discovering knowledge behind empirical, dynamical data and addresses applications in information processing and coding in dynamical systems. This will be an essential reference for those in neural computing, information theory, nonlinear dynamics and complex systems modeling.

This volume launches a series that will focus on providing chapters that advance our understanding of human performance in organizational systems as cognitive engineering principles are applied. Topics addressed in this volume include: a historical review of a cognitive engineering research at a national laboratory; an adaptive learning system approach to designing an integrated-embedded training system; application of PRONET, a method that provides a useful representation of sequences of behaviour in a human-machine interaction; application of CTA, a method to explain the mental processes involved in performing a task; application of human performance modelling technologies in system design and evaluation; a review of training critical thinking skills that individuals and teams require in changing environments; a review of commercial simulations for team research; and research paradigms for human performance research in complex systems.

The World Wide Web is truly astounding. It has changed the way we interact, learn and innovate. It is the largest sociotechnical system humankind has created and is advancing at a pace that leaves most in awe. It is an unavoidable fact that the future of the world is now inextricably linked to the future of the Web. Almost every day it appears to change, to get better and increase its hold on us. For all this we are starting to see underlying stability emerge. The way that Web sites rank in terms of popularity, for example, appears to follow laws with which we are familiar. What is fascinating is that these laws were first discovered, not in fields like computer science or information technology, but in what we regard as more fundamental disciplines like biology, physics and mathematics. Consequently the Web, although synthetic at its surface, seems to be quite 'natural' deeper down, and one of the driving aims of the new field of Web Science is to discover how far down such 'naturalness' goes. If the Web is natural to its core, that raises some fundamental questions. It forces us, for example, to ask if the central properties of the Web might be more elemental than the truths we cling to from our understandings of the physical world. In essence, it demands that we question the very nature of information. Understanding Information and Computation is about such questions and one possible route to potentially mind-blowing answers.

This book focuses on the design of a multi-criteria automated vehicle longitudinal control system as an enhancement of the adaptive cruise control system. It analyses the effects of various parameters on the average traffic speed and the traction force of the vehicles in mixed traffic from a macroscopic point of view, and also demonstrates why research and development in speed control and predictive cruise control is important. The book also summarises the main steps of the system's robust control design, from the modelling to its synthesis, and discusses both the theoretical background and the practical computation method of the control invariant sets. The book presents the analysis and verification of the system both in a simulation environment and under real-world conditions. By including the systematic design of the predictive cruise control using road and traffic information, it shows how optimization criteria can lead to multiobjective solutions, and the advanced optimization and control design methods required. The book focuses on a particular method by which the unfavourable effect of the traffic flow consideration can be reduced. It also includes simulation examples in which the speed design is performed, while the analysis is carried out in simulation and visualization environments. This book is a valuable reference for researchers and control engineers working on traffic control, vehicle control and control theory. It is also of interest to students and academics as it provides an overview of the strong interaction between the traffic flow and an individual vehicle cruising from both a microscopic and a macroscopic point of view.

Sir Francis Crick would undoubtedly be at the front of the line ordering this fascinating book. Being one of the discoverers of DNA, he would be amazed at how his work has been applied to mankind's most important invention, the computer. In this excellent text, the reader is given a comprehensive introduction to the field of DNA computing. The book emphasizes computational methods to tackle central problems of DNA computing, such as controlling living cells, building patterns, and generating nanomachines. It also includes laboratory-scale human-operated models of computation, as well as a description of the first experiment of DNA computation conducted by Adleman in 1994.

This book addresses the issue of Machine Learning (ML) attacks on Integrated Circuits through Physical Unclonable Functions (PUFs). It provides the mathematical proofs of the vulnerability of various PUF families, including Arbiter, XOR Arbiter, ring-oscillator, and bistable ring PUFs, to ML attacks. To achieve this goal, it develops a generic framework for the assessment of these PUFs based on two main approaches. First, with regard to the inherent physical characteristics, it establishes fit-for-purpose mathematical representations of the PUFs mentioned above, which adequately reflect the physical behavior of these primitives. To this end, notions and formalizations that are already familiar to the ML theory world are reintroduced in order to give a better understanding of why, how, and to what extent ML attacks against PUFs can be feasible in practice. Second, the book explores polynomial time ML algorithms, which can learn the PUFs under the appropriate representation. More importantly, in contrast to previous ML approaches, the framework presented here ensures not only the accuracy of the model mimicking the behavior of the PUF, but also the delivery of such a model. Besides off-the-shelf ML algorithms, the book applies a set of algorithms hailing from the field of property testing, which can help to evaluate the security of PUFs. They serve as a "toolbox", from which PUF designers and manufacturers can choose the indicators most relevant for their requirements. Last but not least, on the basis of learning theory concepts, the book explicitly states that the PUF families cannot be considered as an ultimate solution to the problem of insecure ICs. As such, it provides essential insights into both academic research on and the design and manufacturing of PUFs.

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.

The book gives a comprehensive overview of the state-of-the-art research and engineering in theory and application of Lattice Automata in design and control of autonomous Robots. Automata and robots share the same notional meaning. Automata (originated from the latinization of the Greek word " ") as self-operating autonomous machines invented from ancient years can be easily considered the first steps of robotic-like efforts. Automata are mathematical models of Robots and also they are integral parts of robotic control systems. A Lattice Automaton is a regular array or a collective of finite state machines, or automata. The Automata update their states by the same rules depending on states of their immediate neighbours. In the context of this book, Lattice Automata are used in developing modular reconfigurable robotic systems, path planning and map exploration for robots, as robot controllers, synchronisation of robot collectives, robot vision, parallel robotic actuators. All chapters are written in an accessible manner and lavishly illustrated. The book will help computer and robotic scientists and engineers to understand mechanisms of decentralised functioning of robotic collectives and to design future and emergent reconfigurable, parallel and distributed robotic systems.

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.

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.

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

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

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

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.

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.

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