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

• Main Author: Kubica, Bartłomiej Jacek (Author, http://id.loc.gov/vocabulary/relators/aut)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Edition: 1st ed. 2019.
• Series: Studies in Computational Intelligence, 805
• Subjects: Computational intelligence.; Robotics.; Automation.; Computational complexity.; Computational Intelligence.; Robotics and Automation.; Complexity.

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, dynamica...

Table of Contents:

• Introduction
• Interval calculus
• Bounding derivatives by algorithmic differentiation
• Branch-and-bound-type methods
• Solving equations and inequalities systems using interval B&BT methods
• Solving quantified problems using interval methods
• Parallelization of B&BT algorithms.