Loading [MathJax]/extensions/MathMenu.js
Senay Solak - IEEE Xplore Author Profile

Showing 1-8 of 8 results

Filter Results

Show

Results

Mass penetration and market dominance of Electric Vehicles (EVs) are expected in the upcoming years. Due to their frequent charging needs, not only public and private charging stations are being built, but also V2V charging options are considered. This forms a charging network with various suppliers and EV customers which can communicate to schedule charging operations. While an app can be designe...Show More
Cybersecurity has become a key factor determining the success of business operations who relies on the functioning of information systems. Hence, the effecient investment on cybersecurity is an important financial and operaional decision. We propose a modeling framework that incorporates major components relevant to cybersecurity practice, and study the characteristics of optimal cybersecurity inv...Show More
This paper explores methods to include aspects of controller taskload into conflict-resolution programs through a parametric approach. We are motivated by the desire to create conflict-resolution decision-support tools that operate within a human-in-the-loop control architecture by actively accounting for, and moderating, controller taskload. Specifically, we introduce two conflict-resolution prog...Show More
In this paper, we consider the air-traffic conflict-resolution problem and develop an optimization model to identify the required heading and speed changes of aircraft to avoid conflict such that fuel costs are minimized. Nonconvex fuel functions in the optimization problem are modeled through tight linear approximations, which enable the formulation of the problem as a mixed-integer linear progra...Show More
We consider the air traffic conflict resolution problem and develop an optimization model for generating speed trajectories that minimize the fuel expended to avoid conflicts. The problem is formulated by metering aircraft at potential conflict points. The developed model is a mixed integer linear program that can be solved in near real-time for large number of aircraft.Show More
This paper considers the air traffic conflict resolution problem in the context of wind uncertainty. Aircraft are assigned changes in airspeed to prevent conflict. The goal is to determine the optimal maneuver to balance deviation costs (e.g., fuel costs) and the probability of conflict. A two-stage recourse model is developed, in which new airspeeds are assigned in the first stage, based on expec...Show More
This paper presents a new methodology for rapidly generating complexity maps for various configurations taking into account the influence of some conflict avoidance algorithm at a pair-wise intersection level. The complexity maps are based on analytical expressions, validated through simulations, of the probability of conflict and the spatial distribution of aircraft. This ¿closed-loop¿ analysis e...Show More
Despite the existence of several automated air traffic conflict resolution algorithms, there is a need for formulations that account for air traffic controller workload. This paper presents such an algorithm with controller workload constraints modeled parametrically. To this end, we first develop an integer programming model for general conflict resolution, which emphasizes the minimization of fu...Show More