On the Optimal Conflict Resolution for Air Traffic Control Dept. Of Electrical Systems and Automation Pisa University Laboratory of Information and Decision.

Slides:



Advertisements
Similar presentations
Magnetism Part II Field and Flux. Origins of Magnetic Fields Using Biot-Savart Law to calculate the magnetic field produced at some point in space by.
Advertisements

Using dynamic flow network modeling for global flight plan optimization CARE workshop 14th –15th March 2001, EUROCONTROL Brussels. Dritan Nace Heudiasyc.
Motion.
16.410: Eric Feron / MIT, Spring 2001 Introduction to the Simplex Method to solve Linear Programs Eric Feron Spring 2001.
ECE Longest Path dual 1 ECE 665 Spring 2005 ECE 665 Spring 2005 Computer Algorithms with Applications to VLSI CAD Linear Programming Duality – Longest.
Lesson 08 Linear Programming
1 Chapter 11 Here we see cases where the basic LP model can not be used.
Linear Motion Chapters 2 and 3.
Continuous Collision Detection: Progress and Challenges Gino van den Bergen dtecta
INTRODUCTION TO DYNAMICS ANALYSIS OF ROBOTS (Part 6)
Optimization of thermal processes2007/2008 Optimization of thermal processes Maciej Marek Czestochowa University of Technology Institute of Thermal Machinery.
EE631 Cooperating Autonomous Mobile Robots Lecture 5: Collision Avoidance in Dynamic Environments Prof. Yi Guo ECE Dept.
Optimization in Engineering Design 1 Lagrange Multipliers.
Chapter 8: Rotational Kinematics Lecture Notes
Plane Kinematics of Rigid Bodies
Forward Kinematics.
Physics 106: Mechanics Lecture 01
Examples of Various Formulations of Optimization Problems.
MIT-LIDS Analysis of intrersecting flows of agents Eric Feron & David Dugail Mini MURI 03/02/02.
5.6 Maximization and Minimization with Mixed Problem Constraints
MODEL FOR FLIGHT LEVEL ASSIGNMENT PROBLEM ICRAT International Conference on Research in Air Transportation Alfred Bashllari National & Kapodistrian.
Chapter 8 Rotational Kinematics. Axis of Rotation When an object rotates, points on the object, such as A, B, or C, move on circular paths. The centers.
Linear programming. Linear programming… …is a quantitative management tool to obtain optimal solutions to problems that involve restrictions and limitations.
Optimization formulation Optimization methods help us find solutions to problems where we seek to find the best of something. This lecture is about how.
Max-flow/min-cut theorem Theorem: For each network with one source and one sink, the maximum flow from the source to the destination is equal to the minimal.
Physics. Session Particle Dynamics - 5 Session Objective 1.Circular motion 2.Angular variables 3.Unit vector along radius and tangent 4.Radial and tangential.
Chapter 10 - Rotation In this chapter we will study the rotational motion of rigid bodies about a fixed axis. To describe this type of motion we will introduce.
Motion ISCI Speed Speed: change in distance over time Speed =  d /  t Constant vs. Average Speed Speed is a ‘scalar’ quantity – No directional.
Chapter 4Linear motion. 1) Linear means in a straight line.
1 Chapter-4: Network Flow Modeling & Optimization Deep Medhi and Karthik Ramasamy August © D. Medhi & K. Ramasamy, 2007.
Chapters 10, 11 Rotation and angular momentum. Rotation of a rigid body We consider rotational motion of a rigid body about a fixed axis Rigid body rotates.
A particle moves in a circle of radius r. Having moved an arc length s, its angular position is θ relative to its original position, where. An angular.
Rotation Rotational Variables Angular Vectors Linear and Angular Variables Rotational Kinetic Energy Rotational Inertia Parallel Axis Theorem Newton’s.
Rotational Kinematics
1 Introduction to Linear and Nonlinear Programming.
Beyond trial and error…. Establish mathematically how robot should move Kinematics: how robot will move given motor inputs Inverse-kinematics: how to.
An Iterated Method to the Dubins Vehicle Travelling Salesman Problem OBJECTIVES Develop an algorithm to compute near optimal solutions to the Travelling.
Motion.
Rotational Motion 2 Coming around again to a theater near you.
Rotational Motion Comparison of Angular Motion with One-dimensional Horizontal Motion Distance traveled is replaced by the angle traveled around the circle.
Chapter 8: Rotational Kinematics Essential Concepts and Summary.
Chapter 10 Rotational Motion.
A LINEAR PROGRAMMING PROBLEM HAS LINEAR OBJECTIVE FUNCTION AND LINEAR CONSTRAINT AND VARIABLES THAT ARE RESTRICTED TO NON-NEGATIVE VALUES. 1. -X 1 +2X.
Mathematical Model of Motion Chapter 5. Velocity Equations Average velocity: v =  d/  t To find the distance traveled with constant or average velocity.
Chapter Angular Position, Velocity, and Acceleration 10.2
Exam 2 Review 8.02 W08D1. Announcements Test Two Next Week Thursday Oct 27 7:30-9:30 Section Room Assignments on Announcements Page Test Two Topics: Circular.
Linear Kinematics Displacement Velocity and Acceleration WOD are underlined.
The Analytic Blunder Risk Model (ABRM) A computer model for predicting collision risk Kenneth Geisinger Operations Research Analyst Federal Aviation Administration.
D. Roberts PHYS 121 University of Maryland Physic² 121: Phundament°ls of Phy²ics I November 1, 2006.
Chapters 7 & 8 The Law of Gravity and Rotational Motion.
CHS Physics Rolling Motion. A Rolling Wheel Consider three points on a rolling wheel. Consider three points on a rolling wheel. The Center of MassThe.
Review of PMP Derivation We want to find control u(t) which minimizes the function: x(t) = x*(t) +  x(t); u(t) = u*(t) +  u(t); (t) = *(t) +  (t);
Constraints. Constraints in Inventor ? Constraints Defined Constraint - The state of being restricted or confined within prescribed bounds.
Wavelength-Routed Optical Networks: Linear Formulation, Resource Budgeting Tradeoffs, and a Reconfiguration Study Dhritiman Banergee and Biswanath Mukherjee,
Basilio Bona DAUIN – Politecnico di Torino
Lecture 20 Review of ISM 206 Optimization Theory and Applications.
Logical path planning Róbert Baláž Technical University of Košice
Optimal Acceleration and Braking Sequences for Vehicles in the Presence of Moving Obstacles Jeff Johnson, Kris Hauser School of Informatics and Computing.
An Introduction to Linear Programming
Control Design and Analysis of Chained Systems
Optimal Planning for Vehicles with Bounded Curvature: Coordinated Vehicles and Obstacle Avoidance Andy Perrin.
6.5 Stochastic Prog. and Benders’ decomposition
Path Curvature Sensing Methods for a Car-like Robot
Vehicle Characteristics and Car Following
Basic Biomechanics, (5th edition) by Susan J. Hall, Ph.D.
Chapter 6 Network Flow Models.
Part 3. Linear Programming
6.5 Stochastic Prog. and Benders’ decomposition
Chapter 4 . Trajectory planning and Inverse kinematics
Variational Inequalities
Presentation transcript:

On the Optimal Conflict Resolution for Air Traffic Control Dept. Of Electrical Systems and Automation Pisa University Laboratory of Information and Decision Systems MIT Lucia Pallottino Eric Feron Antonio Bicchi JUP Meeting January 18-19, 2001

Introduction ä Formulation as Optimal Control Problem (OCP): ä Extremal solution (PMP): â Unconstrained path; â Constrained path of zero length; â Constrained path of non-zero length; ä Conflict Resolution Algorithm; ä Formulation as a Mixed Integer Programming (MIP)

Model of OCP Motion of aircraft subject to some constraint: u linear velocity parallel to a fixed axis on the vehicle u constant non negative linear velocities u bounded steering radius u Minimum distance between aircraft GOAL: given an initial and a final configuration for each aircraft, find the collision free paths of minimum total time.

The OCP collision constraint :

Unconstrained Optimal Solution for OCP Optimal solution will consist of concatenations of free and constrained arcs, e.g. Unconstrained Constrained

u Extremal unconstrained path are concatenation of F s egment F Arc of a circle Unconstrained paths for OCP Type S Type C

Extremal free paths of type CSC

Extremal free paths of type CCC

Velocities are parallel and the line joining the two aircraft can only translate Velocities are symmetric respect to the line joining the two aircraft Contact Configuration

Conflict Resolution Algorithm

Model of MIP Motion of aircraft subject to some constraint: u linear velocity parallel to a fixed axis on the vehicle u constant non negative linear velocities u Minimum distance between aircraft u Maneuver: heading angle instantaneous change GOAL: given an initial and a final configuration for each aircraft, find a single “minimum” maneuver to avoid all possible conflict.

Configuration after maneuver: Maneuvre scenario for MIP A C B Initial Configuration:

Nonintersecting direction of motion Constraints that are function of and are linear in

Intersecting direction of motion A B B Constraints that are function of and are linear in

are linear function in Linear constraint for MIP “big” positive number Boolean variables

Minimum deviation problem: Aircraft variables constraints u The MIP problem

CPLEX Solutions

n (Aircraft) Time (sec.) Length (nm) Delta (nm) CPLEX Simulation