Ambient intelligence is the vision of a technology that will become invisibly embedded in our natural surroundings, present whenever we need it, enabled by simple and effortless interactions, attuned to all our senses, adaptive to users and context-sensitive, and autonomous. High-quality information access and personalized content must be available to everybody, anywhere, and at any time. This book addresses ambient intelligence used to support human contacts and accompany an individual's path through the complicated modern world. From the technical standpoint, distributed electronic intelligence is addressed as hardware vanishing into the background. Devices used for ambient intelligence are small, low-power, low weight, and (very importantly) low-cost; they collaborate or interact with each other; and they are redundant and error-tolerant. This means that the failure of one device will not cause failure of the whole system. Since wired connections often do not exist, radio methods will play an important role for data transfer. This book addresses various aspects of ambient intelligence, from applications that are imminent since they use essentially existing technologies, to ambitious ideas whose realization is still far away, due to major unsolved technical challenges.

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.

Multilevel decision theory arises to resolve the contradiction between increasing requirements towards the process of design, synthesis, control and management of complex systems and the limitation of the power of technical, control, computer and other executive devices, which have to perform actions and to satisfy requirements in real time. This theory rises suggestions how to replace the centralised management of the system by hierarchical co-ordination of sub-processes. All sub-processes have lower dimensions, which support easier management and decision making. But the sub-processes are interconnected and they influence each other. Multilevel systems theory supports two main methodological tools: decomposition and co-ordination. Both have been developed, and implemented in practical applications concerning design, control and management of complex systems. In general, it is always beneficial to find the best or optimal solution in processes of system design, control and management. The real tendency towards the best (optimal) decision requires to present all activities in the form of a definition and then the solution of an appropriate optimization problem. Every optimization process needs the mathematical definition and solution of a well stated optimization problem. These problems belong to two classes: static optimization and dynamic optimization. Static optimization problems are solved applying methods of mathematical programming: conditional and unconditional optimization. Dynamic optimization problems are solved by methods of variation calculus: Euler Lagrange method; maximum principle; dynamical programming."

This book showcases a subclass of hereditary systems, that is, systems with behaviour depending not only on their current state but also on their past history; it is an introduction to the mathematical theory of optimal control for stochastic difference Volterra equations of neutral type. As such, it will be of much interest to researchers interested in modelling processes in physics, mechanics, automatic regulation, economics and finance, biology, sociology and medicine for all of which such equations are very popular tools. The text deals with problems of optimal control such as meeting given performance criteria, and stabilization, extending them to neutral stochastic difference Volterra equations. In particular, it contrasts the difference analogues of solutions to optimal control and optimal estimation problems for stochastic integral Volterra equations with optimal solutions for corresponding problems in stochastic difference Volterra equations. Optimal Control of Stochastic Difference Volterra Equations commences with an historical introduction to the emergence of this type of equation with some additional mathematical preliminaries. It then deals with the necessary conditions for optimality in the control of the equations and constructs a feedback control scheme. The approximation of stochastic quasilinear Volterra equations with quadratic performance functionals is then considered. Optimal stabilization is discussed and the filtering problem formulated. Finally, two methods of solving the optimal control problem for partly observable linear stochastic processes, also with quadratic performance functionals, are developed. Integrating the author's own research within the context of the current state-of-the-art of research in difference equations, hereditary systems theory and optimal control, this book is addressed to specialists in mathematical optimal control theory and to graduate students in pure and applied mathematics and control engineering.

Chaos and nonlinear dynamics initially developed as a new emergent field with its foundation in physics and applied mathematics. The highly generic, interdisciplinary quality of the insights gained in the last few decades has spawned myriad applications in almost all branches of science and technology-and even well beyond. Wherever quantitative modeling and analysis of complex, nonlinear phenomena is required, chaos theory and its methods can play a key role. his fourth volume concentrates on reviewing further relevant contemporary applications of chaotic and nonlinear dynamics as they apply to the various cuttingedge branches of science and engineering. This encompasses, but is not limited to, topics such as synchronization in complex networks and chaotic circuits, time series analysis, ecological and biological patterns, stochastic control theory and vibrations in mechanical systems. Featuring contributions from active and leading research groups, this collection is ideal both as a reference and as a 'recipe book' full of tried and tested, successful engineering applications.

This book summarizes a network of interrelated ideas which I have developed, off and on, over the past eight or ten years. The underlying theme is the psychological interplay of order and chaos. Or, to put it another way, the interplay of deduction and induction. I will try to explain the relationship between logical, orderly, conscious, rule-following reason and fluid, self organizing, habit-governed, unconscious, chaos-infused intuition. My previous two books, The Structure of Intelligence and The Evolving Mind, briefly touched on this relationship. But these books were primarily concerned with other matters: SI with constructing a formal language for discussing mentality and its mechanization, and EM with exploring the role of evolution in thought. They danced around the edges of the order/chaos problem, without ever fully entering into it. My goal in writing this book was to go directly to the core of mental process, "where angels fear to tread" -- to tackle all the sticky issues which it is considered prudent to avoid: the nature of consciousness, the relation between mind and reality, the justification of belief systems, the connection between creativity and mental illness, .... All of these issues are dealt with here in a straightforward and unified way, using a combination of concepts from my previous work with ideas from chaos theory and complex systems science."

This book is an intellectually stimulating excursion into mathematical machines and structures capable for a universal computation. World top experts in computer science and mathematics overview exciting and intriguing topics of logical theory of monoids, geometry of Gauss word, philosophy of mathematics in computer science, asynchronous and parallel P-systems, decidability in cellular automata, splicing systems, reversible Turing machines, information flows in two-way finite automata, prime generators in automaton arrays, Grossone and Turing machines, automaton models of atomic lattices. The book is full of visually attractive examples of mathematical machines, open problems and challenges for future research. Those interested in the advancement of a theory of computation, philosophy of mathematics, future and emergent computing paradigms, architectures and implementations will find the book vital for their research and development.

The book covers the latest theoretical results and sophisticated applications in the field of variable-structure systems and sliding-mode control. This book is divided into four parts. Part I discusses new higher-order sliding-mode algorithms, including new homogeneous controllers and differentiators. Part II then explores properties of continuous sliding-mode algorithms, such as saturated feedback control, reaching time, and orbital stability. Part III is focused on the usage of variable-structure systems (VSS) controllers for solving other control problems, for example unmatched disturbances. Finally, Part IV discusses applications of VSS; these include applications within power electronics and vehicle platooning. Variable-structure Systems and Sliding-Mode Control will be of interest to academic researchers, students and practising engineers.

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.

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.

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.

The book introduces novel algorithms for designing fault-tolerant control (FTC) systems using the behavioral system theoretic approach, and presents a demonstration of successful novel FTC mechanisms on several benchmark examples. The authors also discuss a new transient management scheme, which is an essential requirement for the implementation of active FTC systems, and two data-driven methodologies that are broadly classified as active FTC systems: the projection-based approach and the online-redesign approach. These algorithms do not require much a priori information about the plant in real-time, and in addition this novel implementation of active FTC systems circumvents various weaknesses induced by using a diagnostic module in real-time. The book provides graduate students taking masters and doctoral courses in mathematics, control, and electrical engineering an excellent stepping-stone for their research. It also appeals to practitioners interested to apply innovative fail-safe control techniques.

Using the O.D.D. (Overview, Design concepts, Detail) protocol, this title explores the role of agent-based modeling in predicting the feasibility of various approaches to sustainability. The chapters incorporated in this volume consist of real case studies to illustrate the utility of agent-based modeling and complexity theory in discovering a path to more efficient and sustainable lifestyles. The topics covered within include: households' attitudes toward recycling, designing decision trees for representing sustainable behaviors, negotiation-based parking allocation, auction-based traffic signal control, and others. This selection of papers will be of interest to social scientists who wish to learn more about agent-based modeling as well as experts in the field of agent-based modeling.

The emergence of flow control as an attractive new field is owed to breakthroughs in MEMS (micro-electromechanical systems) and related technologies. The instrumentation of fluid flows on extremely short length and short time scales requires the practical tool of control algorithms with provable performance guarantees. Dedicated to this problem, Flow Control by Feedback, brings together controller design and fluid mechanics expertise in an exposition of the latest research results. Featuring: Exhaustive treatment of flow control core areas including stabilization and mixing control techniques; self-contained introductory sections on Navier-Stokes equations, linear and nonlinear control and sensors and MEMS to facilitate accessibility to this cross-disciplinary subject; a comprehensive survey of feedback algorithms for flow control that are currently available. In response to the intense interest in flow control, this volume will be an essential addition to the library of researchers and graduate students in control theory, fluid mechanics, mathematics and physics. Content structure is ideal for instruction on flow control modules or as supplementary reading on fluid dynamics and infinite dimensional systems courses.

This proceedings volume contains talks and poster presentations from the International Symposium "Self-Organization in Complex Systems: The Past, Present, and Future of Synergetics", which took place at Hanse-Wissenschaftskolleg, an Institute of Advanced Studies, in Delmenhorst, Germany, during the period November 13 - 16, 2012. The Symposium was organized in honour of Hermann Haken, who celebrated his 85th birthday in 2012. With his fundamental theory of Synergetics he had laid the mathematical-physical basis for describing and analyzing self-organization processes in a diversity of fields of research. The quest for common and universal principles of self-organization in complex systems was clearly covered by the wide range of interdisciplinary topics reported during the Symposium. These extended from complexity in classical systems and quantum systems over self-organisation in neuroscience even to the physics of finance. Moreover, by combining a historical view with a present status report the Symposium conveyed an impression of the allure and potency of this branch of research as well as its applicability in the future.

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.

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

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

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.

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