Recent developments in model-predictive control promise remarkable opportunities for designing multi-input, multi-output control systems and improving the control of single-input, single-output systems. This volume provides a definitive survey of the latest model-predictive control methods available to engineers and scientists today. The initial set of chapters present various methods for managing uncertainty in systems, including stochastic model-predictive control. With the advent of affordable and fast computation, control engineers now need to think about using "computationally intensive controls," so the second part of this book addresses the solution of optimization problems in "real" time for model-predictive control. The theory and applications of control theory often influence each other, so the last section of Handbook of Model Predictive Control rounds out the book with representative applications to automobiles, healthcare, robotics, and finance. The chapters in this volume will be useful to working engineers, scientists, and mathematicians, as well as students and faculty interested in the progression of control theory. Future developments in MPC will no doubt build from concepts demonstrated in this book and anyone with an interest in MPC will find fruitful information and suggestions for additional reading.

The book is a compendium of the aforementioned subclass of models of Basal Ganglia, which presents some the key existent theories of Basal Ganglia function. The book presents computational models of basal ganglia-related disorders, including Parkinson's disease, schizophrenia, and addiction. Importantly, it highlights the applications of understanding the role of the basal ganglia to treat neurological and psychiatric disorders. The purpose of the present book is to amend and expand on James Houk's book (MIT press; ASIN: B010BF4U9K) by providing a comprehensive overview on computational models of the basal ganglia. This book caters to researchers and academics from the area of computational cognitive neuroscience.

This book describes for readers various technical outcomes from the EU-project IoSense. The authors discuss sensor integration, including LEDs, dust sensors, LIDAR for automotive driving and 8 more, demonstrating their use in simulations for the design and fabrication of sensor systems. Readers will benefit from the coverage of topics such as sensor technologies for both discrete and integrated innovative sensor devices, suitable for high volume production, electrical, mechanical, security and software resources for integration of sensor system components into IoT systems and IoT-enabling systems, and IoT sensor system reliability. Describes from component to system level simulation, how to use the available simulation techniques for reaching a proper design with good performance; Explains how to use simulation techniques such as Finite Elements, Multi-body, Dynamic, stochastics and many more in the virtual design of sensor systems; Demonstrates the integration of several sensor solutions (thermal, dust, occupancy, distance, awareness and more) into large-scale system solutions in several industrial domains (Lighting, automotive, transport and more); Includes state-of-the-art simulation techniques, both multi-scale and multi-physics, for use in the electronic industry.

This book presents the state-of-the-art in supercomputer simulation. It includes the latest findings from leading researchers using systems from the High Performance Computing Center Stuttgart (HLRS) in 2017. The reports cover all fields of computational science and engineering ranging from CFD to computational physics and from chemistry to computer science with a special emphasis on industrially relevant applications. Presenting findings of one of Europe's leading systems, this volume covers a wide variety of applications that deliver a high level of sustained performance.The book covers the main methods in high-performance computing. Its outstanding results in achieving the best performance for production codes are of particular interest for both scientists and engineers. The book comes with a wealth of color illustrations and tables of results.

This book is a survey of the research work done by the author over the last 15 years, in collaboration with various eminent mathematicians and climate scientists on the subject of tropical convection and convectively coupled waves. In the areas of climate modelling and climate change science, tropical dynamics and tropical rainfall are among the biggest uncertainties of future projections. This not only puts at risk billions of human beings who populate the tropical continents but it is also of central importance for climate predictions on the global scale. This book aims to introduce the non-expert readers in mathematics and theoretical physics to this fascinating topic in order to attract interest into this difficult and exciting research area. The general thyme revolves around the use of new deterministic and stochastic multi-cloud models for tropical convection and convectively coupled waves. It draws modelling ideas from various areas of mathematics and physics and used in conjunction with state-of-the-art satellite and in-situ observations and detailed numerical simulations. After a review of preliminary material on tropical dynamics and moist thermodynamics, including recent discoveries based on satellite observations as well as Markov chains, the book immerses the reader into the area of models for convection and tropical waves. It begins with basic concepts of linear stability analysis and ends with the use of these models to improve the state-of-the-art global climate models. The book also contains a fair amount of exercises that makes it suitable as a textbook complement on the subject.

This book presents the state of the art in High Performance Computing on modern supercomputer architectures. It addresses trends in hardware and software development in general, as well as the future of High Performance Computing systems and heterogeneous architectures. The contributions cover a broad range of topics, from improved system management to Computational Fluid Dynamics, High Performance Data Analytics, and novel mathematical approaches for large-scale systems. In addition, they explore innovative fields like coupled multi-physics and multi-scale simulations. All contributions are based on selected papers presented at the 24th Workshop on Sustained Simulation Performance, held at the University of Stuttgart's High Performance Computing Center in Stuttgart, Germany in December 2016 and the subsequent Workshop on Sustained Simulation Performance, held at the Cyberscience Center, Tohoku University, Japan in March 2017.

Discrete-Time and Discrete-Space Dynamical Systems provides a systematic characterization of the similarities and differences of several types of discrete-time and discrete-space dynamical systems, including: Boolean control networks; nondeterministic finite-transition systems; finite automata; labelled Petri nets; and cellular automata. The book's perspective is primarily based on topological properties though it also employs semitensor-product and graph-theoretic methods where appropriate. It presents a series of fundamental results: invertibility, observability, detectability, reversiblity, etc., with applications to systems biology. Academic researchers with backgrounds in applied mathematics, engineering or computer science and practising engineers working with discrete-time and discrete-space systems will find this book a helpful source of new understanding for this increasingly important class of systems. The basic results to be found within are of fundamental importance for further study of related problems such as automated synthesis and safety control in cyber-physical systems using formal methods.

This book is intended for researchers, practitioners and students who are interested in the current trends and want to make their GI applications and research dynamic. Time is the key element of contemporary GIS: mobile and wearable electronics, sensor networks, UAVs and other mobile snoopers, the IoT and many other resources produce a massive amount of data every minute, which is naturally located in space as well as in time. Time series data is transformed into almost (from the human perspective) continuous data streams, which require changes to the concept of spatial data recording, storage and manipulation. This book collects the latest innovative research presented at the GIS Ostrava 2017 conference held in 2017 in Ostrava, Czech Republic, under the auspices of EuroSDR and EuroGEO. The accepted papers cover various aspects of dynamics in GIscience, including spatiotemporal data analysis and modelling; spatial mobility data and trajectories; real-time geodata and real-time applications; dynamics in land use, land cover and urban development; visualisation of dynamics; open spatiotemporal data; crowdsourcing for spatiotemporal data and big spatiotemporal data.

This book contains a selection of papers presented during a special workshop on Complexity Science organized as part of the 9th International Conference on GIScience 2016. Expert researchers in the areas of Agent-Based Modeling, Complexity Theory, Network Theory, Big Data, and emerging methods of Analysis and Visualization for new types of data explore novel complexity science approaches to dynamic geographic phenomena and their applications, addressing challenges and enriching research methodologies in geography in a Big Data Era.

This book, which contains a collection of review articles as well as focus on evidence-based policy making, will serve as a valuable resource not just for all postgraduate students conducting research using systems analysis thinking but also for policy makers. To our knowledge, a book of this nature which also has a strong African focus is currently not available. The book examines environmental and socio-economic risks with the aim of providing an analytical foundation for the management and governance of natural resources, disasters, addressing climate change, and easing the technological and ecological transitions to sustainability. It provides scientific and strategic analysis to better understand the dynamics of future energy transitions, their main driving forces, enabling factors, barriers, as well as their consequences for the social, economic and environmental dimensions of human wellbeing. Science-based policy advice is achieved through an integrated assessment and modeling of how to simultaneously address the major energy policy challenges in the areas of environment (climate change and air pollution), energy poverty (or access to affordable and clean energy for the poor), energy security and reliability. It also aims to improve our understanding of ecosystems and their management in today's changing world-in particular, the current state of ecosystems, and their ecological thresholds and buffering capacities. It provides support for policy makers in developing rational, realistic and science-based regional, national and global strategies for the production of fuel, food and fibre that sustain ecosystem services and safeguard food security. Finally, it addresses the human development dimension of global change based on comprehensive studies on the changing size and composition of human populations around the world by analyzing both their impacts and the differential vulnerabilities by age, gender and level of education.

This book presents an introduction to the analysis of general movements in 3D space, especially for movements of the human body. It is based on the lecture notes of a class on 3D Kinematics, which the author has been holding in the Master Degree Program of his home institution, the University of Applied Sciences Upper Austria. The lecture introduces the mathematics underlying the measurement and analysis of 3D movements. The target audience primarily comprises research experts in the field, but the book may also be beneficial for graduate students alike.

This book reports innovative deep learning and big data analytics technologies for smart manufacturing applications. In this book, theoretical foundations, as well as the state-of-the-art and practical implementations for the relevant technologies, are covered. This book details the relevant applied research conducted by the authors in some important manufacturing applications, including intelligent prognosis on manufacturing processes, sustainable manufacturing and human-robot cooperation. Industrial case studies included in this book illustrate the design details of the algorithms and methodologies for the applications, in a bid to provide useful references to readers. Smart manufacturing aims to take advantage of advanced information and artificial intelligent technologies to enable flexibility in physical manufacturing processes to address increasingly dynamic markets. In recent years, the development of innovative deep learning and big data analytics algorithms is dramatic. Meanwhile, the algorithms and technologies have been widely applied to facilitate various manufacturing applications. It is essential to make a timely update on this subject considering its importance and rapid progress. This book offers a valuable resource for researchers in the smart manufacturing communities, as well as practicing engineers and decision makers in industry and all those interested in smart manufacturing and Industry 4.0.

Social simulation can be a difficult discipline to encompass fully. There are many methods, models, directions, and theories that can be discussed and applied to various social sciences. Anthropology, sociology, political science, economy, government, and management can all benefit from social simulation. Interdisciplinary Applications of Agent-Based Social Simulation and Modeling aims to bring a different perspective to this interdisciplinary topic. This book presents current discussions and new insights on social simulation as a whole, focusing on its dangers, pitfalls, deceits, and challenges. This book is an essential reference for researchers in this field, professionals using social simulation, and even students studying this discipline.

This monograph presents urban simulation methods that help in better understanding urban dynamics. Over historical times, cities have progressively absorbed a larger part of human population and will concentrate three quarters of humankind before the end of the century. This "urban transition" that has totally transformed the way we inhabit the planet is globally understood in its socio-economic rationales but is less frequently questioned as a spatio-temporal process. However, the cities, because they are intrinsically linked in a game of competition for resources and development, self organize in "systems of cities" where their future becomes more and more interdependent. The high frequency and intensity of interactions between cities explain that urban systems all over the world exhibit large similarities in their hierarchical and functional structure and rather regular dynamics. They are complex systems whose emergence, structure and further evolution are widely governed by the multiple kinds of interaction that link the various actors and institutions investing in cities their efforts, capital, knowledge and intelligence. Simulation models that reconstruct this dynamics may help in better understanding it and exploring future plausible evolutions of urban systems. This would provide better insight about how societies can manage the ecological transition at local, regional and global scales. The author has developed a series of instruments that greatly improve the techniques of validation for such models of social sciences that can be submitted to many applications in a variety of geographical situations. Examples are given for several BRICS countries, Europe and United States. The target audience primarily comprises research experts in the field of urban dynamics, but the book may also be beneficial for graduate students.

This book describes the operation and analysis of soft-commutated isolated DC-DC converters used in the design of high efficiency and high power density equipment. It explains the basic principles behind first- and second-order circuits with power switches to enable readers to understand the importance of these converters in high efficiency and high power density power supply design for residential, commercial, industrial and medical use as well as in aerospace equipment. With each chapter featuring a different power converter topology, the book covers the most important resonant converters, including series resonant converters; resonant LLC converters; soft commutation pulse width modulation converters; zero voltage switching; and zero current switching. Each topic is presented with full analysis, a showcase of the power stages of the converters, exercises and their solutions as well as simulation results, which mainly focus on the commutation analysis and output characteristic. This book is a valuable source of information for professionals working in power electronics, power conversion and design of high efficiency and high power density DC-DC converters and switch mode power supplies. The book also serves as a point of reference for engineers responsible for development projects and equipment in companies and research centers and a text for advanced students.

Numerical partial differential equations (PDEs) are an important part of numerical simulation, the third component of the modern methodology for science and engineering, besides the traditional theory and experiment. This volume contains papers that originated with the collaborative research of the teams that participated in the IMA Workshop for Women in Applied Mathematics: Numerical Partial Differential Equations and Scientific Computing in August 2014.

Enterprise Modeling and Computing with UML bridges two fields that are closely related, but are often studied in isolation: enterprise modeling and information systems modeling. The principal idea is to use a standard language for modeling information systems, UML, as a catalyst, and investigate its potential for modeling enterprises. ""Enterprise Modeling and Computing with UML"" shows both the potential and the limit of using UML in an enterprise modeling context and a broad spectrum of ideas for aligning the development of information systems with the management of an enterprise.

This book introduces the reader to a new method of data assimilation with deterministic constraints (exact satisfaction of dynamic constraints)-an optimal assimilation strategy called Forecast Sensitivity Method (FSM), as an alternative to the well-known four-dimensional variational (4D-Var) data assimilation method. 4D-Var works with a forward in time prediction model and a backward in time tangent linear model (TLM). The equivalence of data assimilation via 4D-Var and FSM is proven and problems using low-order dynamics clarify the process of data assimilation by the two methods. The problem of return flow over the Gulf of Mexico that includes upper-air observations and realistic dynamical constraints gives the reader a good idea of how the FSM can be implemented in a real-world situation.

This book is a collection of selected papers presented at the 10th International Conference on Scientific Computing in Electrical Engineering (SCEE), held in Wuppertal, Germany in 2014. The book is divided into five parts, reflecting the main directions of SCEE 2014: 1. Device Modeling, Electric Circuits and Simulation, 2. Computational Electromagnetics, 3. Coupled Problems, 4. Model Order Reduction, and 5. Uncertainty Quantification. Each part starts with a general introduction followed by the actual papers. The aim of the SCEE 2014 conference was to bring together scientists from academia and industry, mathematicians, electrical engineers, computer scientists, and physicists, with the goal of fostering intensive discussions on industrially relevant mathematical problems, with an emphasis on the modeling and numerical simulation of electronic circuits and devices, electromagnetic fields, and coupled problems. The methodological focus was on model order reduction and uncertainty quantification.

These are the proceedings of the 25th International Conference on Domain Decomposition Methods in Science and Engineering, which was held in St. John's, Newfoundland, Canada in July 2018. Domain decomposition methods are iterative methods for solving the often very large systems of equations that arise when engineering problems are discretized, frequently using finite elements or other modern techniques. These methods are specifically designed to make effective use of massively parallel, high-performance computing systems. The book presents both theoretical and computational advances in this domain, reflecting the state of art in 2018.

Interest in the area of control of systems defined by partial differential Equations has increased strongly in recent years. A major reason has been the requirement of these systems for sensible continuum mechanical modelling and optimization or control techniques which account for typical physical phenomena. Particular examples of problems on which substantial progress has been made are the control and stabilization of mechatronic structures, the control of growth of thin films and crystals, the control of Laser and semi-conductor devices, and shape optimization problems for turbomachine blades, shells, smart materials and microdiffractive optics. This volume contains original articles by world reknowned experts in the fields of optimal control of partial differential equations, shape optimization, numerical methods for partial differential equations and fluid dynamics, all of whom have contributed to the analysis and solution of many of the problems discussed. The collection provides a state-of-the-art overview of the most challenging and exciting recent developments in the field. It is geared towards postgraduate students and researchers dealing with the theoretical and practical aspects of a wide variety of high technology problems in applied mathematics, fluid control, optimal design, and computer modelling.

This unique volume introduces and discusses the methods of validating computer simulations in scientific research. The core concepts, strategies, and techniques of validation are explained by an international team of pre-eminent authorities, drawing on expertise from various fields ranging from engineering and the physical sciences to the social sciences and history. The work also offers new and original philosophical perspectives on the validation of simulations. Topics and features: introduces the fundamental concepts and principles related to the validation of computer simulations, and examines philosophical frameworks for thinking about validation; provides an overview of the various strategies and techniques available for validating simulations, as well as the preparatory steps that have to be taken prior to validation; describes commonly used reference points and mathematical frameworks applicable to simulation validation; reviews the legal prescriptions, and the administrative and procedural activities related to simulation validation; presents examples of best practice that demonstrate how methods of validation are applied in various disciplines and with different types of simulation models; covers important practical challenges faced by simulation scientists when applying validation methods and techniques; offers a selection of general philosophical reflections that explore the significance of validation from a broader perspective. This truly interdisciplinary handbook will appeal to a broad audience, from professional scientists spanning all natural and social sciences, to young scholars new to research with computer simulations. Philosophers of science, and methodologists seeking to increase their understanding of simulation validation, will also find much to benefit from in the text.

This book introduces readers to MesoBioNano (MBN) Explorer - a multi-purpose software package designed to model molecular systems at various levels of size and complexity. In addition, it presents a specially designed multi-task toolkit and interface - the MBN Studio - which enables the set-up of input files, controls the simulations, and supports the subsequent visualization and analysis of the results obtained. The book subsequently provides a systematic description of the capabilities of this universal and powerful software package within the framework of computational molecular science, and guides readers through its applications in numerous areas of research in bio- and chemical physics and material science - ranging from the nano- to the mesoscale. MBN Explorer is particularly suited to computing the system's energy, to optimizing molecular structure, and to exploring the various facets of molecular and random walk dynamics. The package allows the use of a broad variety of interatomic potentials and can, e.g., be configured to select any subset of a molecular system as rigid fragments, whenever a significant reduction in the number of dynamical degrees of freedom is required for computational practicalities. MBN Studio enables users to easily construct initial geometries for the molecular, liquid, crystalline, gaseous and hybrid systems that serve as input for the subsequent simulations of their physical and chemical properties using MBN Explorer. Despite its universality, the computational efficiency of MBN Explorer is comparable to that of other, more specialized software packages, making it a viable multi-purpose alternative for the computational modeling of complex molecular systems. A number of detailed case studies presented in the second part of this book demonstrate MBN Explorer's usefulness and efficiency in the fields of atomic clusters and nanoparticles, biomolecular systems, nanostructured materials, composite materials and hybrid systems, crystals, liquids and gases, as well as in providing modeling support for novel and emerging technologies. Last but not least, with the release of the 3rd edition of MBN Explorer in spring 2017, a free trial version will be available from the MBN Research Center website (mbnresearch.com).