𝔖 Scriptorium
✦   LIBER   ✦
📁

Interval Methods for Solving Nonlinear Constraint Satisfaction, Optimization and Similar Problems: From Inequalities Systems to Game Solutions

✍ Scribed by Bartłomiej Jacek Kubica

Publisher
Springer International Publishing
Year
2019
Tongue
English
Leaves
164
Series
Studies in Computational Intelligence 805
Edition
1st ed.
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis

This book highlights recent research on interval methods for solving nonlinear constraint satisfaction, optimization and similar problems. Further, it presents a comprehensive survey of applications in various branches of robotics, artificial intelligence systems, economics, control theory, dynamical systems theory, and others. Three appendices, on the notation, representation of numbers used as intervals’ endpoints, and sample implementations of the interval data type in several programming languages, round out the coverage.

✦ Table of Contents

Front Matter ....Pages i-xviii
Introduction (Bartłomiej Jacek Kubica)....Pages 1-3
Interval Calculus (Bartłomiej Jacek Kubica)....Pages 5-16
Bounding Derivatives by Algorithmic Differentiation (Bartłomiej Jacek Kubica)....Pages 17-25
Branch-and-Bound-Type Methods (Bartłomiej Jacek Kubica)....Pages 27-45
Solving Equations and Inequalities Systems Using Interval B&Bt Methods (Bartłomiej Jacek Kubica)....Pages 47-64
Solving Quantified Problems Using Interval Methods (Bartłomiej Jacek Kubica)....Pages 65-77
Parallelization of B&BT Algorithms (Bartłomiej Jacek Kubica)....Pages 79-90
Interval Software, Libraries and Standards (Bartłomiej Jacek Kubica)....Pages 91-99
Applications of Interval B&BT Methods (Bartłomiej Jacek Kubica)....Pages 101-131
Back Matter ....Pages 133-156

✦ Subjects

Engineering; Computational Intelligence; Robotics and Automation; Complexity

📜 SIMILAR VOLUMES

Logic-Based Methods for Optimization: Co
📁 Logic-Based Methods for Optimization: Combining Optimization and Constraint Satisfaction
✍ John Hooker(auth.) 📂 Library 📅 2000 🌐 English

A pioneering look at the fundamental role of logic in optimization and constraint satisfaction<br> While recent efforts to combine optimization and constraint satisfaction have received considerable attention, little has been said about using logic in optimization as the key to unifying the two fiel

Nonlinear Systems and Optimization for t
📁 Nonlinear Systems and Optimization for the Chemical Engineer: Solving Numerical Problems
✍ Guido Buzzi-Ferraris, Flavio Manenti 📂 Library 📅 2014 🏛 Wiley-VCH 🌐 English

This third book in a suite of four practical guides is an engineer's companion to using numerical methods for the solution of complex mathematical problems. The required software is provided by way of the freeware mathematical library BzzMath that is developed and maintained by the authors. The pres

Semismooth Newton Methods for Variationa
📁 Semismooth Newton Methods for Variational Inequalities and Constrained Optimization Problems in Function Spaces
✍ Michael Ulbrich 📂 Library 📅 2011 🏛 Society for Industrial & Applied Mathematics 🌐 English

Semismooth Newton methods are a modern class of remarkably powerful and versatile algorithms for solving constrained optimization problems with partial differential equations (PDEs), variational inequalities, and related problems. This book provides a comprehensive presentation of these methods in f

Controller Tuning Optimization Methods f
📁 Controller Tuning Optimization Methods for Multi-Constraints and Nonlinear Systems: A Metaheuristic Approach (SpringerBriefs in Optimization)
✍ Maude Josée Blondin 📂 Library 📅 2021 🏛 Springer 🌐 English

<span>This book covers controller tuning techniques from conventional to new optimization methods for diverse control engineering applications. Classical controller tuning approaches are presented with real-world challenges faced in control engineering. Current developments in applying optimization