This book focuses on all aspects of complex automated negotiations, which are studied in the field of autonomous agents and multi-agent systems. This book consists of two parts. I: Agent-Based Complex Automated Negotiations and II: Automated Negotiation Agents Competition. The chapters in Part I are extended versions of papers presented at the 2012 international workshop on Agent-Based Complex Automated Negotiation (ACAN), after peer reviews by three Program Committee members. Part II examines in detail ANAC 2012 (The Third Automated Negotiating Agents Competition), in which automated agents that have different negotiation strategies and are implemented by different developers are automatically negotiated in the several negotiation domains. ANAC is an international competition in which automated negotiation strategies, submitted by a number of universities and research institutes across the world, are evaluated in tournament style. The purpose of the competition is to steer the research in the area of bilateral multi-issue, closed negotiation. This book also includes the rules, results, agents and domain descriptions for ANAC 2011 as submitted by the organizers and finalists.

Hermann Haken (born 1927) is one of the "fathers" of the quantum-mechanical laser theory, formulated between 1962 and 1966, in strong competition with American researchers. Later on, he created Synergetics, the science of cooperation in multicomponent systems. The book concentrates on the development of his scientific work during the first thirty-five years of his career. In 1970 he and his doctoral student Robert Graham were able to show that the laser is an example of a nonlinear system far from thermal equilibrium that shows a phase-transition like behavior. Subsequently, this insight opened the way for the formulation of Synergetics. Synergetics is able to explain, how very large systems show the phenomenon of self-organization that can be mathematically described by only very few order parameters. The results of Haken's research were published in two seminal books Synergetics (1977) and Advanced Synergetics (1983). After the year 1985 Haken concentrated his research on the macroscopic foundation of Synergetics. This led him towards the application of synergetic principles in medicine, cognitive research and, finally, in psychology. A comprehensive bibliography of Hermann Haken's publications (nearly 600 numbers) is included in the book.

Regulation of the Power Sector is a unified, consistent and comprehensive treatment of the theories and practicalities of regulation in modern power-supply systems. The need for generation to occur at the time of use occasioned by the impracticality of large-scale electricity storage coupled with constant and often unpredictable changes in demand make electricity-supply systems large, dynamic and complex and their regulation a daunting task. Arranged in four parts, this book addresses both traditional regulatory frameworks and also liberalized and re-regulated environments. First, an introduction gives a full characterization of power supply including engineering, economic and regulatory viewpoints. The second part presents the fundamentals of regulation and the third looks at the regulation of particular components of the power sector in detail. Advanced topics and subjects still open or subject to dispute form the content of Part IV. In a sector where regulatory design is the key driver of both the industry efficiency and the returns on investment, Regulation of the Power Sector is directed at regulators, policy decision makers, business managers and researchers. It is a pragmatic text, well-tested by the authors' quarter-century of experience of power systems from around the world. Power system professionals and students at all levels will derive much benefit from the authors' wealth of blended theory and real-world-derived know-how.

Sampled-data Models for Linear and Nonlinear Systems provides a fresh new look at a subject with which many researchers may think themselves familiar. Rather than emphasising the differences between sampled-data and continuous-time systems, the authors proceed from the premise that, with modern sampling rates being as high as they are, it is becoming more appropriate to emphasise connections and similarities. The text is driven by three motives: * the ubiquity of computers in modern control and signal-processing equipment means that sampling of systems that really evolve continuously is unavoidable; * although superficially straightforward, sampling can easily produce erroneous results when not treated properly; and * the need for a thorough understanding of many aspects of sampling among researchers and engineers dealing with applications to which they are central. The authors tackle many misconceptions which, although appearing reasonable at first sight, are in fact either partially or completely erroneous. They also deal with linear and nonlinear, deterministic and stochastic cases. The impact of the ideas presented on several standard problems in signals and systems is illustrated using a number of applications. Academic researchers and graduate students in systems, control and signal processing will find the ideas presented in Sampled-data Models for Linear and Nonlinear Systems to be a useful manual for dealing with sampled-data systems, clearing away mistaken ideas and bringing the subject thoroughly up to date. Researchers in statistics and economics will also derive benefit from the reworking of ideas relating a model derived from data sampling to an original continuous system.

The use of contextually aware, pervasive, distributed computing, and sensor networks to bridge the gap between the physical and online worlds is the basis of mobile social networking. This book shows how applications can be built to provide mobile social networking, the research issues that need to be solved to enable this vision, and how mobile social networking can be used to provide computational intelligence that will improve daily life. With contributions from the fields of sociology, computer science, human-computer interaction and design, this book demonstrates how mobile social networks can be inferred from users' physical interactions both with the environment and with others, as well as how users behave around them and how their behavior differs on mobile vs. traditional online social networks.

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.

This compact monograph is focused on disturbance attenuation in nonsmooth dynamic systems, developing an H approach in the nonsmooth setting. Similar to the standard nonlinear H approach, the proposed nonsmooth design guarantees both the internal asymptotic stability of a nominal closed-loop system and the dissipativity inequality, which states that the size of an error signal is uniformly bounded with respect to the worst-case size of an external disturbance signal. This guarantee is achieved by constructing an energy or storage function that satisfies the dissipativity inequality and is then utilized as a Lyapunov function to ensure the internal stability requirements. Advanced H Control is unique in the literature for its treatment of disturbance attenuation in nonsmooth systems. It synthesizes various tools, including Hamilton-Jacobi-Isaacs partial differential inequalities as well as Linear Matrix Inequalities. Along with the finite-dimensional treatment, the synthesis is extended to infinite-dimensional setting, involving time-delay and distributed parameter systems. To help illustrate this synthesis, the book focuses on electromechanical applications with nonsmooth phenomena caused by dry friction, backlash, and sampled-data measurements. Special attention is devoted to implementation issues. Requiring familiarity with nonlinear systems theory, this book will be accessible to g raduate students interested in systems analysis and design, and is a welcome addition to the literature for researchers and practitioners in these areas.

This book presents the fundamental theory for non-standard diffusion problems in movement ecology. Levy processes and anomalous diffusion have shown to be both powerful and useful tools for qualitatively and quantitatively describing a wide variety of spatial population ecological phenomena and dynamics, such as invasion fronts and search strategies. Adopting a self-contained, textbook-style approach, the authors provide the elements of statistical physics and stochastic processes on which the modeling of movement ecology is based and systematically introduce the physical characterization of ecological processes at the microscopic, mesoscopic and macroscopic levels. The explicit definition of these levels and their interrelations is particularly suitable to coping with the broad spectrum of space and time scales involved in bio-ecological problems. Including numerous exercises (with solutions), this text is aimed at graduate students and newcomers in this field at the interface of theoretical ecology, mathematical biology and physics.

Developments in the connected fields of solid state physics, bioengineering, mechatronics and nanometrology have had a profound effect on the emergence of modern technologies and their influence on our lives. In all of these fields, understanding and improving the basic underlying materials is of crucial importance for the development of systems and applications. The International Conference Inter-Academia 2016 has successfully married these fields and become a regular feature in the conference calendar. It consisted of seven thematic areas in the field of material science, nanotechnology, biotechnology, plasma physics, metrology, robotics, sensors and devices. The book Recent Global Research and Education: Technological Challenges is intended for use in academic, government and industry R&D departments, as an indispensable reference tool for the years to come. Also, we hope that the volume can serve the world community as the definitive reference source in Advances in Intelligent Systems and Computing. This book comprises carefully selected 68 contributions presented at the 15th International Conference on Global Research and Education INTER-ACADEMIA 2016, organized by Faculty of Mechatronics, Warsaw University of Technology, on September 26-28, in Warsaw, Poland. It is the second volume in series, following the edition in 2015. It brings together the knowledge and experience of 150 leading researchers representing 13 countries. We would like to thank all contributors and reviewers for helping us to put-together this book.

Software intensive systems are systems, which heavily interact with other systems, sensors, actuators, devices, other software systems, and users. More and more domains are involved with software intensive systems, e.g., automotive, telecommunication systems, embedded systems in general, industrial automation systems, and business applications. Moreover, the outcome of web services delivers a new platform for enabling software intensive systems. Complex systems research is focused on the overall understanding of systems rather than its components. Complex systems are very much characterized by the changing environments in which they act by their multiple internal and external interactions. They evolve and adapt through internal and external dynamic interactions. The development of intelligent systems and agents, which is each time more characterized by the use of ontologies and their logical foundations, builds a fruitful impulse for both software intensive systems and complex systems. Recent research in the field of intelligent systems, robotics, neuroscience, artificial intelligence, and cognitive sciences is a very important factor for the future development and innovation of software intensive and complex systems. The aim of the book "Complex, Intelligent and Software Intensive Systems" is to deliver a platform of scientific interaction between the three interwoven challenging areas of research and development of future ICT-enabled applications: software intensive systems, complex systems, and intelligent systems.

This textbook aims to provide a clear understanding of the various tools of analysis and design for robust stability and performance of uncertain dynamic systems. In model-based control design and analysis, mathematical models can never completely represent the "real world" system that is being modeled, and thus it is imperative to incorporate and accommodate a level of uncertainty into the models. This book directly addresses these issues from a deterministic uncertainty viewpoint and focuses on the interval parameter characterization of uncertain systems. Various tools of analysis and design are presented in a consolidated manner. This volume fills a current gap in published works by explicitly addressing the subject of control of dynamic systems from linear state space framework, namely using a time-domain, matrix-theory based approach. This book also: Presents and formulates the robustness problem in a linear state space model framework. Illustrates various systems level methodologies with examples and applications drawn from aerospace, electrical and mechanical engineering. Provides connections between lyapunov-based matrix approach and the transfer function based polynomial approaches. Robust Control of Uncertain Dynamic Systems: A Linear State Space Approach is an ideal book for first year graduate students taking a course in robust control in aerospace, mechanical, or electrical engineering.

Evacuating a city is a complex problem that involves issues of governance, preparedness education, warning, information sharing, population dynamics, resilience and recovery. As natural and anthropogenic threats to cities grow, it is an increasingly pressing problem for policy makers and practitioners. The book is the result of a unique interdisciplinary collaboration between researchers in the physical and social sciences to consider how an interdisciplinary approach can help plan for large scale evacuations. It draws on perspectives from physics, mathematics, organisation theory, economics, sociology and education. Importantly it goes beyond disciplinary boundaries and considers how interdisciplinary methods are necessary to approach a complex problem involving human actors and increasingly complex communications and transportation infrastructures. Using real world case studies and modelling the book considers new approaches to evacuation dynamics. It addresses questions of complexity, not only in terms of theory, but examining the latest challenges for cities and emergency responders. Factors such as social media, information quality and visualisation techniques are examined to consider the 'new' dynamics of warning and informing, evacuation and recovery.

Focusing on applications to science and engineering, this book presents the results of the ITN-FP7 SADCO network's innovative research in optimization and control in the following interconnected topics: optimality conditions in optimal control, dynamic programming approaches to optimal feedback synthesis and reachability analysis, and computational developments in model predictive control. The novelty of the book resides in the fact that it has been developed by early career researchers, providing a good balance between clarity and scientific rigor. Each chapter features an introduction addressed to PhD students and some original contributions aimed at specialist researchers. Requiring only a graduate mathematical background, the book is self-contained. It will be of particular interest to graduate and advanced undergraduate students, industrial practitioners and to senior scientists wishing to update their knowledge.

Marginal Models for Dependent, Clustered, and Longitudinal Categorical Data provides a comprehensive overview of the basic principles of marginal modeling and offers a wide range of possible applications. Marginal models are often the best choice for answering important research questions when dependent observations are involved, as the many real world examples in this book show. In the social, behavioral, educational, economic, and biomedical sciences, data are often collected in ways that introduce dependencies in the observations to be compared. For example, the same respondents are interviewed at several occasions, several members of networks or groups are interviewed within the same survey, or, within families, both children and parents are investigated. Statistical methods that take the dependencies in the data into account must then be used, e.g., when observations at time one and time two are compared in longitudinal studies. At present, researchers almost automatically turn to multi-level models or to GEE estimation to deal with these dependencies. Despite the enormous potential and applicability of these recent developments, they require restrictive assumptions on the nature of the dependencies in the data. The marginal models of this book provide another way of dealing with these dependencies, without the need for such assumptions, and can be used to answer research questions directly at the intended marginal level. The maximum likelihood method, with its attractive statistical properties, is used for fitting the models. This book has mainly been written with applied researchers in mind. It includes many real world examples, explains the types of research questions for which marginal modeling is useful, and provides a detailed description of how to apply marginal models for a great diversity of research questions. All these examples are presented on the book's website (www.cmm.st), along with user friendly programs.

The book is a collection of high-quality peer-reviewed research papers presented at International Conference on Frontiers of Intelligent Computing: Theory and applications (FICTA 2016) held at School of Computer Engineering, KIIT University, Bhubaneswar, India during 16 - 17 September 2016. The book presents theories, methodologies, new ideas, experiences and applications in all areas of intelligent computing and its applications to various engineering disciplines like computer science, electronics, electrical and mechanical engineering.

The present volume comprises survey articles on various fields of Differential-Algebraic Equations (DAEs) which have widespread applications in controlled dynamical systems, especially in mechanical and electrical engineering and a strong relation to (ordinary) differential equations. The individual chapters provide reviews, presentations of the current state of research and new concepts in - History of DAEs - DAE aspects of mechanical multibody systems - Model reduction of DAEs - Observability for DAEs - Numerical Analysis for DAEs The results are presented in an accessible style, making this book suitable not only for active researchers but also for graduate students (with a good knowledge of the basic principles of DAEs) for self-study.

This book is a collation of numerous valuable guidelines for making decisions based on recent advances and improvement of transport systems. Offering know-how and discussing practical examples as well as decision-making support systems it is of interest of those who face the challenge of seeking solutions to contemporary transport system problems on a daily basis, including local authorities involved in planning and preparation of development strategies for specific transport related areas (in both urban and regional dimension) as well as representatives of business and industry who participate directly in the implementation of traffic engineering solutions. The guidelines are provided in individual chapters, making it possible to address the given problem in an advanced manner and simplify the choice of appropriate strategies (including those related to increasing competitiveness of public transport; identifying bus lines to potentially be serviced by electric buses; pedestrian traffic solutions; developing bike-sharing systems; safety conditions in road tunnels; integrating supply chains or route planning support by means of technologically advanced systems and applications). On the other hand, since the book also addresses the new approach to theoretical models (including traffic flow surveys and measurements, transport behaviours, capacity models, delay modelling and road condition modelling), it appeals to researchers and scientists studying this body of problems. The book entitled Recent Advances in Traffic Engineering for Transport Networks and Systems includes selected papers submitted to and presented at the 14th Scientific and Technical Conference "Transport Systems. Theory and Practice" organised by the Department of Transport Systems and Traffic Engineering at the Faculty of Transport of the Silesian University of Technology. The conference was held on 18-20 September 2017 in Katowice (Poland).

This book gathers the proceedings of the 2017 DepCoS-RELCOMEX, an annual conference series that has been organized by the Department of Computer Engineering at the Faculty of Electronics, Wroclaw University of Science and Technology, since 2006. Its mission is to continue the heritage of the other two cycles of events - the RELCOMEX conferences (1977-89) and Microcomputer Schools (1985-95) - so this year we can celebrate the 40th anniversary of its origins. In contrast to those preceding series, which were focused on conventional reliability analysis, the goal of DepCoS is to promote a more comprehensive approach to system performability, which is now commonly called dependability. This innovative research area provides answers to the latest challenges in reliability evaluation for contemporary complex systems. Its novelty is based on a multi-disciplinary approach to system theory, technology and maintenance of systems operating in real environments. Dependability analyses concentrate on the efficient completion of tasks, services and jobs by a system considered as a combination of technical, information and human assets, in contrast to "classical" reliability, which is generally limited to the analysis of technical resources and associated components and structures. The selection of papers for this volume illustrates the diversity of topics that need to be considered, from mathematical models and design methodologies through software engineering and data security issues, to practical engineering problems in technical systems. In addition, this edition of the conference hosted the 7th CrISS-DESSERT Workshop, which was devoted to the analysis and assurance of safety and cyber security in critical infrastructure and computer systems.

The book is a collection of high-quality peer-reviewed research papers presented at International Conference on Frontiers of Intelligent Computing: Theory and applications (FICTA 2016) held at School of Computer Engineering, KIIT University, Bhubaneswar, India during 16 - 17 September 2016. The book aims to present theories, methodologies, new ideas, experiences, applications in all areas of intelligent computing and its applications to various engineering disciplines like computer science, electronics, electrical, mechanical engineering, etc.

This edited volume highlights the scientific contributions of Volker Mehrmann, a leading expert in the area of numerical (linear) algebra, matrix theory, differential-algebraic equations and control theory. These mathematical research areas are strongly related and often occur in the same real-world applications. The main areas where such applications emerge are computational engineering and sciences, but increasingly also social sciences and economics. This book also reflects some of Volker Mehrmann's major career stages. Starting out working in the areas of numerical linear algebra (his first full professorship at TU Chemnitz was in "Numerical Algebra," hence the title of the book) and matrix theory, Volker Mehrmann has made significant contributions to these areas ever since. The highlights of these are discussed in Parts I and II of the present book. Often the development of new algorithms in numerical linear algebra is motivated by problems in system and control theory. These and his later major work on differential-algebraic equations, to which he together with Peter Kunkel made many groundbreaking contributions, are the topic of the chapters in Part III. Besides providing a scientific discussion of Volker Mehrmann's work and its impact on the development of several areas of applied mathematics, the individual chapters stand on their own as reference works for selected topics in the fields of numerical (linear) algebra, matrix theory, differential-algebraic equations and control theory.

This book deals with optimization methods as tools for decision making and control in the presence of model uncertainty. It is oriented to the use of these tools in engineering, specifically in automatic control design with all its components: analysis of dynamical systems, identification problems, and feedback control design. Developments in Model-Based Optimization and Control takes advantage of optimization-based formulations for such classical feedback design objectives as stability, performance and feasibility, afforded by the established body of results and methodologies constituting optimal control theory. It makes particular use of the popular formulation known as predictive control or receding-horizon optimization. The individual contributions in this volume are wide-ranging in subject matter but coordinated within a five-part structure covering material on: * complexity and structure in model predictive control (MPC); * collaborative MPC; * distributed MPC; * optimization-based analysis and design; and * applications to bioprocesses, multivehicle systems or energy management. The various contributions cover a subject spectrum including inverse optimality and more modern decentralized and cooperative formulations of receding-horizon optimal control. Readers will find fourteen chapters dedicated to optimization-based tools for robustness analysis, and decision-making in relation to feedback mechanisms-fault detection, for example-and three chapters putting forward applications where the model-based optimization brings a novel perspective. Developments in Model-Based Optimization and Control is a selection of contributions expanded and updated from the Optimisation-based Control and Estimation workshops held in November 2013 and November 2014. It forms a useful resource for academic researchers and graduate students interested in the state of the art in predictive control. Control engineers working in model-based optimization and control, particularly in its bioprocess applications will also find this collection instructive.

Mathematical analyses and computational predictions of the behavior of complex systems are needed to effectively deal with weather and climate predictions, for example, and the optimal design of technical processes. Given the random nature of such systems and the recognized relevance of randomness, the equations used to describe such systems usually need to involve stochastics. The basic goal of this book is to introduce the mathematics and application of stochastic equations used for the modeling of complex systems. A first focus is on the introduction to different topics in mathematical analysis. A second focus is on the application of mathematical tools to the analysis of stochastic equations. A third focus is on the development and application of stochastic methods to simulate turbulent flows as seen in reality. This book is primarily oriented towards mathematics and engineering PhD students, young and experienced researchers, and professionals working in the area of stochastic differential equations and their applications. It contributes to a growing understanding of concepts and terminology used by mathematicians, engineers, and physicists in this relatively young and quickly expanding field.

This comprehensive text presents cutting-edge advances in the theory and methodology of modeling and simulation (M&S) and reveals how this work has been influenced by the fundamental contributions of Prof. Tuncer OEren to this field. Exploring the synergies among the domains of M&S and systems engineering (SE), the book describes how M&S and SE can help to address the complex problems identified as "Grand Challenges" more effectively under a model-driven and simulation-directed systems engineering framework. Features: examines frameworks for the development of advanced simulation methodologies; presents a focus on advanced modeling methodologies; reviews the reliability and quality assurance of models; discusses the specification and simulation of human and social behavior, including models of personality, emotions, conflict management, perception and anticipation; provides a survey of the body of knowledge in M highlights the foundations established by the pioneering work of Prof. Tuncer OEren.

The present volume comprises survey articles on various fields of Differential-Algebraic Equations (DAEs), which have widespread applications in controlled dynamical systems, especially in mechanical and electrical engineering and a strong relation to (ordinary) differential equations. The individual chapters provide reviews, presentations of the current state of research and new concepts in - Flexibility of DAE formulations - Reachability analysis and deterministic global optimization - Numerical linear algebra methods - Boundary value problems The results are presented in an accessible style, making this book suitable not only for active researchers but also for graduate students (with a good knowledge of the basic principles of DAEs) for self-study.

This book follows the methodologies of complex adaptive systems research in their application to addressing the problems of terrorism, specifically terrorist networks, their structure and various methods of mapping and interdicting them as well as exploring the complex landscape of network-centric and irregular warfare. A variety of new models and approaches are presented here, including Dynamic Network Analysis, DIME/PMESII models, percolation models and emergent models of insurgency. In addition, the analysis is informed by practical experience, with analytical and policy guidance from authors who have served within the U.S. Department of Defense, the British Ministry of Defence as well as those who have served in a civilian capacity as advisors on terrorism and counter-terrorism.