The optimal estimation problems for linear dynamic systems, and in particular for systems with aftereffect, reduce to different variational problems. The type and complexity of these variational problems depend on the process model, the model of uncertainties, and the estimation performance criterion. A solution of a variational problem determines an optimal estimator. In addition, frequently the optimal algorithm for one noise model must operate under another, more complex assumption about noise. Hence, simplified algorithms must be used. It is important to evaluate the level of nonoptimality for the simplified algorithms. Since the original variational problems can be very difficult, the estimate of nonoptimality must be obtained without solving the original variational problem. In this book, guaranteed levels of nonoptimality for simplified estimation and control algorithms are constructed. To obtain these levels the duality theory for convex extremal problems is used. Audience: This book will be of interest to applied mathematicians, researchers and engineers who deal with estimation and control systems. The material, which requires a good knowledge of calculus, is also suitable for a two-semester graduate or postgraduate course.

This monograph presents a tactical planning approach for service network design in metropolitan areas. Designing the service network requires the suitable aggregation of demand data as well as the anticipation of operational relocation decisions. To this end, an integrated approach of data analysis and mathematical optimization is introduced. The book also includes a case study based on real-world data to demonstrate the benefit of the proposed service network design approach. The target audience comprises primarily research experts in the field of traffic engineering, but the book may also be beneficial for graduate students.

Structurally Constrained Controllers: Analysis and Synthesis studies the control of interconnected systems with a particular application in network, power systems, flight formations, etc. It introduces four important problems regarding the control of such systems and then proposes proper techniques for solving them.

This book develops an innovative system, in the form of an "app", that harnesses the power of the internet to predict which sorts of people will prefer which policy in ANY planning situation. It chronicles the accumulated research wisdom behind the system's reasoning, along with several less successful approaches to policy making that have been found wanting in the past - including the myth, usually peddled by strategic planners, that it is possible to find a "best" plan which optimally satisfies everybody. The book lays out an entirely new kind of Planning Support System (PSS). It will facilitate decision-making that is far more community-sensitive than previously, and it will drastically improve the performance of anyone who needs to plan within socially-sensitive contexts - which is all of us. A standout feature of the system is its commitment to "scientific rigour", as shown by its predicted plan scores always being graphically presented within error margins so that true statistical significance is instantly observable. Moreover, the probabilities that its predictions are correct are always shown - a refreshing change from most, if not all other Decision Support Systems (DSS) that simply expect users to accept their outputs on faith alone.

The age of gene-centrism and mechanism is slowly passing. In its place, the biological sciences increasingly recognise that life isn't simply a genetically determined programme but is centrally a matter of information and communication systems nested in larger communicative systems. The latter include both internal and external, and natural and cultural, environments. But 'information' is an under-unanalysed term in relation to living systems. Accordingly, a new interdiscipline, biosemiotics, has grown up to study the ontology of sign relations in biological, aesthetic and technological ecologies. From the Greek bios for life and semeion for sign, biosemiotics is the study of these intertwined natural and cultural sign systems of the living. Expecting the Earth draws on the semiotic philosophy of the American scientist and logician Charles Sanders Peirce, the semiotic ethology of Jakob von Uexkull's Umwelt Theory, Gregory Bateson's cybernetic ecology of mind, Jesper Hoffmeyer's development of biosemiotics, and briefly upon philosophical precursors such as Gilles Deleuze, Felix Guattari and Gilbert Simondon, as well as the growth of ecological developmental biology more widely. In this book, Wendy Wheeler formulates a history and theory of biosemiotic and proto-biosemiotic thinking in order to open up new possibilities of contemporary social, philosophical, aesthetic and technological engagement. This is essential reading for those interested in these groundbreaking new developments, and is relevant to the environmental humanities, social ecology and the life sciences more generally.

Introduction to Intelligent Simulation of Complex Discrete Systems and Processes: RAO Language focuses on a unique approach in modeling and simulation of complex systems. In this volume are considered features of complex systems and processes, their mathematical description, and modeling. Theoretical foundations of the RAO (Resource-Action-Operation) language as well as its syntax and utilisation are given. Examples of simulation models of different complexity levels, related to different fields, are also presented. The RAO intelligent modeling system, introduced and described in Introduction to Intelligent Simulation of Complex Discrete Systems and Processes is unique because: (1) it makes simulation modeling universal for the classes of systems and processes modeled; (2) it is simple to modify the models; and (3) it has the capacity to model complex control systems together with the object controlled (including simulation modeling for on-line control). The RAO tool allows the user to use a language very similar to his professional language and rids him of intermediary, supplementary description of the system modeled. In fifteen chapters this volume provides an overview of general modeling trends, and hence serves the research community in guiding their modeling methods; intelligent simulation modeling is introduced to solve complex systems and processes.

organized around health and human development, environment and sustainability, and communities and social change Includes agent-based modeling, system dynamics, and network analysis Indroductory framing essays for each section

This book provides recent theoretical developments in and practical applications of fault diagnosis and fault tolerant control for complex dynamical systems, including uncertain systems, linear and nonlinear systems. Combining adaptive control technique with other control methodologies, it investigates the problems of fault diagnosis and fault tolerant control for uncertain dynamic systems with or without time delay. As such, the book provides readers a solid understanding of fault diagnosis and fault tolerant control based on adaptive control technology. Given its depth and breadth, it is well suited for undergraduate and graduate courses on linear system theory, nonlinear system theory, fault diagnosis and fault tolerant control techniques. Further, it can be used as a reference source for academic research on fault diagnosis and fault tolerant control, and for postgraduates in the field of control theory and engineering.

Creative Space summarizes and integrates the various up-to-date approaches of computational intelligence to knowledge and technology creation including the specific novel feature of utilizing the creative abilities of the human mind, such as tacit knowledge, emotions and instincts, and intuition. It analyzes several important approaches of this new paradigm such as the Shinayakana Systems Approach, the organizational knowledge creation theory, in particular SECI Spiral, and the Rational Theory of Intuition - resulting in the concept of Creative Space. This monograph presents and analyzes in detail this new concept together with its ontology - the list and meanings of the analyzed nodes of this space and of the character of transitions linking these nodes.

This course-based text revisits classic concepts in nonlinear circuit theory from a very much introductory point of view: the presentation is completely self-contained and does not assume any prior knowledge of circuit theory. It is simply assumed that readers have taken a first-year undergraduate course in differential and integral calculus, along with an elementary physics course in classical mechanics and electrodynamics. Further, it discusses topics not typically found in standard textbooks, such as nonlinear operational amplifier circuits, nonlinear chaotic circuits and memristor networks. Each chapter includes a set of illustrative and worked examples, along with end-of-chapter exercises and lab exercises using the QUCS open-source circuit simulator. Solutions and other material are provided on the YouTube channel created for this book by the authors.

Codes, Curves, and Signals: Common Threads in Communications is a collection of seventeen contributions from leading researchers in communications. The book provides a representative cross-section of cutting edge contemporary research in the fields of algebraic curves and the associated decoding algorithms, the use of signal processing techniques in coding theory, and the application of information-theoretic methods in communications and signal processing. The book is organized into three parts: Curves and Codes, Codes and Signals, and Signals and Information. Codes, Curves, and Signals: Common Threads in Communications is a tribute to the broad and profound influence of Richard E. Blahut on the fields of algebraic coding, information theory, and digital signal processing. All the contributors have individually and collectively dedicated their work to R. E. Blahut. Codes, Curves, and Signals: Common Threads in Communications is an excellent reference for researchers and professionals.

Proceedings volume contains carefully selected papers presented during the 17th IFIP Conference on System Modelling and Optimization. Optimization theory and practice, optimal control, system modelling, stochastic optimization, and technical and non-technical applications of the existing theory are among areas mostly addressed in the included papers. Main directions are treated in addition to several survey papers based on invited presentations of leading specialists in the respective fields. Publication provides state-of-the-art in the area of system theory and optimization and points out several new areas (e.g fuzzy set, neural nets), where classical optimization topics intersects with computer science methodology.

This book presents applications of Newton-like and other similar methods to solve abstract functional equations involving fractional derivatives. It focuses on Banach space-valued functions of a real domain - studied for the first time in the literature. Various issues related to the modeling and analysis of fractional order systems continue to grow in popularity, and the book provides a deeper and more formal analysis of selected issues that are relevant to many areas - including decision-making, complex processes, systems modeling and control - and deeply embedded in the fields of engineering, computer science, physics, economics, and the social and life sciences. The book offers a valuable resource for researchers and graduate students, and can also be used as a textbook for seminars on the above-mentioned subjects. All chapters are self-contained and can be read independently. Further, each chapter includes an extensive list of references.

This three-volume work presents a coherent description of the theoretical and practical aspects of coloured Petri nets (CP-nets). The second volume contains a detailed presentation of the analysis methods for CP-nets. They allow the modeller to investigate dynamic properties of CP-nets.
The main ideas behind the analysis methods are described as well as the mathematics on which they are based and also how the methods are supported by computer tools. Some parts of the volume are theoretical while others are application oriented. The purpose of the volume is to teach the reader how to use the formal analysis methods, which does not require a deep understanding of the underlying mathematical theory.

Our world is composed of systems within systems-the machines we build, the information we share, the organizations we form, and elements of nature that surround us. Therefore, nearly every field of study and practice embodies behaviors stemming from system dynamics. Yet the study of systems has remained somewhat fragmented based on philosophies, methodologies, and intentions. Many methodologies for analyzing complex systems extend far beyond the traditional framework of deduction evaluation and may, thus, appear mysterious to the uninitiated. This book seeks to dispel the mysteries of systems analysis by holistically explaining the philosophies, methodologies, and intentions in the context of understanding how all types of systems in our world form and how these systems break. This presentation is made at the level of conceptual understanding, with plenty of figures but no mathematical formulas, for the beginning student and interested readers new to studying systems. Through the conceptual understanding provided, students are given a powerful capability to see the hidden behaviors and unexplained consequences in the world around us.

This book provides an introduction to Swarm Robotics, which is the application of methods from swarm intelligence to robotics. It goes on to present methods that allow readers to understand how to design large-scale robot systems by going through many example scenarios on topics such as aggregation, coordinated motion (flocking), task allocation, self-assembly, collective construction, and environmental monitoring. The author explains the methodology behind building multiple, simple robots and how the complexity emerges from the multiple interactions between these robots such that they are able to solve difficult tasks. The book can be used as a short textbook for specialized courses or as an introduction to Swarm Robotics for graduate students, researchers, and professionals who want a concise introduction to the field.

This book presents the fmdings of a comparative study of three European metropolitan regions: Vienna, Barcelona and Stockholm. The heart of the work consists of empirical studies carefully designed and developed in order to identify the main actors and mechanisms supporting technological innovation in each of the metropolitan regions. The authors have also highlighted the similarities and differences across regions and countries, investigating how these came to be, and discussing the possible implications. The introductory as well as the concluding Chapter was written by Manfred M. Fischer who, assisted by Attila Varga, was also responsible for Chapter 2 on the Metropolitan Region of Vienna. Javier Revilla Diez contributed Chapter 3 on the Barcelona Metropolitan Region. Folke Snickars has provided Chapter 4 which examines the Metropolitan Region of Stockholm and. All authors have reviewed and commented on the whole contents so that the volume represents a collective endeavour which has been rendered as homogeneous as possible. A particular effort has been made to ensure that the study is based on a common conceptual framework.

The book you hold in your hands is the outcome of the "ISCS 2013: Interdisciplinary Symposium on Complex Systems" held at the historical capital of Bohemia as a continuation of our series of symposia in the science of complex systems. Prague, one of the most beautiful European cities, has its own beautiful genius loci. Here, a great number of important discoveries were made and many important scientists spent fruitful and creative years to leave unforgettable traces. The perhaps most significant period was the time of Rudolf II who was a great supporter of the art and the science and attracted a great number of prominent minds to Prague. This trend would continue. Tycho Brahe, Niels Henrik Abel, Johannes Kepler, Bernard Bolzano, August Cauchy Christian Doppler, Ernst Mach, Albert Einstein and many others followed developing fundamental mathematical and physical theories or expanding them. Thus in the beginning of the 17th century, Kepler formulated here the first two of his three laws of planetary motion on the basis of Tycho Brahe's observations. In the 19th century, nowhere differentiable continuous functions (of a fractal character) were constructed here by Bolzano along with a treatise on infinite sets, titled "Paradoxes of Infinity" (1851). Weierstrass would later publish a similar function in 1872. In 1842, Doppler as a professor of mathematics at the Technical University of Prague here first lectured about a physical effect to bear his name later. And the epoch-making physicist Albert Einstein - while being a chaired professor of theoretical physics at the German University of Prague - arrived at the decisive steps of his later finished theory of general relativity during the years 1911-1912. In Prague, also many famous philosophers and writers accomplished their works; for instance, playwright arel ape coined the word "robot" in Prague ("robot" comes from the Czech word "robota" which means "forced labor").

Modeling and Simulation: Theory and Practice provides a comprehensive review of both methodologies and applications of simulation and modeling. The methodology section includes such topics as the philosophy of simulation, inverse problems in simulation, simulation model compilers, treatment of ill-defined systems, and a survey of simulation languages. The application section covers a wide range of topics, including applications to environmental management, biology and medicine, neural networks, collaborative visualization and intelligent interfaces. The book consists of 13 invited chapters written by former colleagues and students of Professor Karplus. Also included are several short 'reminiscences' describing Professor Karplus' impact on the professional careers of former colleagues and students who worked closely with him over the years.

The theory of finite fields, whose origins can be traced back to the works of Gauss and Galois, has played a part in various branches of mathematics, in recent years there has been a resurgence of interest in finite fields, and this is partly due to important applications in coding theory and cryptography. Applications of Finite Fields introduces some of these recent developments. This book focuses attention on some specific recent developments in the theory and applications of finite fields. While the topics selected are treated in some depth, Applications of Finite Fields does not attempt to be encyclopedic. Among the topics studied are different methods of representing the elements of a finite field (including normal bases and optimal normal bases), algorithms for factoring polynomials over finite fields, methods for constructing irreducible polynomials, the discrete logarithm problem and its implications to cryptography, the use of elliptic curves in constructing public key cryptosystems, and the uses of algebraic geometry in constructing good error-correcting codes. This book is developed from a seminar held at the University of Waterloo. The purpose of the seminar was to bridge the knowledge of the participants whose expertise and interests ranged from the purely theoretical to the applied. As a result, this book will be of interest to a wide range of students, researchers and practitioners in the disciplines of computer science, engineering and mathematics. Applications of Finite Fields is an excellent reference and may be used as a text for a course on the subject.

The underlying technologies enabling the realization of recent advances in areas like mobile and enterprise computing are artificial intelligence (AI), modeling and simulation, and software engineering. A disciplined, multifaceted, and unified approach to modeling and simulation is now essential in new frontiers, such as Simulation Based Acquisition. This volume is an edited survey of international scientists, academicians, and professionals who present their latest research findings in the various fields of AI; collaborative/distributed computing; and modeling, simulation, and their integration. Whereas some of these areas continue to seek answers to basic fundamental scientific inquiries, new questions have emerged only recently due to advances in computing infrastructures, technologies, and tools. The book¿s principal goal is to provide a unifying forum for developing postmodern, AI-based modeling and simulation environments and their utilization in both traditional and modern application domains. Features and topics: * Blends comprehensive, advanced modeling and simulation theories and methodologies in a presentation founded on formal, system-theoretic and AI-based approaches * Uses detailed, real-world examples to illustrate key concepts in systems theory, modeling, simulation, object orientation, and intelligent systems * Addresses a broad range of critical topics in the areas of modeling frameworks, distributed and high-performance object-oriented simulation approaches, as well as robotics, learning, multi-scale and multi-resolution models, and multi-agent systems * Includes new results pertaining to intelligent and agent-based modeling, the relationship between AI-based reasoning and Discrete-Event System Specification, and large-scale distributed modeling and simulation frameworks * Provides cross-disciplinary insight into how computer science, computer engineering, and systems engineering can collectively provide a rich set of theories and methods enabling contemporary modeling and simulation This state-of-the-art survey on collaborative/distributed modeling and simulation computing environments is an essential resource for the latest developments and tools in the field for all computer scientists, systems engineers, and software engineers. Professionals, practitioners, and graduate students will find this reference invaluable to their work involving computer simulation, distributed modeling, discrete-event systems, AI, and software engineering.

Driven by the request for increased productivity, flexibility, and competitiveness, modern civilization increasingly has created high-performance discrete event dynamic systems (DEDSs). These systems exhibit concurrent, sequential, competitive activities among their components. They are often complex and large in scale, and necessarily flexible and thus highly capital-intensive. Examples of systems are manufacturing systems, communication networks, traffic and logistic systems, and military command and control systems. Modeling and performance evaluation play a vital role in the design and operation of such high-performance DEDSs and thus have received widespread attention from researchers over the past two decades. One methodology resulting from this effort is based on timed Petri nets and related graphical and mathematical tools. The popularity that Petri nets have been gaining in modeling of DEDSs is due to their powerful representational ability of concurrency and synchronization; however these properties of DEDSs cannot be expressed easily in traditional formalisms developed for analysis of classical' systems with sequential behaviors. This book introduces the theories and applications of timed Petri nets systematically. Moreover, it also presents many practical applications in addition to theoretical developments, together with the latest research results and industrial applications of timed Petri nets. Timed Petri Nets: Theory and Application is intended for use by researchers and practitioners in the area of Discrete Event Dynamic Systems.