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.

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 is devoted to a domain of highest industrial and scienti?c interest, the complexity. The complexity understanding and management will be a main source of e?ciency and prosperity for the next decades. Complex systems areassembliesof multiple subsystemsand arecharact- ized by emergent behavior that results by nonlinear interactions among the subsystems at multiple levels of organization. Evolvability that is the ability to evolve is the method to confront and surpass the successive boundaries of complexity. Evolvability is not biological but should be considered here in the sense that the corresponding systems have, at di?erent levels, charact- istics that are naturally associated to the living systems. The signi?cance of the complexity and the phenomena of emergence are highlighted in the ?rst chapterofthe book.Theimplicationofconcepts aslevelofreality, circularity and closure for evolvable systems is evaluated. The second chapter of the book exposes the methodology to analyze and manage complex systems. The polystochastic models, PSMs, are the cons- ered mathematical tools. PSMs characterize systems emerging when several stochastic processes occurring at di?erent conditioning levels, are capable to interact with each other, resulting in qualitatively new processes and s- tems. Innovative are the higher categories approach and the introduction of apartialdi?erentialmodelfor multiple levelsmodeling.This imposes making use of appropriate notions of time, space, probabilities and entropy. Categorytheoryistheformalismcapabletooutlinethegeneralframework, shared by the functional organization of biological organisms, of cognitive systems, by the operational structure of evolvable technologies and devices and after all by the scienti?c and engineering methods

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.

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

Containing 71 articles, "Supplementary Volume 2," provides an up-to-date review of recent developments in the field of systems and control. New developments covered include: 'fuzzy logic control', 'neural nets in control systems' and 'robust stability and robust stable control'. "Supplementary Volume 2" also provides coverage of the theory and application of systems in specific areas: modelling and simulation, traffic control and biological systems and measurement and software engineering. This update will continue to provide the practising scientist and engineer with an invaluable reference source on topics in the field of systems and control.

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.

This book is a self-contained elementary study for nonsmooth analysis and optimization, and their use in solution of nonsmooth optimal control problems. The first part of the book is concerned with nonsmooth differential calculus containing necessary tools for nonsmooth optimization. The second part is devoted to the methods of nonsmooth optimization and their development. A proximal bundle method for nonsmooth nonconvex optimization subject to nonsmooth constraints is constructed. In the last part nonsmooth optimization is applied to problems arising from optimal control of systems covered by partial differential equations. Several practical problems, like process control and optimal shape design problems are considered.

This book is a self-contained elementary study for nonsmooth analysis and optimization, and their use in solution of nonsmooth optimal control problems. The first part of the book is concerned with nonsmooth differential calculus containing necessary tools for nonsmooth optimization. The second part is devoted to the methods of nonsmooth optimization and their development. A proximal bundle method for nonsmooth nonconvex optimization subject to nonsmooth constraints is constructed. In the last part nonsmooth optimization is applied to problems arising from optimal control of systems covered by partial differential equations. Several practical problems, like process control and optimal shape design problems are considered.

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.

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.

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.

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.