DOCSLIB.ORG

Program Guide and Book of Abstracts (Pdf)

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text

Load more

INTERNATIONAL CONFERENCE ON OPERATIONS RESEARCH Decision Analytics for the Digital Economy SEPTEMBER 06 – 08 with program updates Sept 05 www.or2017.de MAIN SPONSORS SPONSORS & EXHIBITORS ORGANIZERS & HOSTS 2 International Conference on Operations Research – Annual Conference of the German Operations Research Society DECISION ANALYTICS FOR THE DIGITAL ECONOMY TABLE OF CONTENTS Words of Welcome ............................................................................................................................................. i5 Conference History ............................................................................................................................................. i8 Streams & Stream Chairs ................................................................................................................................ i9 Boards of the Conference .............................................................................................................................. i10 Conference Venue & Practical Information ..................................................................................... i12 Map of Conference Venue .......................................................................................................................... i18 General Information ............................................................................................................................................ i24 Social Program ........................................................................................................................................................ i26 Pre-Conference Workshops …..................................................................................................................... i30 Schedule at a Glance ......................................................................................................................................... i34 Plenary Speakers .................................................................................................................................................. i36 Semi-Plenary Speakers ................................................................................................................................... i38 Satellites & Committee Meetings ........................................................................................................... i50 Detailed Technical Program ........................................................................................................................ 1 Stream Index .................................................................................................................................................... 108 Session Chair Index ..................................................................................................................................... 110 Author Index ...................................................................................................................................................... 117 Session Index ................................................................................................................................................... 152 i33 International Conference on Operations Research – Annual Conference of the German Operations Research Society DECISION ANALYTICS FOR THE DIGITAL ECONOMY The print of the book of abstracts was supported by Techniker Krankenkasse. Editorial work and layout: Charlotte Köhler, David Rößler i44 International Conference on Operations Research – Annual Conference of the German Operations Research Society DECISION ANALYTICS FOR THE DIGITAL ECONOMY Welcome to OR2017! More than 800 practitioners and academics from mathematics, computer science, economics, engineering, and related fields will participate at the International Conference on Operations Research at the Campus of Freie Universität Berlin. The conference motto “Decision Analytics for the Digital Economy” takes up the trends that are currently empowering the field more than ever before, opening up new areas of applications in industry and society, and giving rise to exciting scientific challenges. With 14 plenary and semi-plenary presentations of leading international scientists, more than 600 contributed presentations in 26 parallel streams, five pre-conference workshops, including two Hackathons, 18 exhibition stands, and 22 industrial sponsors, the conference provides ample opportunities to present and discuss the latest OR related developments from theoretical results and algorithmic progress to application-oriented case studies and hands-on training. The social program features three evening events for networking and relaxing, and four guided tours to interesting OR related spots in Berlin. Enjoy OR2017 to gain insights, get training in a workshop, participate in a hackathon, share your expertise with others, recruit your next employees, find your next job, or just meet old and make new friends in the intriguing fields of operations research, management science, data science, and analytics. Have a productive and joyful OR2017 in Berlin! Natalia Kliewer, Ralf Borndörfer, and Jan Ehmke Natalia Kliewer Ralf Borndörfer Jan Fabian Ehmke [email protected] [email protected] [email protected] i5 © B. B. © Wannenmacher Welcome to Freie Universität Berlin! Dear participants of OR2017, On behalf of Freie Universitat Berlin I would like to welcome you to the International Conference on Operations Research 2017! I am delighted to say that this is our second time of hosting this distinguished conference at Freie Universitat Berlin. The first conference, the 8th DGOR organized by Peter Stahlknecht, was held in 1978 with 400 participants, featuring 125 talks which – a novelty at the time – were organized into parallel streams in order to provide more time for presentation and discussion. Certainly, many things have changed within the last 40 years. In 1978, to "utilize data availability" was the second case Eberhard Elsasser made in his opening speech adding that "...new methods of data acquisition and storage” would “open a new dimension of data availability”. Yet, he probably could not have imagined the vast potential – but also the risks – of what we call analytics today. The special focus of this years conference lies on the topic “Decision Analytics for the Digital Economy”. Tremendous progress has been and is still achieved in classical application areas of decision analytics such as manufacturing, logistics, transportation, finance, and engineering. In other areas, for example in medicine, life sciences, humanities, and social sciences new application uses are emerging. Freie Universität Berlin encourages these developments, ranging from fundamental research to the support of seed-stage companies. We are proud to be part of initiatives such as the Einstein Center for Mathematics, the Einstein Center Digital Future, the Research Campus MODAL, and the new Business and Innovation Center. We are aware that shaping the digital future will only succeed in form of a joint effort. In that sense, the OR2017 conference, organized by the School of Business and Economics, the Department of Information Systems and the Department of Mathematics and Computer Science of Freie Universität Berlin, as well as its participants with their interdisciplinary background, are prime examples of the notion of coming together to shape the future. Dear participants, I wish you all a successful, productive, and enjoyable conference! Sincerely, Univ.-Prof. Dr. Peter-André Alt (President of Freie Universitat Berlin) i6 International Conference on Operations Research – Annual Conference of the German Operations Research Society DECISION ANALYTICS FOR THE DIGITAL ECONOMY © © Knoll Michael Müller/Susi Welcome to Berlin! Dear Participants in the OR2017 Conference, Welcome to Berlin for this prestigious scientific conference in the field of operations research! We are delighted that so many international experts from all over the world have come to Germany’s capital city to discuss and exchange expertise on this year’s special focus “Decision Analytics for the Digital Economy.” You are meeting in a city that is well on the way to becoming a high-tech capital. That goes hand in hand with our ambition to make greater use of the opportunities digitalization offers. Berlin has enormous potential in this area, thanks to a concentration of scientific and academic institutions that is unique in Europe, the digital economy’s countless startups, and the growing number of established industrial companies working in close concert with universities and the startup scene. As a result, I am confident that Berlin is the ideal setting for an inspiring conference in your field. In addition, the city itself provides inspiration with its wealth of cultural offerings. Anyone attending a conference in Berlin should take advantage of the opportunity to visit one of our many museums, theaters, or concert halls. Another good idea would be to take a stroll through one of our trendy neighborhoods and enjoy the relaxed attitude towards life of our vibrant metropolis. With all this in mind, I would like to welcome you to Berlin once again and wish you a productive conference and a very pleasant stay that you will long remember. My thanks go to the German Operations Research Society and the Department of Information Systems in the School of Business & Economics at Freie Universität Berlin for hosting and organizing this important conference. Sincerely, Michael
Recommended publications
  • An Algorithm Based on Semidefinite Programming for Finding Minimax

    An Algorithm Based on Semidefinite Programming for Finding Minimax

    Takustr. 7 Zuse Institute Berlin 14195 Berlin Germany BELMIRO P.M. DUARTE,GUILLAUME SAGNOL,WENG KEE WONG An algorithm based on Semidefinite Programming for finding minimax optimal designs ZIB Report 18-01 (December 2017) Zuse Institute Berlin Takustr. 7 14195 Berlin Germany Telephone: +49 30-84185-0 Telefax: +49 30-84185-125 E-mail: [email protected] URL: http://www.zib.de ZIB-Report (Print) ISSN 1438-0064 ZIB-Report (Internet) ISSN 2192-7782 An algorithm based on Semidefinite Programming for finding minimax optimal designs Belmiro P.M. Duarte a,b, Guillaume Sagnolc, Weng Kee Wongd aPolytechnic Institute of Coimbra, ISEC, Department of Chemical and Biological Engineering, Portugal. bCIEPQPF, Department of Chemical Engineering, University of Coimbra, Portugal. cTechnische Universität Berlin, Institut für Mathematik, Germany. dDepartment of Biostatistics, Fielding School of Public Health, UCLA, U.S.A. Abstract An algorithm based on a delayed constraint generation method for solving semi- infinite programs for constructing minimax optimal designs for nonlinear models is proposed. The outer optimization level of the minimax optimization problem is solved using a semidefinite programming based approach that requires the de- sign space be discretized. A nonlinear programming solver is then used to solve the inner program to determine the combination of the parameters that yields the worst-case value of the design criterion. The proposed algorithm is applied to find minimax optimal designs for the logistic model, the flexible 4-parameter Hill homoscedastic model and the general nth order consecutive reaction model, and shows that it (i) produces designs that compare well with minimax D−optimal de- signs obtained from semi-infinite programming method in the literature; (ii) can be applied to semidefinite representable optimality criteria, that include the com- mon A−; E−; G−; I− and D-optimality criteria; (iii) can tackle design problems with arbitrary linear constraints on the weights; and (iv) is fast and relatively easy to use.
  • Solving Mixed Integer Linear and Nonlinear Problems Using the SCIP Optimization Suite

    Solving Mixed Integer Linear and Nonlinear Problems Using the SCIP Optimization Suite

    Takustraße 7 Konrad-Zuse-Zentrum D-14195 Berlin-Dahlem fur¨ Informationstechnik Berlin Germany TIMO BERTHOLD GERALD GAMRATH AMBROS M. GLEIXNER STEFAN HEINZ THORSTEN KOCH YUJI SHINANO Solving mixed integer linear and nonlinear problems using the SCIP Optimization Suite Supported by the DFG Research Center MATHEON Mathematics for key technologies in Berlin. ZIB-Report 12-27 (July 2012) Herausgegeben vom Konrad-Zuse-Zentrum f¨urInformationstechnik Berlin Takustraße 7 D-14195 Berlin-Dahlem Telefon: 030-84185-0 Telefax: 030-84185-125 e-mail: [email protected] URL: http://www.zib.de ZIB-Report (Print) ISSN 1438-0064 ZIB-Report (Internet) ISSN 2192-7782 Solving mixed integer linear and nonlinear problems using the SCIP Optimization Suite∗ Timo Berthold Gerald Gamrath Ambros M. Gleixner Stefan Heinz Thorsten Koch Yuji Shinano Zuse Institute Berlin, Takustr. 7, 14195 Berlin, Germany, fberthold,gamrath,gleixner,heinz,koch,[email protected] July 31, 2012 Abstract This paper introduces the SCIP Optimization Suite and discusses the ca- pabilities of its three components: the modeling language Zimpl, the linear programming solver SoPlex, and the constraint integer programming frame- work SCIP. We explain how these can be used in concert to model and solve challenging mixed integer linear and nonlinear optimization problems. SCIP is currently one of the fastest non-commercial MIP and MINLP solvers. We demonstrate the usage of Zimpl, SCIP, and SoPlex by selected examples, give an overview of available interfaces, and outline plans for future development. ∗A Japanese translation of this paper will be published in the Proceedings of the 24th RAMP Symposium held at Tohoku University, Miyagi, Japan, 27{28 September 2012, see http://orsj.or.
  • Linear Underestimators for Bivariate Functions with a Fixed Convexity Behavior

    Linear Underestimators for Bivariate Functions with a Fixed Convexity Behavior

    Takustraße 7 Konrad-Zuse-Zentrum D-14195 Berlin-Dahlem fur¨ Informationstechnik Berlin Germany MARTIN BALLERSTEINy AND DENNIS MICHAELSz AND STEFAN VIGERSKE Linear Underestimators for bivariate functions with a fixed convexity behavior This work is part of the Collaborative Research Centre “Integrated Chemical Processes in Liquid Multiphase Systems” (CRC/Transregio 63 “InPROMPT”) funded by the German Research Foundation (DFG). Main parts of this work has been finished while the second author was at the Institute for Operations Research at ETH Zurich and financially supported by DFG through CRC/Transregio 63. The first and second author thank the DFG for its financial support. Thethirdauthor was supported by the DFG Research Center MATHEON Mathematics for key technologies and the Research Campus MODAL Mathematical Optimization and Data Analysis Laboratories in Berlin. y Eidgenossische¨ Technische, Hochschule Zurich,¨ Institut fur¨ Operations Research, Ramistrasse¨ 101, 8092 Zurich (Switzerland) z Technische Universitat¨ Dortmund, Fakultat¨ fur¨ Mathematik, M/518, Vogelpothsweg 87, 44227 Dortmund (Germany) ZIB-Report 13-02 (revised) (February 2015) Herausgegeben vom Konrad-Zuse-Zentrum fur¨ Informationstechnik Berlin Takustraße 7 D-14195 Berlin-Dahlem Telefon: 030-84185-0 Telefax: 030-84185-125 e-mail: [email protected] URL: http://www.zib.de ZIB-Report (Print) ISSN 1438-0064 ZIB-Report (Internet) ISSN 2192-7782 Technical Report Linear Underestimators for bivariate functions with a fixed convexity behavior∗ A documentation for the SCIP constraint handler cons bivariate Martin Ballersteiny Dennis Michaelsz Stefan Vigerskex February 23, 2015 y Eidgenossische¨ Technische Hochschule Zurich¨ Institut fur¨ Operations Research Ramistrasse¨ 101, 8092 Zurich (Switzerland) z Technische Universitat¨ Dortmund Fakultat¨ fur¨ Mathematik, M/518 Vogelpothsweg 87, 44227 Dortmund (Germany) x Zuse Institute Berlin Takustr.
  • Nonlinear Programming Techniques for Operative Planning in Large Drinking Water Networks Jens Burgschweiger1, Bernd Gnädig2 and Marc C

    Nonlinear Programming Techniques for Operative Planning in Large Drinking Water Networks Jens Burgschweiger1, Bernd Gnädig2 and Marc C

    14 The Open Applied Mathematics Journal, 2009, 3, 14-28 Open Access Nonlinear Programming Techniques for Operative Planning in Large Drinking Water Networks Jens Burgschweiger1, Bernd Gnädig2 and Marc C. Steinbach3,* 1Berliner Wasserbetriebe, Abt. NA-G/W, 10864 Berlin, Germany 2Düsseldorf, Germany 3Leibniz Universität Hannover, IfAM, Welfengarten 1, 30167 Hannover, Germany Abstract: Mathematical decision support for operative planning in water supply systems is highly desirable; it leads, however, to very difficult optimization problems. We propose a nonlinear programming approach that yields practically satisfactory operating schedules in acceptable computing time even for large networks. Based on a carefully designed model supporting gradient-based optimization algorithms, this approach employs a special initialization strategy for convergence acceleration, special minimum up and down time constraints together with pump aggregation to handle switching decisions, and several network reduction techniques for further speed-up. Results for selected application scenarios at Berliner Wasserbetriebe demonstrate the success of the approach. Keywords: Water supply, large-scale nonlinear programming, convergence acceleration, discrete decisions, network reduction. INTRODUCTION • experiments with various optimization models and methods [36, 37], Stringent requirements on cost effectiveness and environmental compatibility generate an increased demand • a first nonlinear programming (NLP) model for model-based decision support tools for designing and developed under GAMS [38], operating municipal water supply systems. This paper deals • numerical results for a substantially reduced with the minimum cost operation of drinking water network graph using (under GAMS) the SQP codes networks. Operative planning in water networks is difficult: CONOPT, SNOPT, and the augmented Lagrangian a sound mathematical model leads to nonlinear mixed- code MINOS.
  • 54 OP08 Abstracts

    54 OP08 Abstracts

    54 OP08 Abstracts CP1 Dept. of Mathematics Improving Ultimate Convergence of An Aug- [email protected] mented Lagrangian Method Optimization methods that employ the classical Powell- CP1 Hestenes-Rockafellar Augmented Lagrangian are useful A Second-Derivative SQP Method for Noncon- tools for solving Nonlinear Programming problems. Their vex Optimization Problems with Inequality Con- reputation decreased in the last ten years due to the com- straints parative success of Interior-Point Newtonian algorithms, which are asymptotically faster. In the present research We consider a second-derivative 1 sequential quadratic a combination of both approaches is evaluated. The idea programming trust-region method for large-scale nonlin- is to produce a competitive method, being more robust ear non-convex optimization problems with inequality con- and efficient than its ”pure” counterparts for critical prob- straints. Trial steps are composed of two components; a lems. Moreover, an additional hybrid algorithm is defined, Cauchy globalization step and an SQP correction step. A in which the Interior Point method is replaced by the New- single linear artificial constraint is incorporated that en- tonian resolution of a KKT system identified by the Aug- sures non-accent in the SQP correction step, thus ”guiding” mented Lagrangian algorithm. the algorithm through areas of indefiniteness. A salient feature of our approach is feasibility of all subproblems. Ernesto G. Birgin IME-USP Daniel Robinson Department of Computer Science Oxford University [email protected]
  • Using SCIP to Solve Your Favorite Integer Optimization Problem

    Using SCIP to Solve Your Favorite Integer Optimization Problem

    Using SCIP to Solve Your Favorite Integer Optimization Problem Gregor Hendel, [email protected], www.zib.de/hendel Monash University, Melbourne March 12, 2019 Gregor Hendel{ Using SCIP 1/78 Zuse Institute Berlin { Fast Algorithms, Fast Computers A research institute and computing center of the State of Berlin with research units: • Numerical Analysis and Modeling • Visualization and Data Analysis • Optimization: Energy { Transportation { Health { Mathematical Optimization Methods • Scientific Information Systems • Computer Science and High Performance Computing Gregor Hendel{ Using SCIP 2/78 What is SCIP? SCIP (Solving Constraint Integer Programs) . • provides a full-scale MIP and MINLP solver, • is constraint based, • incorporates • MIP features (cutting planes, LP relaxation), and • MINLP features (spatial branch-and-bound, OBBT) • CP features (domain propagation), • SAT-solving features (conflict analysis, restarts), • is a branch-cut-and-price framework, • has a modular structure via plugins, • is free for academic purposes, • and is available in source-code under http://scip.zib.de ! Gregor Hendel{ Using SCIP 3/78 Meet the SCIP Team 31 active developers • 7 running Bachelor and Master projects • 16 running PhD projects • 8 postdocs and professors 4 development centers in Germany • ZIB: SCIP, SoPlex, UG, ZIMPL • TU Darmstadt: SCIP and SCIP-SDP • FAU Erlangen-N¨urnberg: SCIP • RWTH Aachen: GCG Many international contributors and users • more than 10 000 downloads per year from 100+ countries Careers • 10 awards for Masters and PhD theses:
  • Treball (1.484Mb)

    Treball (1.484Mb)

    Treball Final de Màster MÀSTER EN ENGINYERIA INFORMÀTICA Escola Politècnica Superior Universitat de Lleida Mòdul d’Optimització per a Recursos del Transport Adrià Vall-llaura Salas Tutors: Antonio Llubes, Josep Lluís Lérida Data: Juny 2017 Pròleg Aquest projecte s’ha desenvolupat per donar solució a un problema de l’ordre del dia d’una empresa de transports. Es basa en el disseny i implementació d’un model matemàtic que ha de permetre optimitzar i automatitzar el sistema de planificació de viatges de l’empresa. Per tal de poder implementar l’algoritme s’han hagut de crear diversos mòduls que extreuen les dades del sistema ERP, les tracten, les envien a un servei web (REST) i aquest retorna un emparellament òptim entre els vehicles de l’empresa i les ordres dels clients. La primera fase del projecte, la teòrica, ha estat llarga en comparació amb les altres. En aquesta fase s’ha estudiat l’estat de l’art en la matèria i s’han repassat molts dels models més importants relacionats amb el transport per comprendre’n les seves particularitats. Amb els conceptes ben estudiats, s’ha procedit a desenvolupar un nou model matemàtic adaptat a les necessitats de la lògica de negoci de l’empresa de transports objecte d’aquest treball. Posteriorment s’ha passat a la fase d’implementació dels mòduls. En aquesta fase m’he trobat amb diferents limitacions tecnològiques degudes a l’antiguitat de l’ERP i a l’ús del sistema operatiu Windows. També han sorgit diferents problemes de rendiment que m’han fet redissenyar l’extracció de dades de l’ERP, el càlcul de distàncies i el mòdul d’optimització.
  • The SCIP Optimization Suite

    The SCIP Optimization Suite

    The SCIP Optimization Suite Gerald Gamrath Zuse Institute Berlin EWO Seminar February 13, 2015 Gerald Gamrath (ZIB): The SCIP Optimization Suite 1 ZIB: Fast Algorithms – Fast Computers Konrad-Zuse-Zentrum für Informationstechnik Berlin I non-university research institute and computing center of the state of Berlin I Research Units: I numerical analysis and modeling I visualization and data analysis I optimization: energy–traffic–telecommunication–linear and nonlinear IP I scientific information systems I distributed algorithms and supercomputing I President: Martin Grötschel I more information: http://www.zib.de Gerald Gamrath (ZIB): The SCIP Optimization Suite 2 ZIB: Fast Algorithms – Fast Computers Konrad-Zuse-Zentrum für Informationstechnik Berlin I non-university research institute and computing center of the state of Berlin I Research Units: I numerical analysis and modeling I visualization and data analysis I optimization: energy–traffic–telecommunication–linear and nonlinear IP I scientific information systems I distributed algorithms and supercomputing I President: Martin Grötschel I more information: http://www.zib.de Gerald Gamrath (ZIB): The SCIP Optimization Suite 2 Outline SCIP –SolvingConstraintIntegerPrograms Constraint Integer Programming Solving Constraint Integer Programs History and Applications http://scip.zib.de Gerald Gamrath (ZIB): The SCIP Optimization Suite 3 What is a Constraint Integer Program? Mixed Integer Program Constraint Program Objective function: Objective function: . linear function . arbitrary function Feasible set: Feasible set: . described by linear constraints . given by arbitrary constraints Variable domains: Variable domains: . real or integer values . arbitrary (usually finite) min cT x min c(x) s.t. Ax ≤ b s.t. x ∈ F I C I (xI , xC ) ∈ Z × R (xI , xN ) ∈ Z × X Gerald Gamrath (ZIB): The SCIP Optimization Suite 4 What is a Constraint Integer Program? Constraint Integer Program Objective function: .
  • Computational Aspects of Infeasibility Analysis in Mixed Integer Programming

    Computational Aspects of Infeasibility Analysis in Mixed Integer Programming

    Takustr. 7 Zuse Institute Berlin 14195 Berlin Germany JAKOB WITZIG TIMO BERTHOLD STEFAN HEINZ Computational Aspects of Infeasibility Analysis in Mixed Integer Programming ZIB Report 19-54 (November 2019) Zuse Institute Berlin Takustr. 7 14195 Berlin Germany Telephone: +49 30-84185-0 Telefax: +49 30-84185-125 E-mail: [email protected] URL: http://www.zib.de ZIB-Report (Print) ISSN 1438-0064 ZIB-Report (Internet) ISSN 2192-7782 Computational Aspects of Infeasibility Analysis in Mixed Integer Programming Jakob Witzig,1 Timo Berthold,2 and Stefan Heinz3 1Zuse Institute Berlin, Takustr. 7, 14195 Berlin, Germany [email protected] 2Fair Isaac Germany GmbH, Stubenwald-Allee 19, 64625 Bensheim, Germany [email protected] 3Gurobi GmbH, Ulmenstr. 37–39, 60325 Frankfurt am Main, Germany [email protected] November 6, 2019 Abstract The analysis of infeasible subproblems plays an important role in solv- ing mixed integer programs (MIPs) and is implemented in most major MIP solvers. There are two fundamentally different concepts to gener- ate valid global constraints from infeasible subproblems. The first is to analyze the sequence of implications, obtained by domain propagation, that led to infeasibility. The result of this analysis is one or more sets of contradicting variable bounds from which so-called conflict constraints can be generated. This concept is called conflict graph analysis and has its origin in solving satisfiability problems and is similarly used in con- straint programming. The second concept is to analyze infeasible linear programming (LP) relaxations. Every ray of the dual LP provides a set of multipliers that can be used to generate a single new globally valid linear constraint.
  • Classical Benders Decomposition (KC203) Cluster: CPAIOR Chair: Jean-François Cordeau, HEC Montreal

    Classical Benders Decomposition (KC203) Cluster: CPAIOR Chair: Jean-François Cordeau, HEC Montreal

    Sunday, May 29, 2016 9:00am - 10:00am Session: Classical Benders Decomposition (KC203) Cluster: CPAIOR Chair: Jean-François Cordeau, HEC Montreal Classical Benders Decomposition Jean-François Cordeau, HEC Montréal, [email protected] Benders decomposition is a mathematical decomposition technique designed to solve large- scale linear and mixed-integer programs comprising two sets of variables such that a more tractable subproblem is obtained when the values of some "complicating" variables are fixed. The technique works by projecting the original problem on the space of the complicating variables, and by using a cutting plane method where cuts are generated by solving the subproblem. The purpose of this masterclass is to introduce the basic Benders decomposition methodology, to present several computational refinements that have shown to improve performance, and to discuss some recent developments. ______________________________________________________________________________ 10:15am - 11:15am Session: Logic-Based Benders Decomposition (KC203) Cluster: CPAIOR Chair: John Hooker, Carnegie Mellon University Logic-Based Benders Decomposition John Hooker, Carnegie Mellon University, [email protected] This is a tutorial on logic-based Benders decomposition, which generalizes the classical Benders method so as to accommodate an arbitrary subproblem rather than only a linear or continuous nonlinear programming problem. This allows one to apply Benders profitably to any problem that simplifies or decouples when certain variables are
  • OPTIMAL CONTROL of NONHOLONOMIC MECHANICAL SYSTEMS By

    OPTIMAL CONTROL of NONHOLONOMIC MECHANICAL SYSTEMS By

    OPTIMAL CONTROL OF NONHOLONOMIC MECHANICAL SYSTEMS by Stuart Marcus Rogers A thesis submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Applied Mathematics Department of Mathematical and Statistical Sciences University of Alberta ⃝c Stuart Marcus Rogers, 2017 Abstract This thesis investigates the optimal control of two nonholonomic mechanical systems, Suslov's problem and the rolling ball. Suslov's problem is a nonholonomic variation of the classical rotating free rigid body problem, in which the body angular velocity Ω(t) must always be orthogonal to a prescribed, time-varying body frame vector ξ(t), i.e. hΩ(t); ξ(t)i = 0. The motion of the rigid body in Suslov's problem is actuated via ξ(t), while the motion of the rolling ball is actuated via internal point masses that move along rails fixed within the ball. First, by applying Lagrange-d'Alembert's principle with Euler-Poincar´e'smethod, the uncontrolled equations of motion are derived. Then, by applying Pontryagin's minimum principle, the controlled equations of motion are derived, a solution of which obeys the uncontrolled equations of motion, satisfies prescribed initial and final conditions, and minimizes a prescribed performance index. Finally, the controlled equations of motion are solved numerically by a continuation method, starting from an initial solution obtained analytically (in the case of Suslov's problem) or via a direct method (in the case of the rolling ball). ii Preface This thesis contains material that has appeared in a pair of papers, one on Suslov's problem and the other on rolling ball robots, co-authored with my supervisor, Vakhtang Putkaradze.
  • Clean Sky – Awacs Final Report

    Clean Sky – Awacs Final Report

    Clean Sky Joint Undertaking AWACs – Adaptation of WORHP to Avionics Constraints Clean Sky – AWACs Final Report Table of Contents 1 Executive Summary ......................................................................................................................... 2 2 Summary Description of Project Context and Objectives ............................................................... 3 3 Description of the main S&T results/foregrounds .......................................................................... 5 3.1 Analysis of Optimisation Environment .................................................................................... 5 3.1.1 Problem sparsity .............................................................................................................. 6 3.1.2 Certification aspects ........................................................................................................ 6 3.2 New solver interfaces .............................................................................................................. 6 3.3 Conservative iteration mode ................................................................................................... 6 3.4 Robustness to erroneous inputs ............................................................................................. 7 3.5 Direct multiple shooting .......................................................................................................... 7 3.6 Grid refinement ......................................................................................................................