Welcome to the proceedings of the Seventh International Conference of the UK Systems Society being held at York University, United Kingdom from July 7th to 10th, 2002. It is a pleasure to be able to share with you this collection ofpapers that have been contributed by systems thinkers from around the world. As with previous UKSS conferences, the aim ofthis conference is to encourage debate and promote development of pertinent issues in systems theory and practice. In current times where the focus has moved from 'information' to 'knowledge' and where 'knowledge management', of everyday speak, it seemed fitting to 'knowledge assets' and so on, have become part offer a conference title of'Systems Theory and Practice in the Knowledge Age'. In keeping with another tradition of previous conferences, the UKSS Conference 2002 Committee decided to compile a collection ofdelegates' papers before the event as a platform from which to launch discussions in York. Ideas presented in the following papers will, undoubtedly, be developed during the dialogue generated at the conference and new papers will emerge. In his abstract for his plenary at this conference, Professor Peter Checkland throws down the gauntlet to systems thinking and its relevance in the knowledge age with the following statement: "30 Years In The Systems Movement: Disappointments I Have Known and Hopes/or the Future Springing from a lunchtime conversation at an American University, the Systems Movement is now nearly 50 years old.

In the last decade there have been rapid developments in the field of computer-based learning environments. A whole new generation of computer-based learning environments has appeared, requiring new approaches to design and development. One main feature of current systems is that they distinguish different knowledge bases that are assumed to be necessary to support learning processes. Current computer-based learning environments often require explicit representations of large bodies of knowledge, including knowledge of instruction. This book focuses on instructional models as explicit, potentially implementable representations of knowledge concerning one or more aspects of instruction. The book has three parts, relating to different aspects of the knowledge that should be made explicit in instructional models: knowledge of instructional planning, knowledge of instructional strategies, and knowledge of instructional control. The book is based on a NATO Advanced Research Workshop held at the University of Twente, The Netherlands in July 1991.

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

This book discusses stochastic dynamics of power systems and the related analytical methodology. It summarizes and categorizes the stochastic elements of power systems and develops a framework for research on stochastic dynamics of power systems. It also establishes a research model for stochastic dynamics of power systems and theoretically proves stochastic stability in power systems. Further, in addition to demonstrating the stochastic oscillation mechanism in power systems, it also proposes methods for quantitative analysis and stochastic optimum control in the field of stochastic dynamic security in power systems. This book is a valuable resource for researchers, scholars and engineers in the field of electrics.

Information Systems and Data Compression presents a uniform approach and methodology for designing intelligent information systems. A framework for information concepts is introduced for various types of information systems such as communication systems, information storage systems and systems for simplifying structured information. The book introduces several new concepts and presents a novel interpretation of a wide range of topics in communications, information storage, and information compression. Numerous illustrations for designing information systems for compression of digital data and images are used throughout the book.

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

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.

A large-scale system is composed of several interconnected subsystems. For such a system it is often desired to have some form of decentralization in the control structure, since it is typically not realistic to assume that all output measurements can be transmitted to every local control station. Problems of this kind can appear in electric power systems, communication networks, large space structures, robotic systems, economic systems, and traffic networks, to name only a few. Typical large-scale control systems have several local control stations which observe only local outputs and control only local inputs. All controllers are involved, however, in the control operation of the overall system. The focus of this book is on the efficient control of interconnected systems, and it presents systems analysis and controller synthesis techniques using a variety of methods. A systematic study of multi-input, multi-output systems is carried out and illustrative examples are given to clarify the ideas.

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.

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

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.

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

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.

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

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

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.