Spatially Explicit Techno-Economic Optimisation Modelling of UK Heating Futures

Total Page:16

File Type:pdf, Size:1020Kb

Spatially Explicit Techno-Economic Optimisation Modelling of UK Heating Futures Spatially explicit techno-economic optimisation modelling of UK heating futures A thesis submitted in fulfilment of the requirements for the Degree of Doctor of Philosophy UCL Energy Institute University College London Date: 3rd April 2013 Candidate: Francis Li Supervisors: Robert Lowe, Mark Barrett I, Francis Li, confirm that the work presented in this thesis is my own. Where information has been derived from other sources, I confirm that this has been indicated in the thesis. Francis Li, 3rd April 2013 2 For Eugenia 3 Abstract This thesis describes the use of a spatially explicit model to investigate the economies of scale associated with district heating technologies and consequently, their future technical potential when compared against individual building heating. Existing energy system models used for informing UK technology policy do not employ high enough spatial resolutions to map district heating potential at the individual settlement level. At the same time, the major precedent studies on UK district heating potential have not explored future scenarios out to 2050 and have a number of relevant low-carbon heat supply technologies absent from their analyses. This has resulted in cognitive dissonance in UK energy policy whereby district heating is often simultaneously acknowledged as both highly desirable in the near term but ultimately lacking any long term future. The Settlement Energy Demand System Optimiser (SEDSO) builds on key techno-economic studies from the last decade to further investigate this policy challenge. SEDSO can be distinguished from other models used for investigating UK heat decarbonisation by employing a unique combination of extensive spatial detail, technical modelling which captures key cost-related nonlinearities, and a least-cost constrained optimisation approach to technology selection. The study yields a number of original contributions to knowledge that are relevant for policymakers. Results described in the thesis suggest that the marginal economics of UK district heating schemes are significantly improved when compared against individual heat pumps rather than gas boilers. This is relevant because under current policy direction individual heat pumps are likely to be the major counterfactual option to district heating post-2030. Results also illustrate how assumptions about technology availability can drive large shifts in optima, and that utility-scale electric heat pumps could be a key enabling technology for district heating to supply a large fraction of UK heat demand in a post-gas heating future. 4 Table of Contents Abstract ........................................................................................................................ 4 Table of Contents ......................................................................................................... 5 List of Figures ............................................................................................................. 12 List of Tables .............................................................................................................. 17 Acknowledgements.................................................................................................... 19 Chapter 1 - Introduction ............................................................................................. 20 1.0 Chapter 1 Summary ........................................................................................ 21 2.0 Research Context ............................................................................................ 21 2.1 Global Energy Context ........................................................................................... 21 2.2 UK Energy Context ............................................................................................... 24 3.0 Technological Approaches to Decarbonisation ............................................... 26 3.1 Energy Efficiency ................................................................................................... 27 3.2 Individual Electric Heating ..................................................................................... 27 3.3 District Heating Networks ..................................................................................... 28 3.4 Individual Gas Heating .......................................................................................... 29 3.5 Major Uncertainties .............................................................................................. 29 4.0 Research Goals ............................................................................................... 32 Chapter 2 – Model Structure ...................................................................................... 38 1.0 Chapter 2 Summary ........................................................................................ 39 2.0 Philosophy of Modelling ................................................................................. 39 2.1 Use of Models ....................................................................................................... 39 2.2 Drawing Inferences from Complex Models ........................................................... 40 3.0 Limitations of Existing Practice ...................................................................... 41 4.0 SEDSO – Conceptual Architecture .................................................................. 44 4.1 Methodological Heritage ...................................................................................... 44 4.2 Operation Modes for SEDSO ................................................................................ 46 4.3 Sectors Modelled in SEDSO ................................................................................... 47 4.4 Space in SEDSO ..................................................................................................... 47 5 4.5 Time in SEDSO ..................................................................................................... 49 4.6 Technology Representation in SEDSO ................................................................... 51 4.7 Costs in SEDSO ..................................................................................................... 54 4.7.1 The Levelised Cost of Energy (LCOE) ................................................................ 54 4.7.2 Costs for Building End-User Equipment ............................................................ 56 4.7.3 Costs for Local Distribution Infrastructure ......................................................... 57 4.7.4 Costs for District Heat and Electricity Generation .............................................. 57 4.8 Energy Consumption in SEDSO ............................................................................ 59 4.9 Peak Power Demand in SEDSO .............................................................................61 4.10 Conversion Efficiency in SEDSO ........................................................................... 63 5.0 SEDSO – Data Inputs ...................................................................................... 63 5.1 Baseline Consumption .......................................................................................... 65 5.1.1 Domestic Consumption .................................................................................... 65 5.1.2 Commercial Consumption ................................................................................ 66 5.1.3 Industrial Consumption...................................................................................... 67 5.2 Growth Projections ................................................................................................ 67 5.3 Energy Efficiency Measures .................................................................................. 69 5.4 Load Factors for Peak Power ................................................................................. 71 5.5 Technology Performance and Unit Costs ............................................................... 72 5.5.1 Building End-User Equipment ............................................................................ 72 5.5.2 Local Distribution Infrastructure ........................................................................ 74 5.5.3 District Heat and Electricity Generation Plant .................................................... 76 5.6 Fuel Costs .............................................................................................................. 79 5.7 Carbon Content of Fuel ......................................................................................... 80 Chapter 3 – Research Question 1 ................................................................................ 81 1.0 Chapter 3 Summary ........................................................................................ 82 2.0 Research Question 1 ....................................................................................... 83 3.0 Literature Review............................................................................................ 83 4.0 Approach for Addressing Research Question 1 ............................................... 85 4.1 Spatial Representation and Visualisation .............................................................. 86 4.2 Sensitivity Analysis ............................................................................................... 86 4.3 Monte Carlo Simulation Method ...........................................................................
Recommended publications
  • Specifying “Logical” Conditions in AMPL Optimization Models
    Specifying “Logical” Conditions in AMPL Optimization Models Robert Fourer AMPL Optimization www.ampl.com — 773-336-AMPL INFORMS Annual Meeting Phoenix, Arizona — 14-17 October 2012 Session SA15, Software Demonstrations Robert Fourer, Logical Conditions in AMPL INFORMS Annual Meeting — 14-17 Oct 2012 — Session SA15, Software Demonstrations 1 New and Forthcoming Developments in the AMPL Modeling Language and System Optimization modelers are often stymied by the complications of converting problem logic into algebraic constraints suitable for solvers. The AMPL modeling language thus allows various logical conditions to be described directly. Additionally a new interface to the ILOG CP solver handles logic in a natural way not requiring conventional transformations. Robert Fourer, Logical Conditions in AMPL INFORMS Annual Meeting — 14-17 Oct 2012 — Session SA15, Software Demonstrations 2 AMPL News Free AMPL book chapters AMPL for Courses Extended function library Extended support for “logical” conditions AMPL driver for CPLEX Opt Studio “Concert” C++ interface Support for ILOG CP constraint programming solver Support for “logical” constraints in CPLEX INFORMS Impact Prize to . Originators of AIMMS, AMPL, GAMS, LINDO, MPL Awards presented Sunday 8:30-9:45, Conv Ctr West 101 Doors close 8:45! Robert Fourer, Logical Conditions in AMPL INFORMS Annual Meeting — 14-17 Oct 2012 — Session SA15, Software Demonstrations 3 AMPL Book Chapters now free for download www.ampl.com/BOOK/download.html Bound copies remain available purchase from usual
    [Show full text]
  • AIMMS 4 Release Notes
    AIMMS 4 Release Notes Visit our web site www.aimms.com for regular updates Contents Contents 2 1 System Requirements 3 1.1 Hardware and operating system requirements ......... 3 1.2 ODBC and OLE DB database connectivity issues ........ 4 1.3 Viewing help files and documentation .............. 5 2 Installation Instructions 7 2.1 Installation instructions ....................... 7 2.2 Solver availability per platform ................... 8 2.3 Aimms licensing ............................ 9 2.3.1 Personal and machine nodelocks ............. 9 2.3.2 Installing an Aimms license ................ 12 2.3.3 Managing Aimms licenses ................. 14 2.3.4 Location of license files ................... 15 2.4 OpenSSL license ............................ 17 3 Project Conversion Instructions 20 3.1 Conversion of projects developed in Aimms 3.13 and before 20 3.2 Conversionof Aimms 3 projects to Aimms 4 ........... 22 3.2.1 Data management changes in Aimms 4.0 ........ 24 4 Getting Support 27 4.1 Reporting a problem ......................... 27 4.2 Known and reported issues ..................... 28 5 Release Notes 29 What’s new in Aimms 4 ........................ 29 Chapter 1 System Requirements This chapter discusses the system requirements necessary to run the various System components of your Win32 Aimms 4 system successfully. When a particular requirements requirement involves the installation of additional system software compo- nents, or an update thereof, the (optional) installation of such components will be part of the Aimms installation procedure. 1.1 Hardware and operating system requirements The following list provides the minimum hardware requirements to run your Hardware Aimms 4 system. requirements 1.6 Ghz or higher x86 or x64 processor XGA display adapter and monitor 1 Gb RAM 1 Gb free disk space Note, however, that performance depends on model size and type and can vary.
    [Show full text]
  • AIMMS 4 Linux Release Notes
    AIMMS 4 Portable component Linux Intel version Release Notes for Linux Visit our web site www.aimms.com for regular updates Contents Contents 2 1 System Overview of the Intel Linux Aimms Component 3 1.1 Hardware and operating system requirements ......... 3 1.2 Feature comparison with the Win32/Win64 version ...... 3 2 Installation and Usage 5 2.1 Installation instructions ....................... 5 2.2 Solver availability per platform ................... 6 2.3 Licensing ................................ 6 2.4 Usage of the portable component ................. 10 2.5 The Aimms command line tool ................... 10 3 Getting Support 13 3.1 Reporting a problem ......................... 13 3.2 Known and reported issues ..................... 14 4 Release Notes 15 What’s new in Aimms 4 ........................ 15 Chapter 1 System Overview of the Intel Linux Aimms Component This chapter discusses the system requirements necessary to run the portable System Intel Linux Aimms component. The chapter also contains a feature comparison overview with the regular Windows version of Aimms. 1.1 Hardware and operating system requirements The following list of hardware and software requirements applies to the por- Hardware table Intel x64 Linux Aimms 4 component release. requirements Linux x64 Intel x64 compatible system Centos 6, Red Hat 6, or Ubuntu 12.04 Linux operating system 1 Gb RAM 1 Gb free disk space Note, however, that performance depends on model size and type and can Performance vary. It can also be affected by the number of other applications that are running concurrently with Aimms. In cases of a (regular) performance drop of either Aimms or other applications you are advised to install sufficiently additional RAM.
    [Show full text]
  • Notes 1: Introduction to Optimization Models
    Notes 1: Introduction to Optimization Models IND E 599 September 29, 2010 IND E 599 Notes 1 Slide 1 Course Objectives I Survey of optimization models and formulations, with focus on modeling, not on algorithms I Include a variety of applications, such as, industrial, mechanical, civil and electrical engineering, financial optimization models, health care systems, environmental ecology, and forestry I Include many types of optimization models, such as, linear programming, integer programming, quadratic assignment problem, nonlinear convex problems and black-box models I Include many common formulations, such as, facility location, vehicle routing, job shop scheduling, flow shop scheduling, production scheduling (min make span, min max lateness), knapsack/multi-knapsack, traveling salesman, capacitated assignment problem, set covering/packing, network flow, shortest path, and max flow. IND E 599 Notes 1 Slide 2 Tentative Topics Each topic is an introduction to what could be a complete course: 1. basic linear models (LP) with sensitivity analysis 2. integer models (IP), such as the assignment problem, knapsack problem and the traveling salesman problem 3. mixed integer formulations 4. quadratic assignment problems 5. include uncertainty with chance-constraints, stochastic programming scenario-based formulations, and robust optimization 6. multi-objective formulations 7. nonlinear formulations, as often found in engineering design 8. brief introduction to constraint logic programming 9. brief introduction to dynamic programming IND E 599 Notes 1 Slide 3 Computer Software I Catalyst Tools (https://catalyst.uw.edu/) I AIMMS - optimization software (http://www.aimms.com/) Ming Fang - AIMMS software consultant IND E 599 Notes 1 Slide 4 What is Mathematical Programming? Mathematical programming refers to \programming" as a \planning" activity: as in I linear programming (LP) I integer programming (IP) I mixed integer linear programming (MILP) I non-linear programming (NLP) \Optimization" is becoming more common, e.g.
    [Show full text]
  • AIMMS Modeling Guide - Linear Programming Tricks
    AIMMS Modeling Guide - Linear Programming Tricks This file contains only one chapter of the book. For a free download of the complete book in pdf format, please visit www.aimms.com. Aimms 4 Copyright c 1993–2018 by AIMMS B.V. All rights reserved. AIMMS B.V. AIMMS Inc. Diakenhuisweg 29-35 11711 SE 8th Street 2033 AP Haarlem Suite 303 The Netherlands Bellevue, WA 98005 Tel.: +31 23 5511512 USA Tel.: +1 425 458 4024 AIMMS Pte. Ltd. AIMMS 55 Market Street #10-00 SOHO Fuxing Plaza No.388 Singapore 048941 Building D-71, Level 3 Tel.: +65 6521 2827 Madang Road, Huangpu District Shanghai 200025 China Tel.: ++86 21 5309 8733 Email: [email protected] WWW: www.aimms.com Aimms is a registered trademark of AIMMS B.V. IBM ILOG CPLEX and CPLEX is a registered trademark of IBM Corporation. GUROBI is a registered trademark of Gurobi Optimization, Inc. Knitro is a registered trademark of Artelys. Windows and Excel are registered trademarks of Microsoft Corporation. TEX, LATEX, and AMS-LATEX are trademarks of the American Mathematical Society. Lucida is a registered trademark of Bigelow & Holmes Inc. Acrobat is a registered trademark of Adobe Systems Inc. Other brands and their products are trademarks of their respective holders. Information in this document is subject to change without notice and does not represent a commitment on the part of AIMMS B.V. The software described in this document is furnished under a license agreement and may only be used and copied in accordance with the terms of the agreement. The documentation may not, in whole or in part, be copied, photocopied, reproduced, translated, or reduced to any electronic medium or machine-readable form without prior consent, in writing, from AIMMS B.V.
    [Show full text]
  • Open Source Tools for Optimization in Python
    Open Source Tools for Optimization in Python Ted Ralphs Sage Days Workshop IMA, Minneapolis, MN, 21 August 2017 T.K. Ralphs (Lehigh University) Open Source Optimization August 21, 2017 Outline 1 Introduction 2 COIN-OR 3 Modeling Software 4 Python-based Modeling Tools PuLP/DipPy CyLP yaposib Pyomo T.K. Ralphs (Lehigh University) Open Source Optimization August 21, 2017 Outline 1 Introduction 2 COIN-OR 3 Modeling Software 4 Python-based Modeling Tools PuLP/DipPy CyLP yaposib Pyomo T.K. Ralphs (Lehigh University) Open Source Optimization August 21, 2017 Caveats and Motivation Caveats I have no idea about the background of the audience. The talk may be either too basic or too advanced. Why am I here? I’m not a Sage developer or user (yet!). I’m hoping this will be a chance to get more involved in Sage development. Please ask lots of questions so as to guide me in what to dive into! T.K. Ralphs (Lehigh University) Open Source Optimization August 21, 2017 Mathematical Optimization Mathematical optimization provides a formal language for describing and analyzing optimization problems. Elements of the model: Decision variables Constraints Objective Function Parameters and Data The general form of a mathematical optimization problem is: min or max f (x) (1) 8 9 < ≤ = s.t. gi(x) = bi (2) : ≥ ; x 2 X (3) where X ⊆ Rn might be a discrete set. T.K. Ralphs (Lehigh University) Open Source Optimization August 21, 2017 Types of Mathematical Optimization Problems The type of a mathematical optimization problem is determined primarily by The form of the objective and the constraints.
    [Show full text]
  • AIMMS Tutorial for Beginners - Solving the Model
    AIMMS Tutorial for Beginners - Solving the Model This file contains only one chapter of the book. For a free download of the complete book in pdf format, please visit www.aimms.com Aimms 3.13 Copyright c 1993–2012 by Paragon Decision Technology B.V. All rights reserved. Paragon Decision Technology B.V. Paragon Decision Technology Inc. Schipholweg 1 500 108th Avenue NE 2034 LS Haarlem Ste. # 1085 The Netherlands Bellevue, WA 98004 Tel.: +31 23 5511512 USA Fax: +31 23 5511517 Tel.: +1 425 458 4024 Fax: +1 425 458 4025 Paragon Decision Technology Pte. Ltd. Paragon Decision Technology 55 Market Street #10-00 Shanghai Representative Office Singapore 048941 Middle Huaihai Road 333 Tel.: +65 6521 2827 Shuion Plaza, Room 1206 Fax: +65 6521 3001 Shanghai China Tel.: +86 21 51160733 Fax: +86 21 5116 0555 Email: [email protected] WWW: www.aimms.com ISBN xx–xxxxxx–x–x Aimms is a registered trademark of Paragon Decision Technology B.V. IBM ILOG CPLEX and CPLEX is a registered trademark of IBM Corporation. GUROBI is a registered trademark of Gurobi Optimization, Inc. KNITRO is a registered trademark of Ziena Optimization, Inc. XPRESS-MP is a registered trademark of FICO Fair Isaac Corporation. Mosek is a registered trademark of Mosek ApS. Windows and Excel are registered trademarks of Microsoft Corporation. TEX, LATEX, and AMS-LATEX are trademarks of the American Mathematical Society. Lucida is a registered trademark of Bigelow & Holmes Inc. Acrobat is a registered trademark of Adobe Systems Inc. Other brands and their products are trademarks of their respective holders.
    [Show full text]
  • MODELING LANGUAGES in MATHEMATICAL OPTIMIZATION Applied Optimization Volume 88
    MODELING LANGUAGES IN MATHEMATICAL OPTIMIZATION Applied Optimization Volume 88 Series Editors: Panos M. Pardalos University o/Florida, U.S.A. Donald W. Hearn University o/Florida, U.S.A. MODELING LANGUAGES IN MATHEMATICAL OPTIMIZATION Edited by JOSEF KALLRATH BASF AG, GVC/S (Scientific Computing), 0-67056 Ludwigshafen, Germany Dept. of Astronomy, Univ. of Florida, Gainesville, FL 32611 Kluwer Academic Publishers Boston/DordrechtiLondon Distributors for North, Central and South America: Kluwer Academic Publishers 101 Philip Drive Assinippi Park Norwell, Massachusetts 02061 USA Telephone (781) 871-6600 Fax (781) 871-6528 E-Mail <[email protected]> Distributors for all other countries: Kluwer Academic Publishers Group Post Office Box 322 3300 AlI Dordrecht, THE NETHERLANDS Telephone 31 78 6576 000 Fax 31 786576474 E-Mail <[email protected]> .t Electronic Services <http://www.wkap.nl> Library of Congress Cataloging-in-Publication Kallrath, Josef Modeling Languages in Mathematical Optimization ISBN-13: 978-1-4613-7945-4 e-ISBN-13:978-1-4613 -0215 - 5 DOl: 10.1007/978-1-4613-0215-5 Copyright © 2004 by Kluwer Academic Publishers Softcover reprint of the hardcover 1st edition 2004 All rights reserved. No part ofthis pUblication may be reproduced, stored in a retrieval system or transmitted in any form or by any means, electronic, mechanical, photo-copying, microfilming, recording, or otherwise, without the prior written permission ofthe publisher, with the exception of any material supplied specifically for the purpose of being entered and executed on a computer system, for exclusive use by the purchaser of the work. Permissions for books published in the USA: P"§.;r.m.i.§J?i..QD.§.@:w.k~p" ..,.g.Qm Permissions for books published in Europe: [email protected] Printed on acid-free paper.
    [Show full text]
  • Insight MFR By
    Manufacturers, Publishers and Suppliers by Product Category 11/6/2017 10/100 Hubs & Switches ASCEND COMMUNICATIONS CIS SECURE COMPUTING INC DIGIUM GEAR HEAD 1 TRIPPLITE ASUS Cisco Press D‐LINK SYSTEMS GEFEN 1VISION SOFTWARE ATEN TECHNOLOGY CISCO SYSTEMS DUALCOMM TECHNOLOGY, INC. GEIST 3COM ATLAS SOUND CLEAR CUBE DYCONN GEOVISION INC. 4XEM CORP. ATLONA CLEARSOUNDS DYNEX PRODUCTS GIGAFAST 8E6 TECHNOLOGIES ATTO TECHNOLOGY CNET TECHNOLOGY EATON GIGAMON SYSTEMS LLC AAXEON TECHNOLOGIES LLC. AUDIOCODES, INC. CODE GREEN NETWORKS E‐CORPORATEGIFTS.COM, INC. GLOBAL MARKETING ACCELL AUDIOVOX CODI INC EDGECORE GOLDENRAM ACCELLION AVAYA COMMAND COMMUNICATIONS EDITSHARE LLC GREAT BAY SOFTWARE INC. ACER AMERICA AVENVIEW CORP COMMUNICATION DEVICES INC. EMC GRIFFIN TECHNOLOGY ACTI CORPORATION AVOCENT COMNET ENDACE USA H3C Technology ADAPTEC AVOCENT‐EMERSON COMPELLENT ENGENIUS HALL RESEARCH ADC KENTROX AVTECH CORPORATION COMPREHENSIVE CABLE ENTERASYS NETWORKS HAVIS SHIELD ADC TELECOMMUNICATIONS AXIOM MEMORY COMPU‐CALL, INC EPIPHAN SYSTEMS HAWKING TECHNOLOGY ADDERTECHNOLOGY AXIS COMMUNICATIONS COMPUTER LAB EQUINOX SYSTEMS HERITAGE TRAVELWARE ADD‐ON COMPUTER PERIPHERALS AZIO CORPORATION COMPUTERLINKS ETHERNET DIRECT HEWLETT PACKARD ENTERPRISE ADDON STORE B & B ELECTRONICS COMTROL ETHERWAN HIKVISION DIGITAL TECHNOLOGY CO. LT ADESSO BELDEN CONNECTGEAR EVANS CONSOLES HITACHI ADTRAN BELKIN COMPONENTS CONNECTPRO EVGA.COM HITACHI DATA SYSTEMS ADVANTECH AUTOMATION CORP. BIDUL & CO CONSTANT TECHNOLOGIES INC Exablaze HOO TOO INC AEROHIVE NETWORKS BLACK BOX COOL GEAR EXACQ TECHNOLOGIES INC HP AJA VIDEO SYSTEMS BLACKMAGIC DESIGN USA CP TECHNOLOGIES EXFO INC HP INC ALCATEL BLADE NETWORK TECHNOLOGIES CPS EXTREME NETWORKS HUAWEI ALCATEL LUCENT BLONDER TONGUE LABORATORIES CREATIVE LABS EXTRON HUAWEI SYMANTEC TECHNOLOGIES ALLIED TELESIS BLUE COAT SYSTEMS CRESTRON ELECTRONICS F5 NETWORKS IBM ALLOY COMPUTER PRODUCTS LLC BOSCH SECURITY CTC UNION TECHNOLOGIES CO FELLOWES ICOMTECH INC ALTINEX, INC.
    [Show full text]
  • Introduction to the COIN-OR Optimization Suite
    The COIN-OR Optimization Suite: Algegraic Modeling Ted Ralphs COIN fORgery: Developing Open Source Tools for OR Institute for Mathematics and Its Applications, Minneapolis, MN T.K. Ralphs (Lehigh University) COIN-OR October 15, 2018 Outline 1 Introduction 2 Solver Studio 3 Traditional Modeling Environments 4 Python-Based Modeling 5 Comparative Case Studies T.K. Ralphs (Lehigh University) COIN-OR October 15, 2018 Outline 1 Introduction 2 Solver Studio 3 Traditional Modeling Environments 4 Python-Based Modeling 5 Comparative Case Studies T.K. Ralphs (Lehigh University) COIN-OR October 15, 2018 Algebraic Modeling Languages Generally speaking, we follow a four-step process in modeling. Develop an abstract model. Populate the model with data. Solve the model. Analyze the results. These four steps generally involve different pieces of software working in concert. For mathematical programs, the modeling is often done with an algebraic modeling system. Data can be obtained from a wide range of sources, including spreadsheets. Solution of the model is usually relegated to specialized software, depending on the type of model. T.K. Ralphs (Lehigh University) COIN-OR October 15, 2018 Modeling Software Most existing modeling software can be used with COIN solvers. Commercial Systems GAMS MPL AMPL AIMMS Python-based Open Source Modeling Languages and Interfaces Pyomo PuLP/Dippy CyLP (provides API-level interface) yaposib T.K. Ralphs (Lehigh University) COIN-OR October 15, 2018 Modeling Software (cont’d) Other Front Ends (mostly open source) FLOPC++ (algebraic modeling in C++) CMPL MathProg.jl (modeling language built in Julia) GMPL (open-source AMPL clone) ZMPL (stand-alone parser) SolverStudio (spreadsheet plug-in: www.OpenSolver.org) Open Office spreadsheet R (RSymphony Plug-in) Matlab (OPTI) Mathematica T.K.
    [Show full text]
  • The Future of Optimization Technology
    Constraints manuscript No. (will be inserted by the editor) The Future of Optimization Technology Maria Garcia de la Banda · Peter J. Stuckey · Pascal Van Hentenryck · Mark Wallace the date of receipt and acceptance should be inserted later Abstract Technology for combinatorial optimization is rapidly changing, and as the size and scope of problems that can be solved steadily increases, the complexity of the underlying technology is growing. We foresee a huge demand for both the simpli- fication of use of combinatorial optimization technology (so called \model and run" capabilities), as well as increasing need for the ability to quickly build complex hybrid solutions. These demands will place new emphasis on universal modeling languages and model transformation capabilities, as well as flexible and high level ways of speci- fying hybrid solutions. These changes put constraint programming in an ideal position since: constraint programming has the most high-level view of problems to begin with so we can ease modeling difficulties; and since constraint programmng is an integrative technology, we have already spent considerable effort in making different solving tech- nologies work together seamlessly. In this position paper we outline some of the key challenges and important research directions we foresee for optimization technology, 1 Introduction Optimization technology is increasingly pervasive in our society. It is used in many different applications, such as scheduling supply-chains, controlling our main infras- tructures, mitigating natural disasters, organizing transportation systems, discovering motifs in genetic material or patterns in social networks, and validating programs. This trend is likely to continue and intensify given the stress on our natural resources and the need to preserve our environment.
    [Show full text]
  • Optimal Control for Constrained Hybrid System Computational Libraries and Applications
    FINAL REPORT: FEUP2013.LTPAIVA.01 Optimal Control for Constrained Hybrid System Computational Libraries and Applications L.T. Paiva 1 1 Department of Electrical and Computer Engineering University of Porto, Faculty of Engineering - Rua Dr. Roberto Frias, s/n, 4200–465 Porto, Portugal ) [email protected] % 22 508 1450 February 28, 2013 Abstract This final report briefly describes the work carried out under the project PTDC/EEA- CRO/116014/2009 – “Optimal Control for Constrained Hybrid System”. The aim was to build and maintain a software platform to test an illustrate the use of the conceptual tools developed during the overall project: not only in academic examples but also in case studies in the areas of robotics, medicine and exploitation of renewable resources. The grand holder developed a critical hands–on knowledge of the available optimal control solvers as well as package based on non–linear programming solvers. 1 2 Contents 1 OC & NLP Interfaces 7 1.1 Introduction . .7 1.2 AMPL . .7 1.3 ACADO – Automatic Control And Dynamic Optimization . .8 1.4 BOCOP – The optimal control solver . .9 1.5 DIDO – Automatic Control And Dynamic Optimization . 10 1.6 ICLOCS – Imperial College London Optimal Control Software . 12 1.7 TACO – Toolkit for AMPL Control Optimization . 12 1.8 Pseudospectral Methods in Optimal Control . 13 2 NLP Solvers 17 2.1 Introduction . 17 2.2 IPOPT – Interior Point OPTimizer . 17 2.3 KNITRO . 25 2.4 WORHP – WORHP Optimises Really Huge Problems . 31 2.5 Other Commercial Packages . 33 3 Project webpage 35 4 Optimal Control Toolbox 37 5 Applications 39 5.1 Car–Like .
    [Show full text]