Böcker i Springer Optimization and Its Applications-serien

This text is an enhanced, English version of the Russian edition, published in early 2021 and is appropriate for an introductory course in geometric control theory. The concise presentation provides an accessible treatment of the subject for advanced undergraduate and graduate students in theoretical and applied mathematics, as well as to experts in classic control theory for whom geometric methods may be introduced. Theory is accompanied by characteristic examples such as stopping a train, motion of mobile robot, Euler elasticae, Dido's problem, and rolling of the sphere on the plane. Quick foundations to some recent topics of interest like control on Lie groups and sub-Riemannian geometry are included. Prerequisites include only a basic knowledge of calculus, linear algebra, and ODEs; preliminary knowledge of control theory is not assumed. The applications problems-oriented approach discusses core subjects and encourages the reader to solve related challenges independently. Highly-motivated readers can acquire working knowledge of geometric control techniques and progress to studying control problems and more comprehensive books on their own. Selected sections provide exercises to assist in deeper understanding of the material.Controllability and optimal control problems are considered for nonlinear nonholonomic systems on smooth manifolds, in particular, on Lie groups. For the controllability problem, the following questions are considered: controllability of linear systems, local controllability of nonlinear systems, Nagano-Sussmann Orbit theorem, Rashevskii-Chow theorem, Krener's theorem. For the optimal control problem, Filippov's theorem is stated, invariant formulation of Pontryagin maximum principle on manifolds is given, second-order optimality conditions are discussed, and the sub-Riemannian problem is studied in detail. Pontryagin maximum principle is proved for sub-Riemannian problems, solution to the sub-Riemannian problems on the Heisenberg group, the group of motions of the plane, and the Engel group is described.

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 includes a thorough theoretical and computational analysis of unconstrained and constrained optimization algorithms and combines and integrates the most recent techniques and advanced computational linear algebra methods. Nonlinear optimization methods and techniques have reached their maturity and an abundance of optimization algorithms are available for which both the convergence properties and the numerical performances are known. This clear, friendly, and rigorous exposition discusses the theory behind the nonlinear optimization algorithms for understanding their properties and their convergence, enabling the reader to prove the convergence of his/her own algorithms. It covers cases and computational performances of the most known modern nonlinear optimization algorithms that solve collections of unconstrained and constrained optimization test problems with different structures, complexities, as well as those with large-scale real applications. The book is addressed to all those interested in developing and using new advanced techniques for solving large-scale unconstrained or constrained complex optimization problems. Mathematical programming researchers, theoreticians and practitioners in operations research, practitioners in engineering and industry researchers, as well as graduate students in mathematics, Ph.D. and master in mathematical programming will find plenty of recent information and practical approaches for solving real large-scale optimization problems and applications.

This text provides the undergraduate chemical engineering student with the necessary tools for problem solving in chemical or bio-engineering processes. In a friendly, simple, and unified framework, the exposition aptly balances theory and practice. It uses minimal mathematical concepts, terms, algorithms, and describes the main aspects of chemical process optimization using MATLAB and GAMS. Numerous examples and case studies are designed for students to understand basic principles of each optimization method and elicit the immediate discovery of practical applications. Problem sets are directly tied to real-world situations most commonly encountered in chemical engineering applications. Chapters are structured with handy learning summaries, terms and concepts, and problem sets, and individually reinforce the basics of particular optimization methods. Additionally, the wide breadth of topics that may be encountered in courses such as Chemical Process Optimization, Chemical Process Engineering, Optimization of Chemical Processes, are covered in this accessible text. The book provides formal introductions to MATLAB, GAMS, and a revisit to pertinent aspects of undergraduate calculus. While created for coursework, this text is also suitable for independent study. A full solutions manual is available to instructors who adopt the text for their course.

This volume is the last (IV) of four under the main themes of Digitizing Agriculture and Information and Communication Technologies (ICT). The four volumes cover rapidly developing processes including Sensors (I), Data (II), Decision (III), and Actions (IV). Volumes are related to ¿digital transformation¿ within agricultural production and provision systems, and in the context of Smart Farming Technology and Knowledge-based Agriculture. Content spans broadly from data mining and visualization to big data analytics and decision making, alongside with the sustainability aspects stemming from the digital transformation of farming. The four volumes comprise the outcome of the 12th EFITA Congress, also incorporating chapters that originated from select presentations of the Congress. The focus in this volume is on the directions of Agriculture 4.0 which incorporates the transition to a new era of action in the Agricultural sector, represented by the evolution of digital technologies in 4 aspects: Big Data, Open Data, Internet of Things (IoT), and Cloud Computing. Under the heading of ¿Action,¿ 14 Chapters investigate the implementation of cutting-edge technologies on real world applications. It will become apparent to the reader that the penetration of ICT in agriculture can result in several benefits related to the sustainability of the sector and to yield the maximum benefits, successful management is required. The entire discussion highlights the importance of proper education in the adoption of innovative technologies starting with the adaption of educational systems to the new era and moving to the familiarization of farmers to the new technologies.This book covers topics that relate to the digital transformation of farming. It provides examples and case studies of this transformation from around the world, examines the process of diffusion of digital technologies, and assesses the current and future sustainability aspects of digital agriculture. More specifically, it deals with issues such as: Challenges and opportunities from the transition to Agriculture 4.0Safety and health in agricultural work automationThe role of digital farming on regional-spatial planningThe enrollment of Social Media in IoT-based agricultureThe role of education in digital agricultureReal-life implementation cases of smart agriculture around the world

This volume is the first (I) of four under the main themes of Digitizing Agriculture and Information and Communication Technologies (ICT). The four volumes cover rapidly developing processes including Sensors (I), Data (II), Decision (III), and Actions (IV). Volumes are related to ¿digital transformation¿ within agricultural production and provision systems, and in the context of Smart Farming Technology and Knowledge-based Agriculture. Content spans broadly from data mining and visualization to big data analytics and decision making, alongside with the sustainability aspects stemming from the digital transformation of farming. The four volumes comprise the outcome of the 12th EFITA Congress, also incorporating chapters that originated from select presentations of the Congress. The focus in this volume is on different aspects of sensors implementation in agricultural production (e.g., types of sensors, parameters monitoring, network types, connectivity, accuracy, reliability, durability, and needs to be covered) and provides variety of information and knowledge in the subject of sensors design, development, and deployment for monitoring agricultural production parameters. The book consists of four (4) Sections. The first section presents an overview on the state-off-the art in sensing technologies applied in agricultural production while the rest of the sections are dedicated to remote sensing, proximal sensing, and wireless sensor networks applications.Topics include: Emerging sensing technologies Soil reflectance spectroscopy LoRa technologies applications in agricultureWireless sensor networks deployment and applications Combined remote and proximal sensing solutions Crop phenology monitoring Sensors for geophysical properties Combined sensing technologies with geoinformation systems

This book is devoted to the study of the turnpike phenomenon arising in optimal control theory. Special focus is placed on Turnpike results, in sufficient and necessary conditions for the turnpike phenomenon and in its stability under small perturbations of objective functions. The most important feature of this book is that it develops a large, general class of optimal control problems in metric space. Additional value is in the provision of solutions to a number of difficult and interesting problems in optimal control theory in metric spaces. Mathematicians working in optimal control, optimization, and experts in applications of optimal control to economics and engineering, will find this book particularly useful.All main results obtained in the book are new. The monograph contains nine chapters. Chapter 1 is an introduction. Chapter 2 discusses Banach space valued functions, set-valued mappings in infinite dimensional spaces, and related continuous-time dynamical systems. Some convergence results are obtained. In Chapter 3, a discrete-time dynamical system with a Lyapunov function in a metric space induced by a set-valued mapping, is studied. Chapter 4 is devoted to the study of a class of continuous-time dynamical systems, an analog of the class of discrete-time dynamical systems considered in Chapter 3. Chapter 5 develops a turnpike theory for a class of general dynamical systems in a metric space with a Lyapunov function. Chapter 6 contains a study of the turnpike phenomenon for discrete-time nonautonomous problems on subintervals of half-axis in metric spaces, which are not necessarily compact. Chapter 7 contains preliminaries which are needed in order to study turnpike properties of infinite-dimensional optimal control problems. In Chapter 8, sufficient and necessary conditions for the turnpike phenomenon for continuous-time optimal control problems on subintervals of the half-axis in metric spaces, is established. In Chapter 9, the examination continues of the turnpike phenomenon for the continuous-time optimal control problems on subintervals of half-axis in metric spaces discussed in Chapter 8.

This volume is the third (III) of four under the main themes of Digitizing Agriculture and Information and Communication Technologies (ICT). The four volumes cover rapidly developing processes including Sensors (I), Data (II), Decision (III), and Actions (IV). Volumes are related to ¿digital transformation¿ within agricultural production and provision systems, and in the context of Smart Farming Technology and Knowledge-based Agriculture. Content spans broadly from data mining and visualization to big data analytics and decision making, alongside with the sustainability aspects stemming from the digital transformation of farming. The four volumes comprise the outcome of the 12th EFITA Congress, also incorporating chapters that originated from select presentations of the Congress. The focus of this book (III) is on the transformation of collected information into valuable decisions and aims to shed light on how best to use digital technologies to reduce cost, inputs,and time, toward becoming more efficient and transparent. Fourteen chapters are grouped into 3 Sections. The first section of is dedicated to decisions in the value chain of agricultural products. The next section, titled Primary Production, elaborates on decision making for the improvement of processes taking place with the farm under the implementation of ICT. The last section is devoted to the development of innovative decision applications that also consider the protection of the environment, recognizing its importance in the preservation and considerate use of resources, as well as the mitigation of adverse impacts that are related to agricultural production.Planning and modeling the assessment of agricultural practices can provide farmers with valuable information prior to the execution of any task. This book provides a valuable reference for them as well as for those directly involved with decision making in planning and assessment of agricultural production.Specific advances covered in the volume: Modelling and Simulation of ICT-based agricultural systemsFarm Management Information Systems (FMIS) Planning for unmanned aerial systems Agri-robotics awareness and planning Smart livestock farming Sustainable strategic planning in agri-production Food business information systems