JuMP: A Modeling Language for Mathematical Optimization
Reads0
Chats0
TLDR
JuMP as mentioned in this paper is an open-source modeling language that allows users to express a wide range of optimization problems (linear, mixed-integer, quadratic, conic-quadratic, semidefinite, and nonlinear) in a high-level, algebraic syntax.Abstract:
JuMP is an open-source modeling language that allows users to express a wide range of optimization problems (linear, mixed-integer, quadratic, conic-quadratic, semidefinite, and nonlinear) in a high-level, algebraic syntax. JuMP takes advantage of advanced features of the Julia programming language to offer unique functionality while achieving performance on par with commercial modeling tools for standard tasks. In this work we will provide benchmarks, present the novel aspects of the implementation, and discuss how JuMP can be extended to new problem classes and composed with state-of-the-art tools for visualization and interactivity.read more
Citations
More filters
Journal ArticleDOI
OSQP: An Operator Splitting Solver for Quadratic Programs
TL;DR: This work presents a general-purpose solver for convex quadratic programs based on the alternating direction method of multipliers, employing a novel operator splitting technique that requires the solution of a quasi-definite linear system with the same coefficient matrix at almost every iteration.
Journal ArticleDOI
A rewriting system for convex optimization problems
TL;DR: In this paper, a modular rewriting system for translating optimization problems written in a domain-specific language (DSL) to forms compatible with low-level solver interfaces is described.
Journal ArticleDOI
Optim: A mathematical optimization package for Julia
TL;DR: The aim of the Optim package is to enable researchers, users, and other Julia packages to solve optimization problems without writing such algorithms themselves.
Posted Content
A Rewriting System for Convex Optimization Problems
TL;DR: In this article, a modular rewriting system for translating optimization problems written in a domain-specific language to forms compatible with low-level solver interfaces is described, facilitated by reductions which accept a category of problems and transform instances of that category to equivalent instances of another category.
Journal ArticleDOI
All you need to know about model predictive control for buildings
Ján Drgoňa,Ján Drgoňa,Javier Arroyo,Iago Cupeiro Figueroa,David Blum,Krzysztof Arendt,Donghun Kim,Donghun Kim,Enric Perarnau Ollé,Juraj Oravec,Michael Wetter,Draguna Vrabie,Lieve Helsen +12 more
TL;DR: This paper provides a unified framework for model predictive building control technology with focus on the real-world applications and presents the essential components of a practical implementation of MPC such as different control architectures and nuances of communication infrastructures within supervisory control and data acquisition (SCADA) systems.
References
More filters
Journal ArticleDOI
On the implementation of an interior-point filter line-search algorithm for large-scale nonlinear programming
TL;DR: A comprehensive description of the primal-dual interior-point algorithm with a filter line-search method for nonlinear programming is provided, including the feasibility restoration phase for the filter method, second-order corrections, and inertia correction of the KKT matrix.
Proceedings ArticleDOI
YALMIP : a toolbox for modeling and optimization in MATLAB
TL;DR: Free MATLAB toolbox YALMIP is introduced, developed initially to model SDPs and solve these by interfacing eternal solvers by making development of optimization problems in general, and control oriented SDP problems in particular, extremely simple.
BookDOI
Introduction to Stochastic Programming
John R. Birge,Franois Louveaux +1 more
TL;DR: This textbook provides a first course in stochastic programming suitable for students with a basic knowledge of linear programming, elementary analysis, and probability to help students develop an intuition on how to model uncertainty into mathematical problems.
Proceedings ArticleDOI
LLVM: a compilation framework for lifelong program analysis & transformation
Chris Lattner,Vikram Adve +1 more
TL;DR: The design of the LLVM representation and compiler framework is evaluated in three ways: the size and effectiveness of the representation, including the type information it provides; compiler performance for several interprocedural problems; and illustrative examples of the benefits LLVM provides for several challenging compiler problems.
Journal ArticleDOI
GAMS, a user's guide
TL;DR: JuMP is an open-source modeling language that allows users to express a wide range of ideas in an easy-to-use manner.