Recent applications of evolutionary game theory in the merging fields of the mathematical and social sciences are brilliantly portrayed in this book, which highlights social physics and shows how the approach can help to quantitatively model complex human-environmental-social systems. First, readers are introduced to the fundamentals of evolutionary game theory. The two-player, two-strategy game, or the 2 x 2 game, is presented as an archetype to help understand the difficulty of cooperating for survival against defection in common social contexts. Subsequently, the book explains the theoretical background of the multi-player, two-strategy game, which may be more widely applicable than the 2 x 2 game for social dilemmas. The latest applications of 2 x 2 games are also discussed to explore how integrated reciprocity mechanisms can solve social dilemmas. In turn, the book describes two practical areas in which evolutionary game theory has been applied. The first concerns traffic flow analysis. In conventional interpretations, traffic flow can be understood by means of fluid dynamics, in which the flow of vehicles is evaluated as a continuum body. Such a simple idea, however, does not work well in reality, particularly if a driver's decision-making process is considered. Various dilemmas involve complex structures that depend primarily on traffic density, a revelation that should help establish a practical solution for reducing traffic congestion. Second, the book provides keen insights into how powerful evolutionary game theory can be in the context of epidemiology. Both approaches, quasi-analytical and multi-agent simulation, can clarify how an infectious disease such as seasonal influenza spreads across a complex social network, which is significantly affected by the public attitude toward vaccination. A methodology is proposed for the optimum design of a public vaccination policy incorporating subsidies to efficiently increase vaccination coverage while minimizing the social cost.

This book introduces a cross-layer design to achieve security and resilience for CPSs (Cyber-Physical Systems). The authors interconnect various technical tools and methods to capture the different properties between cyber and physical layers. Part II of this book bridges the gap between cryptography and control-theoretic tools. It develops a bespoke crypto-control framework to address security and resiliency in control and estimation problems where the outsourcing of computations is possible. Part III of this book bridges the gap between game theory and control theory and develops interdependent impact-aware security defense strategies and cyber-aware resilient control strategies. With the rapid development of smart cities, there is a growing need to integrate the physical systems, ranging from large-scale infrastructures to small embedded systems, with networked communications. The integration of the physical and cyber systems forms Cyber-Physical Systems (CPSs), enabling the use of digital information and control technologies to improve the monitoring, operation, and planning of the systems. Despite these advantages, they are vulnerable to cyber-physical attacks, which aim to damage the physical layer through the cyber network. This book also uses case studies from autonomous systems, communication-based train control systems, cyber manufacturing, and robotic systems to illustrate the proposed methodologies. These case studies aim to motivate readers to adopt a cross-layer system perspective toward security and resilience issues of large and complex systems and develop domain-specific solutions to address CPS challenges. A comprehensive suite of solutions to a broad range of technical challenges in secure and resilient control systems are described in this book (many of the findings in this book are useful to anyone working in cybersecurity). Researchers, professors, and advanced-level students working in computer science and engineering will find this book useful as a reference or secondary text. Industry professionals and military workers interested in cybersecurity will also want to purchase this book.

This book brings together the latest findings on efficient solutions of multi/many-objective optimization problems from the leading researchers in the field. The focus is on solving real-world optimization problems using strategies ranging from evolutionary to hybrid frameworks, and involving various computation platforms. The topics covered include solution frameworks using evolutionary to hybrid models in application areas like Analytics, Cancer Research, Traffic Management, Networks and Communications, E-Governance, Quantum Technology, Image Processing, etc. As such, the book offers a valuable resource for all postgraduate students and researchers interested in exploring solution frameworks for multi/many-objective optimization problems.

This edited book discusses creative and recent developments of fuzzy systems and its real-life applications of multiple criteria decision making. Keeping on the existing fuzzy sets and recent developed fuzzy sets, viz., intuitionistic fuzzy, Pythagorean fuzzy, Fermatean fuzzy, Hesitant fuzzy and multiple criteria decision approaches, this book is committed to probing the soft computing techniques and fuzzy multiple criteria decision making in favour of fuzzy intelligent system and business analytics. It also addresses novel development of fuzzy set theory as well as real-life applications of fuzzy systems. It presents challenging and useful real-world applications based on problems of decision making in various fields. The modelling and solution procedures of such real-world problems will be provided concisely although all topics start with a more developed resolution. The contributory chapters will be based on the vast research experiences of the authors in real-world decision-making problems. This book provides readers with a valuable conspectus of several decision-making problems as a reference for researchers and industrial practitioners in this field. This book will broadly cover recent development of fuzzy systems and its applications of multiple criteria decision making in the areas of management and production, manufacturing management, selections problems, group decision making, transportation and logistics, inventory control systems and interval technique/fuzzy technique (uncertainty) of the above mentioned areas.

In everyday life we must often reach decisions while knowing that the outcome will not only depend on our own choice, but also on the choices of others. These situations are the focus of epistemic game theory. Unlike classical game theory, it explores how people may reason about their opponents before they make their final choice in a game. Packed with examples and practical problems based on stories from everyday life, this is the first textbook to explain the principles of epistemic game theory. Each chapter is dedicated to one particular, natural way of reasoning. The book then shows how each of these ways of reasoning will affect the final choices that can rationally be made and how these choices can be found by iterative procedures. Moreover, it does so in a way that uses elementary mathematics and does not presuppose any previous knowledge of game theory.

This book provides a handy, unified introduction to the theory of compact extended formulations of exponential-size integer linear programming (ILP) models. Compact extended formulations are equally powerful, but polynomial-sized, models whose solutions do not require the implementation of separation and pricing procedures. The book is written in a general, didactic form, first developing the background theoretical concepts (polyhedra, projections, linear and integer programming) and then delving into the various techniques for compact extended reformulations. The techniques are illustrated through a wealth of examples touching on many application areas, such as classical combinatorial optimization, network design, timetabling, scheduling, routing, computational biology and bioinformatics. The book is intended for graduate or PhD students - either as an advanced course on selected topics or within a more general course on ILP and mathematical programming - as well as for practitioners and software engineers in industry exploring techniques for developing optimization models for their specific problems.

This handbook aims to serve as a one-stop, reliable source of reference, with curations of survey and expository contributions on the state-of-the-art in Blockchain technology. It covers a comprehensive range of topics, providing the technical and non-technical reader with fundamentals, applications, and deep details on a variety of topics. The readership is expected to span broadly from technologically-minded business professionals and entrepreneurs, to students, instructors, novices and seasoned researchers, in computer science, engineering, software engineering, finance, and data science. Though Blockchain technology is relatively young, its evolution as a field and a practice is booming in growth and its importance to society had never been more important than it is today. Blockchain solutions enable a decentralization of a digital society where people can contribute, collaborate, and transact without having to second-guess the trust and transparency factors with many geographical, financial, and political barriers removed. It is the distributed ledger technology behind the success of Bitcoin, Ethereum, and many emerging applications. The resource is divided into 5 parts. Part 1 (Foundation) walks the reader through a comprehensive set of essential concepts, protocols, and algorithms that lay the foundation for Blockchain. Part 2 (Scalability) focuses on the most pressing challenges of today's blockchain networks in how to keep pace with real-world expectations. Part 3 (Trust and Security) provides detailed coverage on the issues of trust, reputation, and security in Blockchain. Part 4 (Decentralized Finance) is devoted to a high-impact application of Blockchain to finance, the sector that has most benefitted from this technology. Part 5 (Application and Policy) includes several cases where Blockchain applies to the real world.

This book addresses the mathematical and the practical aspects of motion implied by advanced control theory. The richness and power of the theory are demonstrated by separate analyses of single-model and multi-modal repertoires, consisting of verities of estimation and control facets. Starting with purely mathematical concepts, specifically, abstract probability and information theories, model control theory is gradually revealed as a rather amazing domain. The mathematical equations, taking essentially simple forms, are exposed as powerful generators of motion. Moreover, seemingly obvious applications of the theory, such as high-performance aircraft control make room for unexpected virtual reality feedback in control of motion for the neurologically impaired.Following the presentation of some historical milestones and mathematical preliminaries, the book is divided into four parts. The first deals with minimal-order models of state estimation and control. The second addresses multi-modal estimation and control, which facilitates the operation of high-performance aircraft in large flight envelopes. The third presents the transition from naturally nonlinear control of movement in obstacle avoidance and object targeting to virtually linear control of movement in the neurologically impaired. The fourth and final part of the book addresses the application of virtual sensory feedback in walking with specific neurological impairment. While the clinical studies reported were all based on a single-model paradigm, a later reflection reveals that, given the variety of neurological symptoms associated with the relevant disorders, a multi-modal approach, as that addressed in the control of high-performance aircraft in a large flight envelope, would be similarly applicable in the treatment of neurological disorders.

Optimization problems were and still are the focus of mathematics from antiquity to the present. Since the beginning of our civilization, the human race has had to confront numerous technological challenges, such as finding the optimal solution of various problems including control technologies, power sources construction, applications in economy, mechanical engineering and energy distribution amongst others. These examples encompass both ancient as well as modern technologies like the first electrical energy distribution network in USA etc. Some of the key principles formulated in the middle ages were done by Johannes Kepler (Problem of the wine barrels), Johan Bernoulli (brachystochrone problem), Leonhard Euler (Calculus of Variations), Lagrange (Principle multipliers), that were formulated primarily in the ancient world and are of a geometric nature. In the beginning of the modern era, works of L.V. Kantorovich and G.B. Dantzig (so-called linear programming) can be considered amongst others. This book discusses a wide spectrum of optimization methods from classical to modern, alike heuristics. Novel as well as classical techniques is also discussed in this book, including its mutual intersection. Together with many interesting chapters, a reader will also encounter various methods used for proposed optimization approaches, such as game theory and evolutionary algorithms or modelling of evolutionary algorithm dynamics like complex networks.

This monograph studies optimization problems for rigid punches in elastic media and for high-speed penetration of rigid strikers into deformed elastoplastic, concrete, and composite media using variational calculations, tools from functional analysis, and stochastic and min-max (guaranteed) optimization approaches with incomplete data. The book presents analytical and numerical results developed by the authors during the last ten years.

This book presents an epistemic framework for dealing with information-knowledge and certainty-uncertainty problems within the space of quality-quantity dualities. It bridges between theoretical concepts of entropy and entropy measurements, proposing the concept and measurement of fuzzy-stochastic entropy that is applicable to all areas of knowing under human cognitive limitations over the epistemological space. The book builds on two previous monographs by the same author concerning theories of info-statics and info-dynamics, to deal with identification and transformation problems respectively. The theoretical framework is developed by using the toolboxes such as those of the principle of opposites, systems of actual-potential polarities and negative-positive dualities, under different cost-benefit time-structures. The category theory and the fuzzy paradigm of thought, under methodological constructionism-reductionism duality, are used in the fuzzy-stochastic and cost-benefit spaces to point to directions of global application in knowing, knowledge and decision-choice actions. Thus, the book is concerned with a general theory of entropy, showing how the fuzzy paradigm of thought is developed to deal with the problems of qualitative-quantitative uncertainties over the fuzzy-stochastic space, which will be applicable to conditions of soft-hard data, fact, evidence and knowledge over the spaces of problem-solution dualities, decision-choice actions in sciences, non-sciences, engineering and planning sciences to abstract acceptable information-knowledge elements.

The contributions included in the volume are drawn from presentations at ODS2019 - International Conference on Optimization and Decision Science, which was the 49th annual meeting of the Italian Operations Research Society (AIRO) held at Genoa, Italy, on 4-7 September 2019. This book presents very recent results in the field of Optimization and Decision Science. While the book is addressed primarily to the Operations Research (OR) community, the interdisciplinary contents ensure that it will also be of very high interest for scholars and researchers from many scientific disciplines, including computer sciences, economics, mathematics, and engineering. Operations Research is known as the discipline of optimization applied to real-world problems and to complex decision-making fields. The focus is on mathematical and quantitative methods aimed at determining optimal or near-optimal solutions in acceptable computation times. This volume not only presents theoretical results but also covers real industrial applications, making it interesting for practitioners facing decision problems in logistics, manufacturing production, and services. Readers will accordingly find innovative ideas from both a methodological and an applied perspective.

This book investigates Reliability-based Multidisciplinary Design Optimization (RBMDO) theory and its application in the design of deep manned submersibles (DMSs). Multidisciplinary Design Optimization (MDO) is an effective design method for large engineering systems like aircraft, warships, and satellites, which require designers and engineers from various disciplines to cooperate with each other. MDO can be used to handle the conflicts that arise between these disciplines, and focuses on the optimal design of the system as a whole. However, it can also push designs to the brink of failure. In order to keep the system balanced, Reliability-based Design (RBD) must be incorporated into MDO. Consequently, new algorithms and methods have to be developed for RBMDO theory. This book provides an essential overview of MDO, RBD, and RBMDO and subsequently introduces key algorithms and methods by means of case analyses. In closing, it introduces readers to the design of DMSs and applies RBMDO methods to the design of the manned hull and the general concept design. The book is intended for all students and researchers who are interested in system design theory, and for engineers working on large, complex engineering systems.

This text covers the basic theory and computation for mathematical modeling in linear programming. It provides a strong background on how to set up mathematical proofs and high-level computation methods, and includes substantial background material and direction. Paris presents an intuitive and novel discussion of what it means to solve a system of equations that is a crucial stepping stone for solving any linear program. The discussion of the simplex method for solving linear programs gives an economic interpretation to every step of the simplex algorithm. The text combines in a unique and novel way the microeconomics of production with the structure of linear programming to give students and scholars of economics a clear notion of what it means, formulating a model of economic equilibrium and the computation of opportunity cost in the presence of many outputs and inputs.

This highly informative and carefully presented textbook introduces the general principles involved in system design and optimization as applicable to thermal systems, followed by the methods to accomplish them. It introduces contemporary techniques like Genetic Algorithms, Simulated Annealing, and Bayesian Inference in the context of optimization of thermal systems. There is a separate chapter devoted to inverse problems in thermal systems. It also contains sections on Integer Programming and Multi-Objective optimization. The linear programming chapter is fortified by a detailed presentation of the Simplex method. A major highlight of the textbook is the inclusion of workable MATLAB codes for examples of key algorithms discussed in the book. Examples in each chapter clarify the concepts and methods presented and end-of-chapter problems supplement the material presented and enhance the learning process.

The sequential quadratic hamiltonian (SQH) method is a novel numerical optimization procedure for solving optimal control problems governed by differential models. It is based on the characterisation of optimal controls in the framework of the Pontryagin maximum principle (PMP). The SQH method is a powerful computational methodology that is capable of development in many directions. The Sequential Quadratic Hamiltonian Method: Solving Optimal Control Problems discusses its analysis and use in solving nonsmooth ODE control problems, relaxed ODE control problems, stochastic control problems, mixed-integer control problems, PDE control problems, inverse PDE problems, differential Nash game problems, and problems related to residual neural networks. This book may serve as a textbook for undergraduate and graduate students, and as an introduction for researchers in sciences and engineering who intend to further develop the SQH method or wish to use it as a numerical tool for solving challenging optimal control problems and for investigating the Pontryagin maximum principle on new optimisation problems. Feature Provides insight into mathematical and computational issues concerning optimal control problems, while discussing many differential models of interest in different disciplines. Suitable for undergraduate and graduate students and as an introduction for researchers in sciences and engineering. Accompanied by codes which allow the reader to apply the SQH method to solve many different optimal control and optimisation problems

This book proposes novel methods for solving different types of non-cooperative games with interval/fuzzy/intuitionistic fuzzy payoffs. It starts by discussing several existing methods and shows that some mathematically incorrect assumptions have been considered in all these methods. It then proposes solutions to adapt those methods and validate the new proposed methods, such as Gaurika method Ambika-I-IV, Mehar method and others, by using them for solving existing numerical problems. The book offers a comprehensive guide on non-cooperative games with fuzzy payoffs to both students and researchers. It provides them with the all the necessary tools to understand the methods and the theory behind them.

The book discusses three classes of problems: the generalized Nash equilibrium problems, the bilevel problems and the mathematical programming with equilibrium constraints (MPEC). These problems interact through their mathematical analysis as well as their applications. The primary aim of the book is to present the modern tool of variational analysis and optimization, which are used to analyze these three classes of problems. All contributing authors are respected academicians, scientists and researchers from around the globe. These contributions are based on the lectures delivered by experts at CIMPA School, held at the University of Delhi, India, from 25 November-6 December 2013, and peer-reviewed by international experts. The book contains five chapters. Chapter 1 deals with nonsmooth, nonconvex bilevel optimization problems whose feasible set is described by using the graph of the solution set mapping of a parametric optimization problem. Chapter 2 describes a constraint qualification to MPECs considered as an application of calmness concept of multifunctions and is used to derive M-stationarity conditions for MPEC. Chapter 3 discusses the first- and second-order optimality conditions derived for a special case of a bilevel optimization problem in which the constraint set of the lower level problem is described as a general compact convex set. Chapter 4 concentrates the results of the modelization and analysis of deregulated electricity markets with a focus on auctions and mechanism design. Chapter 5 focuses on optimization approaches called reflection methods for protein conformation determination within the framework of matrix completion. The last chapter (Chap. 6) deals with the single-valuedness of quasimonotone maps by using the concept of single-directionality with a special focus on the case of the normal operator of lower semi-continuous quasiconvex functions.

This book is devoted to problems of stochastic control and stopping that are time inconsistent in the sense that they do not admit a Bellman optimality principle. These problems are cast in a game-theoretic framework, with the focus on subgame-perfect Nash equilibrium strategies. The general theory is illustrated with a number of finance applications.In dynamic choice problems, time inconsistency is the rule rather than the exception. Indeed, as Robert H. Strotz pointed out in his seminal 1955 paper, relaxing the widely used ad hoc assumption of exponential discounting gives rise to time inconsistency. Other famous examples of time inconsistency include mean-variance portfolio choice and prospect theory in a dynamic context. For such models, the very concept of optimality becomes problematic, as the decision maker's preferences change over time in a temporally inconsistent way. In this book, a time-inconsistent problem is viewed as a non-cooperative game between the agent's current and future selves, with the objective of finding intrapersonal equilibria in the game-theoretic sense. A range of finance applications are provided, including problems with non-exponential discounting, mean-variance objective, time-inconsistent linear quadratic regulator, probability distortion, and market equilibrium with time-inconsistent preferences. Time-Inconsistent Control Theory with Finance Applications offers the first comprehensive treatment of time-inconsistent control and stopping problems, in both continuous and discrete time, and in the context of finance applications. Intended for researchers and graduate students in the fields of finance and economics, it includes a review of the standard time-consistent results, bibliographical notes, as well as detailed examples showcasing time inconsistency problems. For the reader unacquainted with standard arbitrage theory, an appendix provides a toolbox of material needed for the book.

This proceedings presents the result of the 8th International Conference in Network Analysis, held at the Higher School of Economics, Moscow, in May 2018. The conference brought together scientists, engineers, and researchers from academia, industry, and government. Contributions in this book focus on the development of network algorithms for data mining and its applications. Researchers and students in mathematics, economics, statistics, computer science, and engineering find this collection a valuable resource filled with the latest research in network analysis. Computational aspects and applications of large-scale networks in market models, neural networks, social networks, power transmission grids, maximum clique problem, telecommunication networks, and complexity graphs are included with new tools for efficient network analysis of large-scale networks. Machine learning techniques in network settings including community detection, clustering, and biclustering algorithms are presented with applications to social network analysis.

Mechanism design is an analytical framework for thinking clearly and carefully about what exactly a given institution can achieve when the information necessary to make decisions is dispersed and privately held. This analysis provides an account of the underlying mathematics of mechanism design based on linear programming. Three advantages characterize the approach. The first is simplicity: arguments based on linear programming are both elementary and transparent. The second is unity: the machinery of linear programming provides a way to unify results from disparate areas of mechanism design. The third is reach: the technique offers the ability to solve problems that appear to be beyond solutions offered by traditional methods. No claim is made that the approach advocated should supplant traditional mathematical machinery. Rather, the approach represents an addition to the tools of the economic theorist who proposes to understand economic phenomena through the lens of mechanism design.

With the advent of approximation algorithms for NP-hard combinatorial optimization problems, several techniques from exact optimization such as the primal-dual method have proven their staying power and versatility. This book describes a simple and powerful method that is iterative in essence, and similarly useful in a variety of settings for exact and approximate optimization. The authors highlight the commonality and uses of this method to prove a variety of classical polyhedral results on matchings, trees, matroids, and flows. The presentation style is elementary enough to be accessible to anyone with exposure to basic linear algebra and graph theory, making the book suitable for introductory courses in combinatorial optimization at the upper undergraduate and beginning graduate levels. Discussions of advanced applications illustrate their potential for future application in research in approximation algorithms.

This Palgrave Pivot presents tournament design mainly within the axioms of incentive compatibility and fairness. It illustrates the advantages of an axiomatic approach through various examples, including several FIFA and UEFA tournaments, and uses theoretical tools and simulation methodology in its analysis. Chapter 1 discusses scoring systems of championships with multiple competitions, ranking in Swiss-system tournaments, and tie-breaking rules in round-robin leagues. It is followed by a thorough critical analysis of the current and previous FIFA World Rankings. The broad focus is substantially narrowed in Chapter 2, which turns to the topic of incentive (in)compatibility in multiple qualifiers. It is revealed that UEFA has faced at least three times recently this problem in the qualification to the UEFA Europa League, qualification to the UEFA Champions League, and the draw of the UEFA Champions League groups. Analogously, Chapter 3 discusses incentive (in)compatibility when there is only one group-based tournament but the complex progression rules to the subsequent stage can be designed poorly. Our examples include the qualifying tournaments of recent FIFA World Cups and UEFA European Championships. Chapter 4 moves to the problem of penalty shootout rules in soccer, where the fairness and complexity of some alternative mechanisms from the literature are evaluated. Fairness remains the central issue in Chapter 5, which presents the challenges of designing a tournament with 24 teams if the number of teams per group cannot exceed four. As expected, there is no perfect solution, and both FIFA and UEFA have introduced a reform in this format recently. Chapter 6 deals with the qualification for the 2020 UEFA European Football Championship. Its tournament design is perhaps the most complicated one that has ever been implemented in the real-world and suffers from serious shortcomings.

The rich, multi-faceted and multi-disciplinary field of matching-based market design is an active and important one due to its highly successful applications with economic and sociological impact. Its home is economics, but with intimate connections to algorithm design and operations research. With chapters contributed by over fifty top researchers from all three disciplines, this volume is unique in its breadth and depth, while still being a cohesive and unified picture of the field, suitable for the uninitiated as well as the expert. It explains the dominant ideas from computer science and economics underlying the most important results on market design and introduces the main algorithmic questions and combinatorial structures. Methodologies and applications from both the pre-Internet and post-Internet eras are covered in detail. Key chapters discuss the basic notions of efficiency, fairness and incentives, and the way market design seeks solutions guided by normative criteria borrowed from social choice theory.