Airtime-Based Resource Allocation Modeling for Network Slicing in IEEE 802.11 Rans P

Total Page:16

File Type:pdf, Size:1020Kb

Airtime-Based Resource Allocation Modeling for Network Slicing in IEEE 802.11 Rans P This article has been accepted for publication in a future issue of this journal, but has not been fully edited. Content may change prior to final publication. Citation information: DOI 10.1109/LCOMM.2020.2977906, IEEE Communications Letters JOURNAL OF LATEX CLASS FILES, VOL. 14, NO. 8, AUGUST 2015 1 Airtime-based Resource Allocation Modeling for Network Slicing in IEEE 802.11 RANs P. H. Isolani, N. Cardona, C. Donato, G. A. Perez,´ J. M. Marquez-Barja, L. Z. Granville, and S. Latre´ Abstract—In this letter, we propose an airtime-based Resource Nowadays, advanced 5G services and applications have Allocation (RA) model for network slicing in IEEE 802.11 stringent Quality of Service (QoS) requirements, which make Radio Access Networks (RANs). We formulate this problem as a the RA problem even more complex. To cope with dynamic Quadratically Constrained Quadratic Program (QCQP), where the overall queueing delay of the system is minimized while and unstable wireless environments and to meet QoS re- strict Ultra-Reliable Low Latency Communication (URLLC) quirements, network slices might be instantiated, modified, constraints are respected. We evaluated our model using three and terminated at runtime. Therefore, such slices have to different solvers where the optimal and feasible sets of airtime be properly and dynamically managed. To the best of our configurations were computed. We also validated our model with knowledge, this is the first work to exploit the flexibility of experimentation in real hardware. Our results show that the solution time for computing optimal and feasible configurations slice airtime allocation considering the IEEE 802.11 RAN re- vary according to the slice’s demand distribution and the number source availability and the stringent latency Key Performance of slices to be allocated. Our findings support the need for Indicator (KPI) related to URLLC. We use a scheduling policy precise RA over IEEE 802.11 RANs and present the limitations able to assign different airtime configurations to each slice, of performing such optimizations at runtime. named Airtime Deficit Weighted Round Robin (ADWRR) [5]. Index Terms—Resource Allocation, Network Slicing, Quality Thus, each slice can be configured according to their priority. of Service (QoS), URLLC, IEEE 802.11 RANs. In this letter, we focus on an RA model that optimizes the overall queueing delay of the system while QoS constraints I. INTRODUCTION are respected. Given that flows are distributed among slices HE fifth generation of mobile networks (5G) aims to that, in this case, represent abstractions of queues, we model T enable applications to run with lower latency, more reli- this problem using concepts of Queuing Theory. For that, ability, massive connectivity, and improved energy efficiency. we propose a Quadratically Constrained Quadratic Program The ITU Radiocommunication Sector (ITU-R) has defined (QCQP). We evaluated our model using Advanced Process three main uses for 5G: Enhanced Mobile Broadband (eMBB), OPTimizer (APOPT), Interior Point OPTimizer (IPOPT), and Ultra-Reliable Low Latency Communication (URLLC), and Z3 [6] solvers. We then validated our model with experi- Massive Machine Type Communications (mMTC); these are mentation in real hardware. Our results show that runtime envisioned to be deployed in the coming years. Among the optimization is limited by the demand distribution and the stringent requirements, low latency is seen as crucial and number of slices to be allocated. Our findings support the URLLC as the key enabler in this new age of connectivity. need for precise RA over IEEE 802.11 RANs and present Network slices, besides operating independently from one the limitations of performing such optimizations at runtime. another, provide networking resource and traffic isolation among users and services [1]. In the literature, many proposals II. IEEE RAN-RA PROBLEM FORMULATION focus on network slicing for IEEE 802.11 networks [2]. Network slicing is being used to address the Resource Allo- The IEEE 802.11 RAN consists of a set Access Points (APs) cation (RA) problem in IEEE 802.11 Radio Access Networks responsible to deliver data from different services to several (RANs), providing the required bandwidth and allocating users in the network, i.e., Stations (STAs). Each AP has re- resources accordingly [3]–[5]. However, in addition to the sources to be shared and therefore has to be properly managed. required bandwidth, End-to-End (E2E) latency and reliability Multiple tenants (i.e., virtual operators or service providers) should be considered as well. Moreover, deciding how to share from the same infrastructure and have their specific efficiently manage slice resources is still an open issue. Service Level Agreements (SLAs). These SLAs are translated into QoS requirements that the network has to support (e.g., P. H. Isolani, C. Donato, and S. Latre´ are with the IDLab, Department of minimum throughput, maximum allowed E2E latency, and Computer Science, University of Antwerp - imec, Antwerp, Belgium (e-mail: fpedro.isolani, carlos.donato, [email protected]). acceptable packet loss ratio). To meet such requirements, we N. Cardona and J. M. Marquez-Barja are with the IDLab, Department of propose the use of network slicing. According to Richart et Applied Engineering, University of Antwerp - imec, Antwerp, Belgium (e- al. [3], there are two variants of network slicing. The first mail: fnelson.cardona-cardenas, [email protected]) N. Cardona is also with Smart Networks and Services, Fondazione Bruno abstracts the different services and ensures QoS within them, Kessler Via Sommarive 18, 38123, Trento, Italy (e-mail: [email protected]). which is referred to as Quality of Service Slicing (QoSS). G. A. Perez´ is with the FOTS lab, Department of Computer Science, Uni- The second defines slices as the traditional idea of network versity of Antwerp, Belgium (e-mail: [email protected]) L. Z. Granville is with the Computer Networks Group, Federal University virtualization, where a precise subset of network resources is of Rio Grande do Sul, Brazil (e-mail: [email protected]). allocated to each tenant and full control is provided, which 1089-7798 (c) 2019 IEEE. Personal use is permitted, but republication/redistribution requires IEEE permission. See http://www.ieee.org/publications_standards/publications/rights/index.html for more information. Authorized licensed use limited to: Universiteit Antwerpen. Downloaded on March 03,2020 at 07:39:09 UTC from IEEE Xplore. Restrictions apply. This article has been accepted for publication in a future issue of this journal, but has not been fully edited. Content may change prior to final publication. Citation information: DOI 10.1109/LCOMM.2020.2977906, IEEE Communications Letters JOURNAL OF LATEX CLASS FILES, VOL. 14, NO. 8, AUGUST 2015 2 Network Services transmitting a frame and receiving the WiFi Acknowledgment Access Point 1 Traffic Rule Classifier (ACK) using the MCS RBEST. Note that Shortest Interframe Resource Block 1 Hypervisor Spacing (SIFS), DCF Interframe Spacing (DIFS), and the time RB2 Enqueuing Slice 1 Slice 1 Slice N for receiving the Acknowledgement TACK are considered. Given that network flows are distributed among slices and STA 1 STA 2 STA N STA 1 STA 2 STA N … … … …… slices represent abstractions of queues, we model this problem Buffering using Queuing Theory. Besides, since such flows’ arrivals are User Scheduler (Round-robin) User Scheduler (Round-robin) independent of one another and the traffic pattern is random, Slice Scheduler (ADWRR) we consider that flows’ arrivals follow a Poisson distribution. Scheduling To hardware queues Nonetheless, we acknowledge the inability to capture traffic burstiness in which characterizes some data traffic patterns. Fig. 1. Simplified slice queue structure along with the data traffic flow. However, our focus is to find the optimal assignment of Qs and validate it through real hardware experimentation. is called Infrastructure Sharing Slicing (ISS). As we focus on B. Mathematical Model QoS within a slice as being a service, we use the QoSS variant. The described network slicing RA problem can be ap- A. Problem Statement & Assumptions proached through optimization techniques. In this section, we present a QCQP approach for constraints. Since slices repre- To represent the minimum chunk of wireless resources sent queues and flow’s arrivals follow a Poisson distribution that can be assigned to a user, we use the Resource Block with exponential services, in Kendall’s notation, our model abstraction from Riggio et al. [7]. This abstraction defines a can be represented as sets of M/M/1. Given n services to WiFi interface at a given AP, identified by the network inter- be delivered by a resource block b, n slices are instantiated. face identifier (e.g., Medium Access Control (MAC) address), For each slice s in the set of slices Sb of a resource block operating channel (e.g., 1, 6, 11), and the type of channel (e.g., b, the maximum dequeuing rate µb , the dequeuing rate High Throughput (HT) 20MHz, Very High Throughput (VHT) MAX λs, the frame size FRMs , and the airtime As used for its 40MHz). Therefore, each resource block has its transmission size transmissions are provided. With such an input, the average capabilities, e.g., maximum dequeuing rate µb . MAX queueing delay W s of each slice can be calculated and the For each resource block, frames are first classified into the maximum average queueing delay W s can be ensured. different queues as slices, based on the definition of traffic QoS Besides respecting the service delivery rate and queueing delay rules (e.g., OpenFlow rules). Figure 1 depicts a simplified constraints, we aim to find the optimal assignment of Qs that queue structure along with the data traffic flow within a single minimizes the overall queueing delay. Therefore, AP. Thereafter, frames belonging to such slices/queues are X X dequeued following the ADWRR scheduling scheme [5]. With Minimize W s; (2) such a scheduling scheme, different portions of airtime, a.k.a., b2B s2Sb quantums, are allocated to each slice s in each transmission subject to the following set of constraints: round, denoted Qs.
Recommended publications
  • Click to Edit Master Title Style
    Click to edit Master title style MINLP with Combined Interior Point and Active Set Methods Jose L. Mojica Adam D. Lewis John D. Hedengren Brigham Young University INFORM 2013, Minneapolis, MN Presentation Overview NLP Benchmarking Hock-Schittkowski Dynamic optimization Biological models Combining Interior Point and Active Set MINLP Benchmarking MacMINLP MINLP Model Predictive Control Chiller Thermal Energy Storage Unmanned Aerial Systems Future Developments Oct 9, 2013 APMonitor.com APOPT.com Brigham Young University Overview of Benchmark Testing NLP Benchmark Testing 1 1 2 3 3 min J (x, y,u) APOPT , BPOPT , IPOPT , SNOPT , MINOS x Problem characteristics: s.t. 0 f , x, y,u t Hock Schittkowski, Dynamic Opt, SBML 0 g(x, y,u) Nonlinear Programming (NLP) Differential Algebraic Equations (DAEs) 0 h(x, y,u) n m APMonitor Modeling Language x, y u MINLP Benchmark Testing min J (x, y,u, z) 1 1 2 APOPT , BPOPT , BONMIN x s.t. 0 f , x, y,u, z Problem characteristics: t MacMINLP, Industrial Test Set 0 g(x, y,u, z) Mixed Integer Nonlinear Programming (MINLP) 0 h(x, y,u, z) Mixed Integer Differential Algebraic Equations (MIDAEs) x, y n u m z m APMonitor & AMPL Modeling Language 1–APS, LLC 2–EPL, 3–SBS, Inc. Oct 9, 2013 APMonitor.com APOPT.com Brigham Young University NLP Benchmark – Summary (494) 100 90 80 APOPT+BPOPT APOPT 70 1.0 BPOPT 1.0 60 IPOPT 3.10 IPOPT 50 2.3 SNOPT Percentage (%) 6.1 40 Benchmark Results MINOS 494 Problems 5.5 30 20 10 0 0.5 1 1.5 2 2.5 3 3.5 4 4.5 5 Not worse than 2 times slower than
    [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]
  • 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ó.
    [Show full text]
  • GEKKO Documentation Release 1.0.1
    GEKKO Documentation Release 1.0.1 Logan Beal, John Hedengren Aug 31, 2021 Contents 1 Overview 1 2 Installation 3 3 Project Support 5 4 Citing GEKKO 7 5 Contents 9 6 Overview of GEKKO 89 Index 91 i ii CHAPTER 1 Overview GEKKO is a Python package for machine learning and optimization of mixed-integer and differential algebraic equa- tions. It is coupled with large-scale solvers for linear, quadratic, nonlinear, and mixed integer programming (LP, QP, NLP, MILP, MINLP). Modes of operation include parameter regression, data reconciliation, real-time optimization, dynamic simulation, and nonlinear predictive control. GEKKO is an object-oriented Python library to facilitate local execution of APMonitor. More of the backend details are available at What does GEKKO do? and in the GEKKO Journal Article. Example applications are available to get started with GEKKO. 1 GEKKO Documentation, Release 1.0.1 2 Chapter 1. Overview CHAPTER 2 Installation A pip package is available: pip install gekko Use the —-user option to install if there is a permission error because Python is installed for all users and the account lacks administrative priviledge. The most recent version is 0.2. You can upgrade from the command line with the upgrade flag: pip install--upgrade gekko Another method is to install in a Jupyter notebook with !pip install gekko or with Python code, although this is not the preferred method: try: from pip import main as pipmain except: from pip._internal import main as pipmain pipmain(['install','gekko']) 3 GEKKO Documentation, Release 1.0.1 4 Chapter 2. Installation CHAPTER 3 Project Support There are GEKKO tutorials and documentation in: • GitHub Repository (examples folder) • Dynamic Optimization Course • APMonitor Documentation • GEKKO Documentation • 18 Example Applications with Videos For project specific help, search in the GEKKO topic tags on StackOverflow.
    [Show full text]
  • A Case Study to Help You Think About Your Project
    Wind Turbine Optimization a case study to help you think about your project Andrew Ning ME 575 Three broad areas of optimization (with some overlap) Convex Gradient-Based Gradient-Free Today we will focus on gradient-based, but for some projects the other areas are more important. In higher dimensional space, analytic gradients become increasingly important #iterations # design vars There is a difference between developing for analysis vs optimization Vy(1 + a0) plane of rotation φ V (1 a) W x − There is a difference between developing for analysis vs optimization Vy(1 + a0) plane of rotation φ V (1 a) W x − 1 a 2 C = − c σ0 CT =4a(1 a) T sin φ n − ✓ ◆ 2 1+a0 2 2 C = c σ0λ CQ =4a0(1 + a0) tan φλ Q cos φ t r r ✓ ◆ There is a difference between developing for analysis vs optimization Vy(1 + a0) plane of rotation φ V (1 a) W x − 1 1 a = 2 a0 = 4sin φ +1 4sinφ cos φ 1 cnσ0 ctσ0 − There is a difference between developing for analysis vs optimization use Parameters y use ProgGen Converg Skew correction use WTP_Data n CALL GetCoefs Declarations reset induction !Converg & Return Initialize induction vars < MaxIter CALL FindZC CALL NewtRaph reset induction Initial guess (AxInd / TanInd) n & y CALL NewtRaph MaxIter ZFound Converg CALL BinSearch < Converg ! y n AxIndLo = AxInd -1 n AxIndHi = AxInd +1 AxIndLo = -0.5 Converg AxIndHi = 0.6 CALL BinSearch y n Skew correction Converg AxIndLo = -1.0 CALL BinSearch AxIndHi = -0.4 y CALL GetCoefs n Converg AxIndLo = 0.59 CALL BinSearch AxIndHi = 2.5 Return y y Converg Skew correction CALL GetCoefs Return n AxIndLo = -1.0 CALL BinSearch AxIndHi = 2.5 y Converg Skew correction CALL GetCoefs Return n Return Sometimes a new solution approach is needed… Vy(1 + a0) plane of rotation φ Vx(1 a) W − sin φ V cos φ (φ)= x =0 R 1 a − V (1 + a ) − y 0 Sometimes a new solution approach is needed… Algorithm Avg.
    [Show full text]
  • Combined Scheduling and Control
    Books Combined Scheduling and Control Edited by John D. Hedengren and Logan Beal Printed Edition of the Special Issue Published in Processes www.mdpi.com/journal/processes MDPI Combined Scheduling and Control Books Special Issue Editors John D. Hedengren Logan Beal MDPI Basel Beijing Wuhan Barcelona Belgrade MDPI Special Issue Editors John D. Hedengren Logan Beal Brigham Young University Brigham Young University USA USA Editorial Office MDPI AG St. Alban-Anlage 66 Basel, Switzerland This edition is a reprint of the Special Issue published online in the open access journal Processes (ISSN 2227-9717) in 2017 (available at: http://www.mdpi.com/journal/processes/special_issues/Combined_Scheduling). For citation purposes, cite each article independently as indicated on the article page online and as indicated below: Books Lastname, F.M.; Lastname, F.M. Article title. Journal Name. Year Article number, page range. First Edition 2018 ISBN 978-3-03842-805-3 (Pbk) ISBN 978-3-03842-806-0 (PDF) Cover photo courtesy of John D. Hedengren and Logan Beal. Articles in this volume are Open Access and distributed under the Creative Commons Attribution license (CC BY), which allows users to download, copy and build upon published articles even for commercial purposes, as long as the author and publisher are properly credited, which ensures maximum dissemination and a wider impact of our publications. The book taken as a whole is © 2018 MDPI, Basel, Switzerland, distributed under the terms and conditions of the Creative Commons license CC BY-NC-ND (http://creativecommons.org/licenses/by-nc-nd/4.0/). MDPI Table of Contents About the Special Issue Editors ....................................
    [Show full text]
  • Numerical Optimization of Industrial Processes
    Czech Technical University in Prague Faculty of Electrical Engineering Department of Control Engineering Bachelor’s thesis Numerical optimization of industrial processes Lenka Caletková Supervisor: Ing. Jan Šulc Study Programme: Cybernetics and Robotics Field of Study: Systems and control Date: May 2013 iv Acknowledgements I would like to show my greatest appreciation to my supervisor Ing. Jan Šulc, who was always willing to help me with this project - even in his extra time - during the last two semesters. Without his encouragement and guidance this project would not have materialized. Many thanks belong to all my friends, who supported me in my tough times. Last but not least, I want to thank my supportive sister Jana and my great parents, who enabled me to study at the CTU, always stood by my side and gave me all their love. Abstract This thesis handles the conception of numerical optimizations and presents Python libraries, which are able to solve optimization problems. It compares their usability, stability and computing possibilities. All these aspects were tested on two specific industrial processes - control of the tunnel ventilation and heating systems control in buildings. A functional code in Python programming language for performance optimization of tunnel ventilation represents the outcome of this thesis. Abstrakt Tato bakalářská práce se věnuje pojmu numerické optimalizace a prezentuje knihovny pro- gramovacího jazyka Python, které je možné použít pro řešení optimalizačních úloh. Zároveň porovnává jejich použitelnost, stabilitu a výpočetní schopnosti. Všechny tyto aspekty byly testovány na dvou konkrétních průmyslových procesech - řízení ventilace v tunelech a řízení tepelných systémů v budovách. Výstup této práce představuje funkční kód v jazyce Python, který má za úkol optimalizovat výkon při ventilaci tunelu.
    [Show full text]
  • Software Implementation for Optimization of Production Planning Within Refineries
    Vol.VII(LXX) 1 - 10 Economic Insights – Trends and Challenges No. 1/2018 Software Implementation for Optimization of Production Planning within Refineries Cătălin Popescu Faculty of Economic Sciences, Petroleum-Gas University of Ploieşti, Bd. Bucureşti 39, 100680, Ploieşti, Romania e-mail: [email protected] Abstract The paper will analyse the advantages of using the RPMS program in order to optimize the production plan and to decide on the structure of raw materials and final products within refineries. Also, the paper will include some real-time refining activities to be analysed with the aim of optimizing production. Key words: optimization; RPM; production planning; decision point JEL Classification: C44; C61; C63; L23; L86 Introduction The most popular manufacturing optimization software used today by most refineries are RPMS (Honeywell License), PIMS (Aspen License), and GRTMPS (Harperly Systems License), all based on the LP-Linear Programming principles. These allow modelling of the refinery by using different tables and aim to find the optimal solution taking into account a number of limitations introduced in LP, either linear or non-linear. The constant change in demand-to-offer ratio on the global energy market, as well as the diversity of raw materials and final products on the market require significant economic and financial assessment capacities in the shortest possible time. The development of information systems within companies has allowed shorten the time to assess opportunities and risks in making decisions in order to conclude contracts for the purchase and sale of petroleum products, by taking into account all the expenditures related to the production and transport of goods.
    [Show full text]
  • Edit Master Title Style
    Click to edit Master title style APOPT and BPOPT: New NLP and MINLP Solvers for Differential Algebraic Systems with Benchmark Testing John D. Hedengren Jose L. Mojica Brigham Young University Kody M. Powell Wesley Cole Thomas F. Edgar The University of Texas at Austin Presentation Overview Overview of Benchmarking Testing. NLP Benchmarking Hock-Schittkowski Dynamic optimization Biological models MINLP Benchmarking MacMINLP Case studies Gravity Drained tank (MIDAE control problem) Energy Storage for smart grid Future Developments Oct 17, 2012 APMonitor.com | APOPT.com BYU – UT Austin Overview of Benchmark Testing NLP Benchmark Testing 1 1 2 3 3 min J (x, y,u) APOPT , BPOPT , IPOPT , SNOPT , MINOS x Problem characteristics: s.t. 0 f , x, y,u t Hock Schittkowski, Dynamic Opt, SBML 0 g(x, y,u) Nonlinear Programming (NLP) Differential Algebraic Equations (DAEs) 0 h(x, y,u) n m APMonitor Modeling Language x, y u MINLP Benchmark Testing min J (x, y,u, z) 1 1 2 4 APOPT , BPOPT , BONMIN , DICOPT x s.t. 0 f , x, y,u, z Problem characteristics: t MacMINLP, Industrial Test Set 0 g(x, y,u, z) Mixed Integer Nonlinear Programming (MINLP) 0 h(x, y,u, z) Mixed Integer Differential Algebraic Equations (MIDAEs) x, y n u m z m APMonitor & AMPL Modeling Language 1–APS, LLC 2–EPL, 3–SBS, Inc., 4-CMU Oct 17, 2012 APMonitor.com | APOPT.com BYU – UT Austin NLP Benchmark – Hock-Schittkowski (116) 100 90 80 70 60 APOPT+BPOPT APOPT 50 1.0 BPOPT 40 1.0 Percentage (%) IPOPT 3.10 30 IPOPT 2.3 SNOPT 20 6.1 MINOS 5.5 10 0 0 0.5
    [Show full text]
  • Numerical Aspects of Data Reconciliation in Industrial Applications
    Numerical Aspects of Data Reconciliation in Industrial Applications Authors: Maurício M. Câmara, Rafael M. Soares, Thiago Feital, Thiago K. Anzai, Fabio C. Diehl, Pedro H. Thompson, José Carlos Pinto Date Submitted: 2018-07-31 Keywords: nonlinear programming, offshore oil production, process monitoring, industrial data reconciliation Abstract: Data reconciliation is a model-based technique that reduces measurement errors by making use of redundancies in process data. It is largely applied in modern process industries, being commercially available in software tools. Based on industrial applications reported in the literature, we have identified and tested different configuration settings providing a numerical assessment on the performance of several important aspects involved in the solution of nonlinear steady-state data reconciliation that are generally overlooked. The discussed items are comprised of problem formulation, regarding the presence of estimated parameters in the objective function; solution approach when applying nonlinear programming solvers; methods for estimating objective function gradients; initial guess; and optimization algorithm. The study is based on simulations of a rigorous and validated model of a real offshore oil production system. The assessment includes evaluations of solution robustness, constraint violation at convergence, and computational cost. In addition, we propose the use of a global test to detect inconsistencies in the formulation and in the solution of the problem. Results show that different settings
    [Show full text]
  • Optimal Fine of Wastewater Outfall Problem in Shallow Body of Water: a Bilevel Optimization Approach
    International Journal of Innovative Computing, Information and Control ICIC International ⃝c 2021 ISSN 1349-4198 Volume 17, Number 4, August 2021 pp. 1305{1325 OPTIMAL FINE OF WASTEWATER OUTFALL PROBLEM IN SHALLOW BODY OF WATER: A BILEVEL OPTIMIZATION APPROACH Yosefat Nava1, Andrei Solorzano´ 1, Junzo Watada2 Vyacheslav Kalashnikov1 and Jose´ Guadalupe Flores1 1Tecnologico de Monterrey Escuela de Ingenier´ıay Ciencias Av. Eugenio Garza Sada 2501 Sur, Tecnol´ogico,64849 Monterrey, N.L., M´exico [email protected] 2Waseda University 2-10-8-407 Kobai, Yawatanishiku, Kitakyushu, Fukuoka 808-0135, Japan [email protected] Received December 2020; revised April 2021 Abstract. This project aims to model the wastewater regulation problem as a bilevel optimization problem. Due to human activities such as industry, agriculture, and domes- tic use, many bodies of water have been affected by pollution. To remedy the problem of water quality Environmental Protection Agencies use environmental penalty functions. This enforces managers of wastewater treatment plants to find treatment strategies that meet water quality standards before discharging pollution to the environment. In the case of shallow bodies of water, the behavior of the wastewater dispersion is governed by the Navier-Stokes equation; therefore, the objective functions of the decision-makers have a nonlinear behavior relative to a leader-follower dynamic. To find the optimal penalty func- tion we construct the emission concentration system solution and define the wastewater regulation problem as a bilevel optimization problem. The aim of this paper is three- fold: First, it formulates the wastewater regulation problem as a bilevel optimization problem; second, it provides theoretical insight when the problem is reformulated to a single-level formulation using a Karush-Kuhn-Tucker condition approach; third, it devel- ops discretization techniques that allow finding numerical solutions of the location of the wastewater regulation problem.
    [Show full text]
  • Declare Function Casadi Python
    Declare Function Casadi Python Tab is peristomatic: she rethinks sadly and treadles her hypostasis. Ugly or transpositive, Farley never impawns any heterogenies! Fleecy and difficile Torin abate her halogenation lapping blue-pencilled and burgle gyrally. Run the chart to display the current data. The framework is modular, and provides different tools for modeling dynamic optimization problems and to solve them with a wide range of well known algorithms. Python classes as well. Note: this is a very short preliminary decription which soon will be considerably improved. Requested method is not implemented. Added support for expandable connectors and for overconstrained connection systems. Determines the collocation scheme used to discretizethe problem. To use directors you must make two changes to the interface file. FMU and load it in Python. Improvements have been made to analytical jacobians. It is then convenient to set up a dedicated model for computationof initial trajectories. So, do you understand what are ordered and unordered collection of objects in Python? Initial size for far bounds. Improved handling of unmatched HGT. To do this, select in the left list, the variables concerned. Finally, using simulated data, we give examples of how correct use of multiple imputation can affect investment decisions in the early stages of drug discovery. However, the underlying mechanism is somewhat different than you might expect due to the way that Python assignment works. Real python implementation. As indicated before, it is possible to pursue an optimization finished or stopped. ACM Transactions on Software Engineering and Methodology, vol. This simple optimal control problem? An alternative approach to dynamic linking is to rebuild the Python interpreter with your extension module added to it.
    [Show full text]