Algorithms. Application to the French airspace LFEE (Reims) Judicaël Bedouet, Thomas Dubot, Luis Basora

Size: px
Start display at page:

Download "Algorithms. Application to the French airspace LFEE (Reims) Judicaël Bedouet, Thomas Dubot, Luis Basora"

Transcription

1 Towards an Application to the French airspace LFEE (Reims), Thomas Dubot, Luis Basora ONERA,the French Aerospace Lab 6 th SESAR Innovation Days November 10 th 2016, TU Delft 1/28

2 /28

3 /28

4 Towards an problem I'm a FMP. I group elementary sectors (ES) to form control sectors (CS). Judicae l I FMP: Flow Management Position I From Short-Term Planning to Pre-Tactical I Sector configuration = set of CS for a given period of time. 4/28

5 Motivation Tch,gtchg?gThesegsame oldgmanualgmethods fromgtheg20thgcentury... Whatgaboutgflexibleg modulargdynamicgairspace configurationsg? SESAR 5/28

6 Ambitions Hi,RIRhaveRplentyRofRscientific methodsrtorhelpryou. Hmm...ROK,RbutRIRwant conventionalrsectors RstabilityRoverRtime! SESAR 6/28

7 /28

8 - Graph G = (V, E) How I see the world LFEEHH LFEEHE LFEEHR LFEEHN LFEEE LFEEKE LFEEKD LFEEKN LFEESE LFEEUE LFEEKF LFEEUB LFEEUF LFEEKH LFEEKR LFEEUN LFEEUH LFEEXE LFEEUR LFEEXH LFEEXR V the set the building blocks E the set of edges (direct trajectories between two blocks) D v (δt) density for vertex v during δt C e (δt) coordination for edge e during δt 8/28

9 Partition constraints LFEE4E LFEEE LFEEHE LFEESE4H LFEEKD2F LFEEKD LFEEHBN LFEEHN LFEEUB LFEE4R LFEEUKBN LFEEKN LFEESE LFEEHH LFEEUE LFEEKE LFEEKF LFEEHR LFEEUN LFEEUH LFEEKH LFEEXH LFEEXE LFEEUF LFEEKR LFEEXR LFEEUR P k (δt) = S 1,..., S k S 1 = LFEEHBN = {LFEEUB, LFEEHN}, S 2 =... i 1,..., k, S i i, j 1,..., k, i j, S i S j = i 1,...,k S i = E i 1,...k, S i satisfies the connectivity constraint 9/28

10 Balance objective LFEE4E (D = 9.7) LFEEE LFEEHE LFEEKD2F (D = 9.8) LFEEKD LFEEHBN (D = 2.5) LFEEUKBN (D = 4.3) LFEEHN LFEEUB LFEEKN LFEESE4H (D = 9.6) LFEE4R (D = 8) LFEESE LFEEHH LFEEUE LFEEKE LFEEKF LFEEHR LFEEUN LFEEUH LFEEKH LFEEXE LFEEUF LFEEKR LFEEUR LFEEXH LFEEXR Definition balance(p k (δt)) = D Si (δt) D i S i (δt) k i where D Si (δt) = D v (δt) v S i D Si (δt) i = 7.3 k balance(p 6 ) = /28

11 Cut objective LFEE4E LFEEKD2F LFEEHBN LFEEE LFEEHE LFEEKD LFEEHN LFEEUB LFEESE4H LFEE4R LFEESE LFEEHH LFEEUE LFEEKE LFEEKF LFEEHR LFEEUKBN LFEEKN LFEEUN LFEEUH LFEEKH LFEEXE LFEEUF LFEEKR LFEEUR LFEEXH LFEEXR Definition cut(p k (δt)) = cut(δt, S i, S j ) i<j where cut(δt, S i, S j ) = C (v1,v 2)(δt) v 1 S i,v 2 S j 11/28

12 Compactness objective Definition compactness(p k (δt)) = compactness(s i ) i volume(j) j prisms of S i where compactness(s i ) = volume(cover(i) ACC) cover(i) is the smallest prism which includes all the prisms of i 12/28

13 Other objectives that may be considered the total number of re-entries the total number of short transits the total number of overloads... 13/28

14 /28

15 Determining all conventional solutions Exhaustive search tree Combining conventional sectors Use of cut rules to rapidly explore the tree i, j 1,..., k, S i S j i 1,...,k S i = E Remaining nodes will not ensure i 1,...,k S i = E Applications Reims (LFEE) - 21 ES - 58 CS - 17 positions conventional sector configurations / Brest (LFRR) - 32 ES CS - 18 positions conventional sector configurations / /28

16 configurations - Pareto-optimal solutions cut(a) < cut (C) A C A dominates C B dominates C We keep solutions from the first Pareto fronts. B balance(a) < balance (C) 16/28

17 Now,AcanAIAalsoApropose nonaconventionalasectors? OK,AbutAonlyAifAIAcan decideatoaintegrateathem oranotainamyacatalogue. SESAR 17/28

18 Simulated Annealing optimisation Disorganising ( ) 1 min αcut(p k ) + βbalance(p k ) + compactness 2 (P k ) Reforming min (1/compactness(P k )) such that balance(p k ) balance(p initial k ) cut(p k ) cut(p initial k ) 18/28

19 over time And we favor collapsing / decollapsing operations. 19/28

20 /28

21 Towards an Scenario Comparison to the sector configuration plan of a very busy day of traffic (2015, June 26th ). Judicae l 21/28

22 An initial solution its refinement Conventional sector configuration Balance: Cut: Refined sector configuration /28

23 Balance along the day Balance along the day Average gain : 12.9% 23/28

24 Cut along the day Cut along the day Average gain : 3.4% 24/28

25 Cell-based distance along the day Cell-based distance along the day 25/28

26 /28

27 perspectives We can improve the workload distribution while keeping compact sectors ensuring stability over time Integrated to a decision support tool Perspectives: Improving objectives such as workload distribution overloads Determining the opening times Increasing the number of blocks Using multi-objective techniques to refine 27/28

28 Questions? 28/28

Case Study of Adverse Weather Avoidance Modelling

Case Study of Adverse Weather Avoidance Modelling Case Study of Adverse Weather Avoidance Modelling Patrick Hupe*, Thomas Hauf*, Carl-Herbert Rokitansky** * University of Hannover, Germany ** University of Salzburg, Austria 4 th SESAR Innovation Days

More information

Corrigendum: The complexity of counting graph homomorphisms

Corrigendum: The complexity of counting graph homomorphisms Corrigendum: The complexity of counting graph homomorphisms Martin Dyer School of Computing University of Leeds Leeds, U.K. LS2 9JT dyer@comp.leeds.ac.uk Catherine Greenhill School of Mathematics The University

More information

The gains of an aligned weather impact management. Tzvetomir BLAJEV, NM Safety Unit

The gains of an aligned weather impact management. Tzvetomir BLAJEV, NM Safety Unit The gains of an aligned weather impact management Tzvetomir BLAJEV, NM Safety Unit 2 One can t do anything about the weather!? Two thirds of the WX delays are avoidable (FAA)? In this presentation PROBLEM

More information

Learning Air Traffic Controller Workload. from Past Sector Operations

Learning Air Traffic Controller Workload. from Past Sector Operations Learning Air Traffic Controller Workload from Past Sector Operations David Gianazza 1 Outline Introduction Background Model and methods Results Conclusion 2 ATC complexity Introduction Simple Complex 3

More information

4. How to prove a problem is NPC

4. How to prove a problem is NPC The reducibility relation T is transitive, i.e, A T B and B T C imply A T C Therefore, to prove that a problem A is NPC: (1) show that A NP (2) choose some known NPC problem B define a polynomial transformation

More information

Routing options to reduce aviation s climate impact

Routing options to reduce aviation s climate impact www.dlr.de Chart 1 Routing options to reduce aviation s climate impact Volker Grewe DLR-Institut für Physik der Atmosphäre & Chair for Climate Effects of Aviation, TU Delft Aerospace Engineering www.dlr.de

More information

Structural Resilience of Cyberphysical Systems Under Attack

Structural Resilience of Cyberphysical Systems Under Attack Structural Resilience of Cyberphysical Systems Under Attack Bhaskar Ramasubramanian 1, M.A. Rajan 2, M. Girish Chandra 2 1 Department of Electrical and Computer Engineering, and Institute for Systems Research,

More information

Zero controllability in discrete-time structured systems

Zero controllability in discrete-time structured systems 1 Zero controllability in discrete-time structured systems Jacob van der Woude arxiv:173.8394v1 [math.oc] 24 Mar 217 Abstract In this paper we consider complex dynamical networks modeled by means of state

More information

Decision Diagrams and Dynamic Programming

Decision Diagrams and Dynamic Programming Decision Diagrams and Dynamic Programming J. N. Hooker Carnegie Mellon University CPAIOR 13 Decision Diagrams & Dynamic Programming Binary/multivalued decision diagrams are related to dynamic programming.

More information

Machine Learning of Controller Command Prediction Models from Recorded Radar Data and Controller Speech Utterances

Machine Learning of Controller Command Prediction Models from Recorded Radar Data and Controller Speech Utterances www.dlr.de/fl Chart 1 > MALORCA > Matthias Kleinert > 7 th SESAR Innovation Days > Belgrad > 28.11.2017 Machine Learning of Controller Command Prediction Models from Recorded Radar Data and Controller

More information

Machine Learning for Data Science (CS4786) Lecture 11

Machine Learning for Data Science (CS4786) Lecture 11 Machine Learning for Data Science (CS4786) Lecture 11 Spectral clustering Course Webpage : http://www.cs.cornell.edu/courses/cs4786/2016sp/ ANNOUNCEMENT 1 Assignment P1 the Diagnostic assignment 1 will

More information

Lab 8: Measuring Graph Centrality - PageRank. Monday, November 5 CompSci 531, Fall 2018

Lab 8: Measuring Graph Centrality - PageRank. Monday, November 5 CompSci 531, Fall 2018 Lab 8: Measuring Graph Centrality - PageRank Monday, November 5 CompSci 531, Fall 2018 Outline Measuring Graph Centrality: Motivation Random Walks, Markov Chains, and Stationarity Distributions Google

More information

1 Ordinary Load Balancing

1 Ordinary Load Balancing Comp 260: Advanced Algorithms Prof. Lenore Cowen Tufts University, Spring 208 Scribe: Emily Davis Lecture 8: Scheduling Ordinary Load Balancing Suppose we have a set of jobs each with their own finite

More information

Duality of LPs and Applications

Duality of LPs and Applications Lecture 6 Duality of LPs and Applications Last lecture we introduced duality of linear programs. We saw how to form duals, and proved both the weak and strong duality theorems. In this lecture we will

More information

1. (a) Explain the asymptotic notations used in algorithm analysis. (b) Prove that f(n)=0(h(n)) where f(n)=0(g(n)) and g(n)=0(h(n)).

1. (a) Explain the asymptotic notations used in algorithm analysis. (b) Prove that f(n)=0(h(n)) where f(n)=0(g(n)) and g(n)=0(h(n)). Code No: R05220502 Set No. 1 1. (a) Explain the asymptotic notations used in algorithm analysis. (b) Prove that f(n)=0(h(n)) where f(n)=0(g(n)) and g(n)=0(h(n)). 2. (a) List some of the relative advantages

More information

The Path&Cycle formulation for the Hotspot Problem in Air Traffic Management

The Path&Cycle formulation for the Hotspot Problem in Air Traffic Management The Path&Cycle formulation for the Hotspot Problem in Air Traffic Management Carlo Mannino SINTEF [Forskningsveien 1, Oslo, Norway] carlo.mannino@sintef.no Giorgio Sartor SINTEF [Forskningsveien 1, Oslo,

More information

CS168: The Modern Algorithmic Toolbox Lectures #11 and #12: Spectral Graph Theory

CS168: The Modern Algorithmic Toolbox Lectures #11 and #12: Spectral Graph Theory CS168: The Modern Algorithmic Toolbox Lectures #11 and #12: Spectral Graph Theory Tim Roughgarden & Gregory Valiant May 2, 2016 Spectral graph theory is the powerful and beautiful theory that arises from

More information

MANAGING INFORMATION. On the Complexity of Requirements Flow-down. An Integrate white paper

MANAGING INFORMATION. On the Complexity of Requirements Flow-down. An Integrate white paper MANAGING INFORMATION On the Complexity of Requirements Flow-down An Integrate white paper On the Complexity of Requirements Flow-down Structures An Integrate white paper On the Complexity of Requirements

More information

Notes on MapReduce Algorithms

Notes on MapReduce Algorithms Notes on MapReduce Algorithms Barna Saha 1 Finding Minimum Spanning Tree of a Dense Graph in MapReduce We are given a graph G = (V, E) on V = N vertices and E = m N 1+c edges for some constant c > 0. Our

More information

The Strong Largeur d Arborescence

The Strong Largeur d Arborescence The Strong Largeur d Arborescence Rik Steenkamp (5887321) November 12, 2013 Master Thesis Supervisor: prof.dr. Monique Laurent Local Supervisor: prof.dr. Alexander Schrijver KdV Institute for Mathematics

More information

Approximating min-max (regret) versions of some polynomial problems

Approximating min-max (regret) versions of some polynomial problems Approximating min-max (regret) versions of some polynomial problems Hassene Aissi, Cristina Bazgan, and Daniel Vanderpooten LAMSADE, Université Paris-Dauphine, France {aissi,bazgan,vdp}@lamsade.dauphine.fr

More information

and e 2 ~ e 2 iff e 1

and e 2 ~ e 2 iff e 1 Section 4. Equivalence Relations A binary relation is an equivalence relation if it has the three properties reflexive, symmetric, and transitive (RST). Examples. a. Equality on any set. b. x ~ y iff x

More information

Tree Decompositions and Tree-Width

Tree Decompositions and Tree-Width Tree Decompositions and Tree-Width CS 511 Iowa State University December 6, 2010 CS 511 (Iowa State University) Tree Decompositions and Tree-Width December 6, 2010 1 / 15 Tree Decompositions Definition

More information

Motivation for Operational Bridging and the Aviation Weather Statement

Motivation for Operational Bridging and the Aviation Weather Statement Motivation for Operational Bridging and the Aviation Weather Statement Weather Evaluation Team Presentation Friends and Partners of Aviation Weather October 23, 2013 Octoberr June 2013 2013 Operational

More information

Kronecker Product of Networked Systems and their Approximates

Kronecker Product of Networked Systems and their Approximates Kronecker Product of Networked Systems and their Approximates Robotics, Aerospace and Information Networks (RAIN) University of Washington (Robotics, Aerospace Kronecker and Information Products Networks

More information

INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS

INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS STEVEN P. LALLEY AND ANDREW NOBEL Abstract. It is shown that there are no consistent decision rules for the hypothesis testing problem

More information

Lecture 2: Scheduling on Parallel Machines

Lecture 2: Scheduling on Parallel Machines Lecture 2: Scheduling on Parallel Machines Loris Marchal October 17, 2012 Parallel environment alpha in Graham s notation): P parallel identical Q uniform machines: each machine has a given speed speed

More information

Modeling Airspace Stability and Capacity for Decentralized Separation

Modeling Airspace Stability and Capacity for Decentralized Separation Twelfth USA/Europe Air Traffic Management Research and Development Seminar (ATM2017 Modeling Airspace Stability and Capacity for Decentralized Separation Emmanuel Sunil, Joost Ellerbroek, Jacco Hoekstra

More information

Resilience Management Problem in ATM Systems as ashortest Path Problem

Resilience Management Problem in ATM Systems as ashortest Path Problem Resilience Management Problem in ATM Systems as ashortest Path Problem A proposal for definition of an ATM system resilience metric through an optimal scheduling strategy for the re allocation of the system

More information

Games on Social Networks: On a Problem Posed by Goyal

Games on Social Networks: On a Problem Posed by Goyal Games on Social Networks: On a Problem Posed by Goyal Ali Kakhbod Demosthenis Teneketzis November 13, 2017 arxiv:1001.3896v4 [cs.gt] 9 Feb 2012 Abstract Within the context of games on networks S. Goyal

More information

Unit 1A: Computational Complexity

Unit 1A: Computational Complexity Unit 1A: Computational Complexity Course contents: Computational complexity NP-completeness Algorithmic Paradigms Readings Chapters 3, 4, and 5 Unit 1A 1 O: Upper Bounding Function Def: f(n)= O(g(n)) if

More information

Introduction to Bin Packing Problems

Introduction to Bin Packing Problems Introduction to Bin Packing Problems Fabio Furini March 13, 2015 Outline Origins and applications Applications: Definition: Bin Packing Problem (BPP) Solution techniques for the BPP Heuristic Algorithms

More information

Control and synchronization in systems coupled via a complex network

Control and synchronization in systems coupled via a complex network Control and synchronization in systems coupled via a complex network Chai Wah Wu May 29, 2009 2009 IBM Corporation Synchronization in nonlinear dynamical systems Synchronization in groups of nonlinear

More information

Study on Traffic Synchronization

Study on Traffic Synchronization Study on Traffic Synchronization Claus Gwiggner Masato Fujita Yutaka Fukuda Sakae Nagaoka Electronic Navigation Research Institute Tokyo EIWAC, Tokyo, November, 2010. 1 Contents 1. Traffic Synchronization

More information

Wind-Based Robust Trajectory Optimization using Meteorological Ensemble Probabilistic Forecasts

Wind-Based Robust Trajectory Optimization using Meteorological Ensemble Probabilistic Forecasts Wind-Based Robust Trajectory Optimization using Meteorological Ensemble Probabilistic Forecasts Daniel González Arribas, Manuel Soler, Manuel Sanjurjo Rivo Area of Aerospace Engineering Universidad Carlos

More information

Scheduling on Unrelated Parallel Machines. Approximation Algorithms, V. V. Vazirani Book Chapter 17

Scheduling on Unrelated Parallel Machines. Approximation Algorithms, V. V. Vazirani Book Chapter 17 Scheduling on Unrelated Parallel Machines Approximation Algorithms, V. V. Vazirani Book Chapter 17 Nicolas Karakatsanis, 2008 Description of the problem Problem 17.1 (Scheduling on unrelated parallel machines)

More information

Introduction to Spectral Graph Theory and Graph Clustering

Introduction to Spectral Graph Theory and Graph Clustering Introduction to Spectral Graph Theory and Graph Clustering Chengming Jiang ECS 231 Spring 2016 University of California, Davis 1 / 40 Motivation Image partitioning in computer vision 2 / 40 Motivation

More information

Probe Placement Problem

Probe Placement Problem Dimitri Papadimitriou (Alcatel-Lucent - Bell Labs) NMRG Meeting IETF 89 London (UK) Mar.2-7, 2014 Outline 1 Introduction 2 Model 3 Preliminary Results 4 Analysis and Conclusion imitri Papadimitriou (Alcatel-Lucent

More information

CS173 Lecture B, November 3, 2015

CS173 Lecture B, November 3, 2015 CS173 Lecture B, November 3, 2015 Tandy Warnow November 3, 2015 CS 173, Lecture B November 3, 2015 Tandy Warnow Announcements Examlet 7 is a take-home exam, and is due November 10, 11:05 AM, in class.

More information

Coloring Vertices and Edges of a Path by Nonempty Subsets of a Set

Coloring Vertices and Edges of a Path by Nonempty Subsets of a Set Coloring Vertices and Edges of a Path by Nonempty Subsets of a Set P.N. Balister E. Győri R.H. Schelp November 8, 28 Abstract A graph G is strongly set colorable if V (G) E(G) can be assigned distinct

More information

Chapter 9: Relations Relations

Chapter 9: Relations Relations Chapter 9: Relations 9.1 - Relations Definition 1 (Relation). Let A and B be sets. A binary relation from A to B is a subset R A B, i.e., R is a set of ordered pairs where the first element from each pair

More information

Maximum Likelihood vs. Least Squares for Estimating Mixtures of Truncated Exponentials

Maximum Likelihood vs. Least Squares for Estimating Mixtures of Truncated Exponentials Maximum Likelihood vs. Least Squares for Estimating Mixtures of Truncated Exponentials Helge Langseth 1 Thomas D. Nielsen 2 Rafael Rumí 3 Antonio Salmerón 3 1 Department of Computer and Information Science

More information

Real-Time Workload Models with Efficient Analysis

Real-Time Workload Models with Efficient Analysis Real-Time Workload Models with Efficient Analysis Advanced Course, 3 Lectures, September 2014 Martin Stigge Uppsala University, Sweden Fahrplan 1 DRT Tasks in the Model Hierarchy Liu and Layland and Sporadic

More information

Traffic Flow Management (TFM) Weather Rerouting Decision Support. Stephen Zobell, Celesta Ball, and Joseph Sherry MITRE/CAASD, McLean, Virginia

Traffic Flow Management (TFM) Weather Rerouting Decision Support. Stephen Zobell, Celesta Ball, and Joseph Sherry MITRE/CAASD, McLean, Virginia Traffic Flow Management (TFM) Weather Rerouting Decision Support Stephen Zobell, Celesta Ball, and Joseph Sherry MITRE/CAASD, McLean, Virginia Stephen Zobell, Celesta Ball, and Joseph Sherry are Technical

More information

Spanning Tree Problem of Uncertain Network

Spanning Tree Problem of Uncertain Network Spanning Tree Problem of Uncertain Network Jin Peng Institute of Uncertain Systems Huanggang Normal University Hubei 438000, China Email: pengjin01@tsinghuaorgcn Shengguo Li College of Mathematics & Computer

More information

TREE-DECOMPOSITIONS OF GRAPHS. Robin Thomas. School of Mathematics Georgia Institute of Technology thomas

TREE-DECOMPOSITIONS OF GRAPHS. Robin Thomas. School of Mathematics Georgia Institute of Technology   thomas 1 TREE-DECOMPOSITIONS OF GRAPHS Robin Thomas School of Mathematics Georgia Institute of Technology www.math.gatech.edu/ thomas MOTIVATION 2 δx = edges with one end in X, one in V (G) X MOTIVATION 3 δx

More information

Coloring Vertices and Edges of a Path by Nonempty Subsets of a Set

Coloring Vertices and Edges of a Path by Nonempty Subsets of a Set Coloring Vertices and Edges of a Path by Nonempty Subsets of a Set P.N. Balister E. Győri R.H. Schelp April 28, 28 Abstract A graph G is strongly set colorable if V (G) E(G) can be assigned distinct nonempty

More information

Large-Scale 3D En-Route Conflict Resolution

Large-Scale 3D En-Route Conflict Resolution Large-Scale 3D En-Route Conflict Resolution Cyril Allignol, Nicolas Barnier, Nicolas Durand, Alexandre Gondran and Ruixin Wang allignol,barnier,durand,gondran,wangrx @recherche.enac.fr ATM 2017 Seattle

More information

Optimization Methods for Force and Shape Design of Tensegrity Structures. J.Y. Zhang and M. Ohsaki Kyoto University, Japan

Optimization Methods for Force and Shape Design of Tensegrity Structures. J.Y. Zhang and M. Ohsaki Kyoto University, Japan Optimization Methods for Force and Shape Design of Tensegrity Structures J.Y. Zhang and M. Ohsaki Kyoto University, Japan Contents Purpose Optimization techniques are effective for shape and force design

More information

3.3 Easy ILP problems and totally unimodular matrices

3.3 Easy ILP problems and totally unimodular matrices 3.3 Easy ILP problems and totally unimodular matrices Consider a generic ILP problem expressed in standard form where A Z m n with n m, and b Z m. min{c t x : Ax = b, x Z n +} (1) P(b) = {x R n : Ax =

More information

Optimal Large-Scale Air Traffic Flow Management

Optimal Large-Scale Air Traffic Flow Management Optimal Large-Scale Air Traffic Flow Management Hamsa Balakrishnan Massachusetts Institute of Technology Cambridge, MA 02139 hamsa@mit.edu Bala G. Chandran Resilient Ops LLC Winchester, MA 01890 bala.chandran@resilientops.com

More information

IS 709/809: Computational Methods in IS Research Fall Exam Review

IS 709/809: Computational Methods in IS Research Fall Exam Review IS 709/809: Computational Methods in IS Research Fall 2017 Exam Review Nirmalya Roy Department of Information Systems University of Maryland Baltimore County www.umbc.edu Exam When: Tuesday (11/28) 7:10pm

More information

Lecture 16: Roots of the Matching Polynomial

Lecture 16: Roots of the Matching Polynomial Counting and Sampling Fall 2017 Lecture 16: Roots of the Matching Polynomial Lecturer: Shayan Oveis Gharan November 22nd Disclaimer: These notes have not been subjected to the usual scrutiny reserved for

More information

Nonnegative Matrices I

Nonnegative Matrices I Nonnegative Matrices I Daisuke Oyama Topics in Economic Theory September 26, 2017 References J. L. Stuart, Digraphs and Matrices, in Handbook of Linear Algebra, Chapter 29, 2006. R. A. Brualdi and H. J.

More information

Proof Assistants for Graph Non-isomorphism

Proof Assistants for Graph Non-isomorphism Proof Assistants for Graph Non-isomorphism Arjeh M. Cohen 8 January 2007 second lecture of Three aspects of exact computation a tutorial at Mathematics: Algorithms and Proofs (MAP) Leiden, January 8 12,

More information

The Influence of Uncertainties on TCSA

The Influence of Uncertainties on TCSA The Influence of Uncertainties on TCSA Géraud Granger, Cyril Allignol, Nicolas Durand DSNA/R&D http://pom.tls.cena.fr/pom June 14, 2011 Introduction The CATS/ERCOS Simulator Simulation Results Conclusion

More information

Network Games with Friends and Foes

Network Games with Friends and Foes Network Games with Friends and Foes Stefan Schmid T-Labs / TU Berlin Who are the participants in the Internet? Stefan Schmid @ Tel Aviv Uni, 200 2 How to Model the Internet? Normal participants : - e.g.,

More information

On the Partitioning of Servers in Queueing Systems during Rush Hour

On the Partitioning of Servers in Queueing Systems during Rush Hour On the Partitioning of Servers in Queueing Systems during Rush Hour Bin Hu Saif Benjaafar Department of Operations and Management Science, Ross School of Business, University of Michigan at Ann Arbor,

More information

Zebo Peng Embedded Systems Laboratory IDA, Linköping University

Zebo Peng Embedded Systems Laboratory IDA, Linköping University TDTS 01 Lecture 8 Optimization Heuristics for Synthesis Zebo Peng Embedded Systems Laboratory IDA, Linköping University Lecture 8 Optimization problems Heuristic techniques Simulated annealing Genetic

More information

THE MAXIMAL SUBGROUPS AND THE COMPLEXITY OF THE FLOW SEMIGROUP OF FINITE (DI)GRAPHS

THE MAXIMAL SUBGROUPS AND THE COMPLEXITY OF THE FLOW SEMIGROUP OF FINITE (DI)GRAPHS THE MAXIMAL SUBGROUPS AND THE COMPLEXITY OF THE FLOW SEMIGROUP OF FINITE (DI)GRAPHS GÁBOR HORVÁTH, CHRYSTOPHER L. NEHANIV, AND KÁROLY PODOSKI Dedicated to John Rhodes on the occasion of his 80th birthday.

More information

Weighted Acyclic Di-Graph Partitioning by Balanced Disjoint Paths

Weighted Acyclic Di-Graph Partitioning by Balanced Disjoint Paths Weighted Acyclic Di-Graph Partitioning by Balanced Disjoint Paths H. Murat AFSAR Olivier BRIANT Murat.Afsar@g-scop.inpg.fr Olivier.Briant@g-scop.inpg.fr G-SCOP Laboratory Grenoble Institute of Technology

More information

Lecture 23 Branch-and-Bound Algorithm. November 3, 2009

Lecture 23 Branch-and-Bound Algorithm. November 3, 2009 Branch-and-Bound Algorithm November 3, 2009 Outline Lecture 23 Modeling aspect: Either-Or requirement Special ILPs: Totally unimodular matrices Branch-and-Bound Algorithm Underlying idea Terminology Formal

More information

HOW TO SUPPORT SPATIAL DECISION MAKING PROCESS? Magdalena Wagner

HOW TO SUPPORT SPATIAL DECISION MAKING PROCESS? Magdalena Wagner HOW TO SUPPORT SPATIAL DECISION MAKING PROCESS? Magdalena Wagner Main objective The aim of the research is to support spatial planning with a set of innovative and comprehensive tools for decision making

More information

Development of a new method for ATFCM based on trajectory based operations

Development of a new method for ATFCM based on trajectory based operations Original Article Development of a new method for ATFCM based on trajectory based operations Dany Gatsinzi, Francisco J Saez Nieto, Irfan Madani Abstract This paper discusses a possibility to evolve the

More information

(Nearly)-tight bounds on the linearity and contiguity of cographs

(Nearly)-tight bounds on the linearity and contiguity of cographs Bordeaux Graph Workshop 21/11/2012 - Bordeaux (Nearly)-tight bounds on the linearity and contiguity of cographs Christophe Crespelle LI Université de Lyon INRIA hilippe Gambette LIGM Université aris-est

More information

Dr. Demetris Demetriou 1,2

Dr. Demetris Demetriou 1,2 CLGE General Assembly: Chisinau, Moldova, October 3 5, 2013 Dr. Demetris Demetriou 1,2 Dipl.(Eng.), MSc(Eng.), MSc, PhD 1 District Land Consolidation Officer of Larnaca and Famagusta, Cyprus Land Consolidation

More information

Multi-objective optimization of workload to study the locus of control in a novel airspace

Multi-objective optimization of workload to study the locus of control in a novel airspace Multi-objective optimization of workload to study the locus of control in a novel airspace KENN C. NELSON Department of pplied Mathematics and Statistics University of California, Santa Cruz ugust 2, 2015

More information

Lecture 22: Counting

Lecture 22: Counting CS 710: Complexity Theory 4/8/2010 Lecture 22: Counting Instructor: Dieter van Melkebeek Scribe: Phil Rydzewski & Chi Man Liu Last time we introduced extractors and discussed two methods to construct them.

More information

directed weighted graphs as flow networks the Ford-Fulkerson algorithm termination and running time

directed weighted graphs as flow networks the Ford-Fulkerson algorithm termination and running time Network Flow 1 The Maximum-Flow Problem directed weighted graphs as flow networks the Ford-Fulkerson algorithm termination and running time 2 Maximum Flows and Minimum Cuts flows and cuts max flow equals

More information

Design and evaluation of overloaded service systems with skill based routing, under FCFS policies

Design and evaluation of overloaded service systems with skill based routing, under FCFS policies Design and evaluation of overloaded service systems with skill based routing, under FCFS policies Ivo Adan Marko Boon Gideon Weiss April 2, 2013 Abstract We study an overloaded service system with servers

More information

Discrete Optimization 23

Discrete Optimization 23 Discrete Optimization 23 2 Total Unimodularity (TU) and Its Applications In this section we will discuss the total unimodularity theory and its applications to flows in networks. 2.1 Total Unimodularity:

More information

CS21 Decidability and Tractability

CS21 Decidability and Tractability CS21 Decidability and Tractability Lecture 18 February 16, 2018 February 16, 2018 CS21 Lecture 18 1 Outline the complexity class NP 3-SAT is NP-complete NP-complete problems: independent set, vertex cover,

More information

Complexity of the min-max and min-max regret assignment problems

Complexity of the min-max and min-max regret assignment problems Complexity of the min-max and min-max regret assignment problems Hassene Aissi Cristina Bazgan Daniel Vanderpooten LAMSADE, Université Paris-Dauphine Place du Maréchal de Lattre de Tassigny, 75775 Paris

More information

Air Traffic Complexity Resolution in Multi-Sector Planning

Air Traffic Complexity Resolution in Multi-Sector Planning Air Resolution in Multi-Sector Planning Using CP Pierre Flener 1 Justin Pearson 1 Magnus Ågren 1 Carlos Garcia-Avello 2 Mete Çeliktin 2 Søren Dissing 2 1 Department of Information Technology, Uppsala University,

More information

McGill University Faculty of Science. Solutions to Practice Final Examination Math 240 Discrete Structures 1. Time: 3 hours Marked out of 60

McGill University Faculty of Science. Solutions to Practice Final Examination Math 240 Discrete Structures 1. Time: 3 hours Marked out of 60 McGill University Faculty of Science Solutions to Practice Final Examination Math 40 Discrete Structures Time: hours Marked out of 60 Question. [6] Prove that the statement (p q) (q r) (p r) is a contradiction

More information

Integration. Darboux Sums. Philippe B. Laval. Today KSU. Philippe B. Laval (KSU) Darboux Sums Today 1 / 13

Integration. Darboux Sums. Philippe B. Laval. Today KSU. Philippe B. Laval (KSU) Darboux Sums Today 1 / 13 Integration Darboux Sums Philippe B. Laval KSU Today Philippe B. Laval (KSU) Darboux Sums Today 1 / 13 Introduction The modern approach to integration is due to Cauchy. He was the first to construct a

More information

Dynamic Reconfiguration of Terminal Airspace During Convective Weather

Dynamic Reconfiguration of Terminal Airspace During Convective Weather Dynamic Reconfiguration of Terminal Airspace During Convective Weather Diana Michalek and Hamsa Balakrishnan Abstract Dynamic airspace configuration (DAC) algorithms strive to restructure the U.S. National

More information

Volume 31, Issue 3. Games on Social Networks: On a Problem Posed by Goyal

Volume 31, Issue 3. Games on Social Networks: On a Problem Posed by Goyal Volume 31, Issue 3 Games on Social Networks: On a Problem Posed by Goyal Ali Kakhbod University of Michigan, Ann Arbor Demosthenis Teneketzis University of Michigan, Ann Arbor Abstract Within the context

More information

Reduced Ordered Binary Decision Diagrams

Reduced Ordered Binary Decision Diagrams Reduced Ordered Binary Decision Diagrams Lecture #12 of Advanced Model Checking Joost-Pieter Katoen Lehrstuhl 2: Software Modeling & Verification E-mail: katoen@cs.rwth-aachen.de December 13, 2016 c JPK

More information

LECTURES 14/15: LINEAR INDEPENDENCE AND BASES

LECTURES 14/15: LINEAR INDEPENDENCE AND BASES LECTURES 14/15: LINEAR INDEPENDENCE AND BASES MA1111: LINEAR ALGEBRA I, MICHAELMAS 2016 1. Linear Independence We have seen in examples of span sets of vectors that sometimes adding additional vectors

More information

Towards a Theory of Information Flow in the Finitary Process Soup

Towards a Theory of Information Flow in the Finitary Process Soup Towards a Theory of in the Finitary Process Department of Computer Science and Complexity Sciences Center University of California at Davis June 1, 2010 Goals Analyze model of evolutionary self-organization

More information

A Novel Framework to Assess the Wake Vortex Hazards Risk Supported by Aircraft in En Route Operations

A Novel Framework to Assess the Wake Vortex Hazards Risk Supported by Aircraft in En Route Operations R WAKE SESAR 2020 Exploratory Research Project A Novel Framework to Assess the Wake Vortex Hazards Risk Supported by Aircraft in En Route Operations Marc Melgosa and Xavier Prats Department of Physics

More information

Progress on Parallel Chip-Firing

Progress on Parallel Chip-Firing Progress on Parallel Chip-Firing Ziv Scully MIT PRIMES May 2, 2 Ziv Scully (MIT PRIMES) Progress on Parallel Chip-Firing May 2, 2 / 8 Motivation Simple rules Obvious patterns which are difficult to prove,

More information

DISCRETIZED CONFIGURATIONS AND PARTIAL PARTITIONS

DISCRETIZED CONFIGURATIONS AND PARTIAL PARTITIONS DISCRETIZED CONFIGURATIONS AND PARTIAL PARTITIONS AARON ABRAMS, DAVID GAY, AND VALERIE HOWER Abstract. We show that the discretized configuration space of k points in the n-simplex is homotopy equivalent

More information

Introduction to Computational Complexity

Introduction to Computational Complexity Introduction to Computational Complexity Tandy Warnow October 30, 2018 CS 173, Introduction to Computational Complexity Tandy Warnow Overview Topics: Solving problems using oracles Proving the answer to

More information

A Hierarchical Model-based Optimization Control Method for Merging of Connected Automated Vehicles. Na Chen, Meng Wang, Tom Alkim, Bart van Arem

A Hierarchical Model-based Optimization Control Method for Merging of Connected Automated Vehicles. Na Chen, Meng Wang, Tom Alkim, Bart van Arem A Hierarchical Model-based Optimization Control Method for Merging of Connected Automated Vehicles Na Chen, Meng Wang, Tom Alkim, Bart van Arem 1 Background Vehicle-to-Vehicle communication Vehicle-to-Infrastructure

More information

Lecture 13: Spectral Graph Theory

Lecture 13: Spectral Graph Theory CSE 521: Design and Analysis of Algorithms I Winter 2017 Lecture 13: Spectral Graph Theory Lecturer: Shayan Oveis Gharan 11/14/18 Disclaimer: These notes have not been subjected to the usual scrutiny reserved

More information

Spectral Clustering. Guokun Lai 2016/10

Spectral Clustering. Guokun Lai 2016/10 Spectral Clustering Guokun Lai 2016/10 1 / 37 Organization Graph Cut Fundamental Limitations of Spectral Clustering Ng 2002 paper (if we have time) 2 / 37 Notation We define a undirected weighted graph

More information

arxiv: v2 [cs.ds] 3 Oct 2017

arxiv: v2 [cs.ds] 3 Oct 2017 Orthogonal Vectors Indexing Isaac Goldstein 1, Moshe Lewenstein 1, and Ely Porat 1 1 Bar-Ilan University, Ramat Gan, Israel {goldshi,moshe,porately}@cs.biu.ac.il arxiv:1710.00586v2 [cs.ds] 3 Oct 2017 Abstract

More information

Complexity Metrics. ICRAT Tutorial on Airborne self separation in air transportation Budapest, Hungary June 1, 2010.

Complexity Metrics. ICRAT Tutorial on Airborne self separation in air transportation Budapest, Hungary June 1, 2010. Complexity Metrics ICRAT Tutorial on Airborne self separation in air transportation Budapest, Hungary June 1, 2010 Outline Introduction and motivation The notion of air traffic complexity Relevant characteristics

More information

Chapter 11. Matrix Algorithms and Graph Partitioning. M. E. J. Newman. June 10, M. E. J. Newman Chapter 11 June 10, / 43

Chapter 11. Matrix Algorithms and Graph Partitioning. M. E. J. Newman. June 10, M. E. J. Newman Chapter 11 June 10, / 43 Chapter 11 Matrix Algorithms and Graph Partitioning M. E. J. Newman June 10, 2016 M. E. J. Newman Chapter 11 June 10, 2016 1 / 43 Table of Contents 1 Eigenvalue and Eigenvector Eigenvector Centrality The

More information

Randomized Coordinate Descent Methods on Optimization Problems with Linearly Coupled Constraints

Randomized Coordinate Descent Methods on Optimization Problems with Linearly Coupled Constraints Randomized Coordinate Descent Methods on Optimization Problems with Linearly Coupled Constraints By I. Necoara, Y. Nesterov, and F. Glineur Lijun Xu Optimization Group Meeting November 27, 2012 Outline

More information

The construction of a regular graph

The construction of a regular graph The construction of a regular graph Ryosuke MIZUNO Department of Physics Kyoto University Yawara ISHIDA Research Institute for Mathematical Science Kyoto University Graphs of Diameter=2 in Graph Golf (Order,Degree)=(64,16)

More information

LOCKHEED MARTIN SITE UPDATE

LOCKHEED MARTIN SITE UPDATE LOCKHEED MARTIN SITE UPDATE 25 SEPTEMBER 2018 Julia Kwok Software Engineer Quantum Applications THE USC-LM QUANTUM COMPUTING CENTER Dr. Edward H. Ned Allen Chief Scientist and LM Senior Fellow Lockheed

More information

Fiedler s Theorems on Nodal Domains

Fiedler s Theorems on Nodal Domains Spectral Graph Theory Lecture 7 Fiedler s Theorems on Nodal Domains Daniel A Spielman September 9, 202 7 About these notes These notes are not necessarily an accurate representation of what happened in

More information

Capacity Estimation. Based on Joe Mitchell s slides

Capacity Estimation. Based on Joe Mitchell s slides Capacity Estimation Based on Joe Mitchell s slides Output: Capacity What is capacity? Estimate of number of aircraft that can be safely routed within a constrained airspace. Demand-driven capacity Sector-induced

More information

4.1.3 Addition of a link between an existing node and the reference node (Case 3):

4.1.3 Addition of a link between an existing node and the reference node (Case 3): 4.1.3 Addition of a link between an existing node and the reference node (Case 3): When an element is connected between an existing node and the reference, it creates a loop and thus, the addition of this

More information

On Acyclicity of Games with Cycles

On Acyclicity of Games with Cycles On Acyclicity of Games with Cycles Daniel Andersson, Vladimir Gurvich, and Thomas Dueholm Hansen Dept. of Computer Science, Aarhus University, {koda,tdh}@cs.au.dk RUTCOR, Rutgers University, gurvich@rutcor.rutgers.edu

More information

Conditional colorings of graphs

Conditional colorings of graphs Discrete Mathematics 306 (2006) 1997 2004 Note Conditional colorings of graphs www.elsevier.com/locate/disc Hong-Jian Lai a,d, Jianliang Lin b, Bruce Montgomery a, Taozhi Shui b, Suohai Fan c a Department

More information

Probabilistic TFM: Preliminary Benefits Analysis of an Incremental Solution Approach

Probabilistic TFM: Preliminary Benefits Analysis of an Incremental Solution Approach Probabilistic TFM: Preliminary Benefits Analysis of an Incremental Solution Approach James DeArmon, Craig Wanke, Daniel Greenbaum MITRE/CAASD 7525 Colshire Dr McLean VA 22102 Introduction The National

More information