Showing 1–20 of 20 results for author: Nilsson, G

A Blotto Game Approach to Ride-hailing Markets with Electric Vehicles

Authors: Marko Maljkovic, Gustav Nilsson, Nikolas Geroliminis

Abstract: When a centrally operated ride-hailing company considers to enter a market already served by another company, it has to make a strategic decision about how to distribute its fleet among different regions in the area. This decision will be influenced by the market share the company can secure and the costs associated with charging the vehicles in each region, all while competing with the company al… ▽ More When a centrally operated ride-hailing company considers to enter a market already served by another company, it has to make a strategic decision about how to distribute its fleet among different regions in the area. This decision will be influenced by the market share the company can secure and the costs associated with charging the vehicles in each region, all while competing with the company already operating in the area. In this paper, we propose a Colonel Blotto-like game to model this decision-making. For the class of games that we study, we first prove the existence and uniqueness of a Nash Equilibrium. Subsequently, we provide its general characterization and present an algorithm for computing the ones in the feasible set's interior. Additionally, for a simplified scenario involving two regions, which would correspond to a city area with a downtown and a suburban region, we also provide a method to check for the equilibria on the feasible set's boundary. Finally, through a numerical case study, we illustrate the impact of charging prices on the position of the Nash equilibrium. △ Less

Submitted 25 March, 2024; originally announced March 2024.

Comments: Extended version of the paper accepted for presentation at the 2024 European Control Conference (ECC2024)

Macroscopic pricing schemes for the utilization of pool ride-hailing vehicles in bus lanes

Authors: Lynn Fayed, Gustav Nilsson, Nikolas Geroliminis

Abstract: With the increasing popularity of ride-hailing services, new modes of transportation are having a significant impact on the overall performance of transportation networks. As a result, there is a need to ensure that both the various transportation alternatives and the spatial network resources are used efficiently. In this work, we analyze a network configuration where part of the urban transporta… ▽ More With the increasing popularity of ride-hailing services, new modes of transportation are having a significant impact on the overall performance of transportation networks. As a result, there is a need to ensure that both the various transportation alternatives and the spatial network resources are used efficiently. In this work, we analyze a network configuration where part of the urban transportation network is devoted to dedicated bus lanes. Apart from buses, we let pool ride-hailing trips use the dedicated bus lanes which, contingent upon the demand for the remaining modes, may result in faster trips for users opting for the pooling alternative. Under an aggregated modelling framework, we characterize the spatial configuration and the multi-modal demand split for which this strategy achieves a system optimum. For these specific scenarios, we compute the equilibrium when ride-hailing users can choose between solo and pool services, and we provide a pricing scheme for mitigating the gap between total user delays of the system optimum and user equilibrium solutions, when needed. △ Less

Submitted 20 March, 2024; originally announced March 2024.

Comments: Extended version of paper accepted to European Control Conference (ECC) 2024

On decentralized computation of the leader's strategy in bi-level games

Authors: Marko Maljkovic, Gustav Nilsson, Nikolas Geroliminis

Abstract: Motivated by the omnipresence of hierarchical structures in many real-world applications, this study delves into the intricate realm of bi-level games, with a specific focus on exploring local Stackelberg equilibria as a solution concept. While existing literature offers various methods tailored to specific game structures featuring one leader and multiple followers, a comprehensive framework prov… ▽ More Motivated by the omnipresence of hierarchical structures in many real-world applications, this study delves into the intricate realm of bi-level games, with a specific focus on exploring local Stackelberg equilibria as a solution concept. While existing literature offers various methods tailored to specific game structures featuring one leader and multiple followers, a comprehensive framework providing formal convergence guarantees to a local Stackelberg equilibrium appears to be lacking. Drawing inspiration from sensitivity results for nonlinear programs and guided by the imperative to maintain scalability and preserve agent privacy, we propose a decentralized approach based on the projected gradient descent with the Armijo stepsize rule. The main challenge here lies in assuring the existence and well-posedness of Jacobians that describe the leader's decision's influence on the achieved equilibrium of the followers. By meticulous tracking of the Implicit Function Theorem requirements at each iteration, we establish formal convergence guarantees to a local Stackelberg equilibrium for a broad class of bi-level games. Building on our prior work on quadratic aggregative Stackelberg games, we also introduce a decentralized warm-start procedure based on the consensus alternating direction method of multipliers addressing the previously reported initialization issues. Finally, we provide empirical validation through two case studies in smart mobility, showcasing the effectiveness of our general method in handling general convex constraints, and the effectiveness of its extension in tackling initialization issues. △ Less

Submitted 22 February, 2024; originally announced February 2024.

A Dynamic Macroscopic Framework for Pricing of Ride-hailing Services with an Optional Bus Lane Access for Pool Vehicles

Authors: Lynn Fayed, Gustav Nilsson, Nikolas Geroliminis

Abstract: On-demand trip sharing is an efficient solution to mitigate the negative impact e-hailing has on congestion. It motivates platform operators to reduce their fleet size, and serves the same demand level with a lower effective distance traveled. Users nevertheless prefer to travel solo and for shorter distances despite the fare discount they receive. By offering them the choice to pool and travel in… ▽ More On-demand trip sharing is an efficient solution to mitigate the negative impact e-hailing has on congestion. It motivates platform operators to reduce their fleet size, and serves the same demand level with a lower effective distance traveled. Users nevertheless prefer to travel solo and for shorter distances despite the fare discount they receive. By offering them the choice to pool and travel in high occupancy dedicated bus lanes, we provide them with a larger incentive to share their rides, yet this creates additional bus delays. In this work, we develop dynamic feedback-based control schemes that adjust the price gap between solo and pool trips to improve multi-modal delays. First, we develop a modal- and space-dependent aggregate model for private vehicles, ride-pooling, and buses, and we use this model to test different control strategies. To minimize the error between the target and actual speeds in the bus network, we design a PI controller and show that by adjusting pool trip fares, we can, with little input data, minimize this error. We also put forward a Model Predictive Control (MPC) framework to minimize the total Passenger Hours Traveled (PHT) and Waiting Times (WT) for the different travelers. Moreover, we show how the MPC framework can be utilized to impose a minimum speed in dedicated bus lanes to ensure that the buses operate on schedule. The results mark the possibility of improving the overall network conditions by incentivizing or discouraging pooling in the vehicle or bus network. △ Less

Submitted 2 October, 2023; originally announced October 2023.

Learning How to Price Charging in Electric Ride-Hailing Markets

Authors: Marko Maljkovic, Gustav Nilsson, Nikolas Geroliminis

Abstract: With the electrification of ride-hailing fleets, there will be a need to incentivize where and when the ride-hailing vehicles should charge. In this work, we assume that a central authority wants to control the distribution of the vehicles and can do so by selecting charging prices. Since there will likely be more than one ride-hailing company in the market, we model the problem as a single-leader… ▽ More With the electrification of ride-hailing fleets, there will be a need to incentivize where and when the ride-hailing vehicles should charge. In this work, we assume that a central authority wants to control the distribution of the vehicles and can do so by selecting charging prices. Since there will likely be more than one ride-hailing company in the market, we model the problem as a single-leader multiple-follower Stackelberg game. The followers, i.e., the companies, compete about the charging resources under given prices provided by the leader. We present a learning algorithm based on the concept of contextual bandits that allows the central authority to find an efficient pricing strategy. We also show how the exploratory phase of the learning can be improved if the leader has some partial knowledge about the companies' objective functions. The efficiency of the proposed algorithm is demonstrated in a simulated case study for the city of Shenzhen, China. △ Less

Submitted 25 August, 2023; originally announced August 2023.

Comments: Extended version of the paper accepted to the IEEE Conference on Decision and Control (CDC) 2023

GreenEVT: Greensboro Electric Vehicle Testbed

Authors: Gustav Nilsson, Alejandro D. Owen Aquino, Samuel Coogan, Daniel K. Molzahn

Abstract: The ongoing electrification of the transportation fleet will increase the load on the electric power grid. Since both the transportation network and the power grid already experience periods of significant stress, joint analyses of both infrastructures will most likely be necessary to ensure acceptable operation in the future. To enable such analyses, this paper presents an open-source testbed tha… ▽ More The ongoing electrification of the transportation fleet will increase the load on the electric power grid. Since both the transportation network and the power grid already experience periods of significant stress, joint analyses of both infrastructures will most likely be necessary to ensure acceptable operation in the future. To enable such analyses, this paper presents an open-source testbed that jointly simulates high-fidelity models of both the electric distribution system and the transportation network. The testbed utilizes two open-source simulators, OpenDSS to simulate the electric distribution system and the microscopic traffic simulator SUMO to simulate the traffic dynamics. Electric vehicle charging links the electric distribution system and the transportation network models at vehicle locations determined using publicly available parcel data. Leveraging high-fidelity synthetic electric distribution system data from the SMART-DS project and transportation system data from OpenStreetMap, this testbed models the city of Greensboro, NC down to the household level. Moreover, the methodology and the supporting scripts released with the testbed allow adaption to other areas where high-fidelity geolocated OpenDSS datasets are available. After describing the components and usage of the testbed, we exemplify applications enabled by the testbed via two scenarios modeling the extreme stresses encountered during evacuations. △ Less

Submitted 22 May, 2023; originally announced May 2023.

On Finding the Leader's Strategy in Quadratic Aggregative Stackelberg Pricing Games

Authors: Marko Maljkovic, Gustav Nilsson, Nikolas Geroliminis

Abstract: This paper analyzes a class of Stackelberg games where different actors compete for shared resources and a central authority tries to balance the demand through a pricing mechanism. Situations like this can for instance occur when fleet owners of electric taxi services compete about charging spots. In this paper, we model the competition between the followers as an aggregative game, i.e., each pla… ▽ More This paper analyzes a class of Stackelberg games where different actors compete for shared resources and a central authority tries to balance the demand through a pricing mechanism. Situations like this can for instance occur when fleet owners of electric taxi services compete about charging spots. In this paper, we model the competition between the followers as an aggregative game, i.e., each player's decision only depends on the aggregate strategy of the others. While it has previously been shown that there exist dynamic pricing strategies to achieve the central authority's objective, we in this paper present a method to compute optimal static prices. Proof of convergence of the method is presented, together with a numerical study showcasing the benefits and the speed of convergence of the proposed method. △ Less

Submitted 23 April, 2023; originally announced April 2023.

Comments: Extended version of the paper accepted to ECC 2023

Hierarchical Pricing Game for Balancing the Charging of Ride-Hailing Electric Fleets

Authors: Marko Maljkovic, Gustav Nilsson, Nikolas Geroliminis

Abstract: Due to the ever-increasing popularity of ride-hailing services and the indisputable shift towards alternative fuel vehicles, the intersection of the ride-hailing market and smart electric mobility provides an opportunity to trade different services to achieve societal optimum. In this work, we present a hierarchical, game-based, control mechanism for balancing the simultaneous charging of multiple… ▽ More Due to the ever-increasing popularity of ride-hailing services and the indisputable shift towards alternative fuel vehicles, the intersection of the ride-hailing market and smart electric mobility provides an opportunity to trade different services to achieve societal optimum. In this work, we present a hierarchical, game-based, control mechanism for balancing the simultaneous charging of multiple ride-hailing fleets. The mechanism takes into account sometimes conflicting interests of the ride-hailing drivers, the ride-hailing company management, and the external agents such as power-providing companies or city governments that will play a significant role in charging management in the future. The upper-level control considers charging price incentives and models the interactions between the external agents and ride-hailing companies as a Reverse Stackelberg game with a single leader and multiple followers. The lower-level control motivates the revenue-maximizing drivers to follow the company operator's requests through surge pricing and models the interactions as a single leader, multiple followers Stackelberg game. We provide a pricing mechanism that ensures the existence of a unique Nash equilibrium of the upper-level game that minimizes the external agent's objective at the same time. We provide theoretical and experimental robustness analysis of the upper-level control with respect to parameters whose values depend on sensitive information that might not be entirely accessible to the external agent. For the lower-level algorithm, we combine the Nash equilibrium of the upper-level game with a quadratic mixed integer optimization problem to find the optimal surge prices. Finally, we illustrate the performance of the control mechanism in a case study based on real taxi data from the city of Shenzhen in China. △ Less

Submitted 16 October, 2022; originally announced October 2022.

Safe Schedule Verification for Urban Air Mobility Networks with Node Closures

Authors: Qinshuang Wei, Gustav Nilsson, Samuel Coogan

Abstract: In Urban Air Mobility (UAM) networks, takeoff and landing sites, called vertiports, are likely to experience intermittent closures due to, e.g., adverse weather. To ensure safety, all in-flight Urban Air Vehicles (UAVs) in a UAM network must therefore have alternative landing sites with sufficient landing capacity in the event of a vertiport closure. In this paper, we study the problem of safety v… ▽ More In Urban Air Mobility (UAM) networks, takeoff and landing sites, called vertiports, are likely to experience intermittent closures due to, e.g., adverse weather. To ensure safety, all in-flight Urban Air Vehicles (UAVs) in a UAM network must therefore have alternative landing sites with sufficient landing capacity in the event of a vertiport closure. In this paper, we study the problem of safety verification of UAM schedules in the face of vertiport closures. We first provide necessary and sufficient conditions for a given UAM schedule to be safe in the sense that, if a vertiport closure occurs, then all UAVs will be able to safely land at a backup landing site. Next, we convert these conditions to an efficient algorithm for verifying safety of a UAM schedule via a linear program by using properties of totally unimodular matrices. Our algorithm allows for uncertain travel time between UAM vertiports and scales quadratically with the number of scheduled UAVs. We demonstrate our algorithm on a UAM network with up to 1,000 UAVs. △ Less

Submitted 26 June, 2022; originally announced June 2022.

Comments: 12 pages

A Pricing Mechanism for Balancing the Charging of Ride-Hailing Electric Vehicle Fleets

Authors: Marko Maljkovic, Gustav Nilsson, Nikolas Geroliminis

Abstract: Both ride-hailing services and electric vehicles are becoming increasingly popular and it is likely that charging management of the ride-hailing vehicles will be a significant part of the ride-hailing company's operation in the near future. Motivated by this, we propose a game theoretic model for charging management, where we assume that it is the fleet-operator that wants to minimize its operatio… ▽ More Both ride-hailing services and electric vehicles are becoming increasingly popular and it is likely that charging management of the ride-hailing vehicles will be a significant part of the ride-hailing company's operation in the near future. Motivated by this, we propose a game theoretic model for charging management, where we assume that it is the fleet-operator that wants to minimize its operational cost, which among others include the price of charging. To avoid overcrowded charging stations, a central authority will design pricing policies to incentivize the vehicles to spread out among the charging stations, in a setting where several ride-hailing companies compete about the resources. We show that it is possible to construct pricing policies that make the Nash-equilibrium between the companies follow the central authority's target value when the desired load is feasible. Moreover, we provide a decentralized algorithm for computation of the equilibrium and conclude the paper with a numerical example illustrating the results. △ Less

Submitted 17 March, 2022; originally announced March 2022.

Comments: Extended version of the paper accepted to the European Control Conference 2022

The Strong Integral Input-to-State Stability Property in Dynamical Flow Networks

Authors: Gustav Nilsson, Samuel Coogan

Abstract: Dynamical flow networks serve as macroscopic models for, e.g., transportation networks, queuing networks, and distribution networks. While the flow dynamics in such networks follow the conservation of mass on the links, the outflow from each link is often non-linear due to, e.g., flow capacity constraints and simultaneous service rate constraints. Such non-linear constraints imply a limit on the m… ▽ More Dynamical flow networks serve as macroscopic models for, e.g., transportation networks, queuing networks, and distribution networks. While the flow dynamics in such networks follow the conservation of mass on the links, the outflow from each link is often non-linear due to, e.g., flow capacity constraints and simultaneous service rate constraints. Such non-linear constraints imply a limit on the magnitude of exogenous inflow that is able to be accommodated by the network before it becomes overloaded and its state trajectory diverges. This paper shows how the Strong integral Input-to-State Stability (Strong iISS) property allows for quantifying the effects of the exogenous inflow on the flow dynamics. The Strong iISS property enables a unified stability analysis of classes of dynamical flow networks that were only partly analyzable before, such as networks with cycles, multi-commodity flow networks and networks with non-monotone flow dynamics. We present sufficient conditions on the maximum magnitude of exogenous inflow to guarantee input-to-state stability for a dynamical flow network, and we also present cases when this sufficient condition is necessary. The conditions are exemplified on a few existing dynamical flow network models, specifically, fluid queuing models with time-varying exogenous inflows and multi-commodity flow models. △ Less

Submitted 18 November, 2021; originally announced November 2021.

Sensitivity to User Mischaracterizations in Electric Vehicle Charging

Authors: Cesar Santoyo, Gustav Nilsson, Samuel Coogan

Abstract: In this paper, we consider electric vehicle charging facilities that offer various levels of service for varying prices such that rational users choose a level of service that minimizes the total cost to themselves including an opportunity cost that incorporates users' value of time. In this setting, we study the sensitivity of the expected occupancy at the facility to mischaracterizations of user… ▽ More In this paper, we consider electric vehicle charging facilities that offer various levels of service for varying prices such that rational users choose a level of service that minimizes the total cost to themselves including an opportunity cost that incorporates users' value of time. In this setting, we study the sensitivity of the expected occupancy at the facility to mischaracterizations of user profiles and uncharacterized heterogeneity. For user profile mischaracterizations, we first provide a fundamental upper bound for the difference between the expected occupancy under any two different distributions on a user's impatience (i.e., value of time) that only depends on the minimum and maximum charging rate offered by the charging facility. Next, we consider the case when a user's impatience is a discrete random variable and study the sensitivity of the expected occupancy to the probability masses and attained values of the random variable. We show that the expected occupancy varies linearly with respect to the probability masses and is piecewise constant with respect to the attained values. Furthermore, we study the effects on the expected occupancy from the occurrence of heterogeneous user populations. In particular, we quantify the effect on the expected occupancy from the existence of sub-populations that may only select a subset of the offered service levels. Lastly, we quantify the variability of early departures on the expected occupancy. These results demonstrate how the facility operator might design prices such that the expected occupancy does not vary much under small changes in the distribution of a user's impatience, variable and limited user service needs, or uncharacterized early departure, quantities which are generally difficult to characterize accurately from data. We further demonstrate our results via examples. △ Less

Submitted 24 November, 2021; v1 submitted 16 November, 2021; originally announced November 2021.

Capacity-Constrained Urban Air Mobility Scheduling

Authors: Qinshuang Wei, Gustav Nilsson, Samuel Coogan

Abstract: This paper studies the problem of scheduling urban air mobility trips when travel times are uncertain and capacity at destinations is limited. Urban air mobility, in which air transportation is used for relatively short trips within a city or region, is emerging as a possible component in future transportation networks. Destinations in urban air mobility networks, called vertiports or vertistops,… ▽ More This paper studies the problem of scheduling urban air mobility trips when travel times are uncertain and capacity at destinations is limited. Urban air mobility, in which air transportation is used for relatively short trips within a city or region, is emerging as a possible component in future transportation networks. Destinations in urban air mobility networks, called vertiports or vertistops, typically have limited landing capacity, and, for safety, it must be guaranteed that an air vehicle will be able to land before it can be allowed to take off. We first present a tractable model of urban air mobility networks that accounts for limited landing capacity and uncertain travel times between destinations with lower and upper travel time bounds. We then establish theoretical bounds on the achievable throughput of the network. Next, we present a tractable algorithm for scheduling trips to satisfy safety constraints and arrival deadlines. The algorithm allows for dynamically updating the schedule to accommodate, e.g., new demands over time. The paper concludes with case studies that demonstrate the algorithm on two networks. △ Less

Submitted 1 July, 2021; originally announced July 2021.

Comments: 12 pages, 5 figures

On the Impact of the Capacity Drop Phenomenon for Freeway Traffic Flow Control

Authors: Michael Enqi Cao, Gustav Nilsson, Samuel Coogan

Abstract: Capacity drop is an empirically observed phenomenon in vehicular traffic flow on freeways whereby, after a critical density is reached, a state of congestion sets in, but the freeway does not become decongested again until the density drops well below the critical density. This introduces a hysteresis effect so that it is easier to enter the congested state than to leave it. However, many existing… ▽ More Capacity drop is an empirically observed phenomenon in vehicular traffic flow on freeways whereby, after a critical density is reached, a state of congestion sets in, but the freeway does not become decongested again until the density drops well below the critical density. This introduces a hysteresis effect so that it is easier to enter the congested state than to leave it. However, many existing first-order models of traffic flow, particularly those used for control design, ignore capacity drop, leading to suboptimal controllers. In this paper, we consider a cell transmission model of traffic flow that incorporates capacity drop to study the problem of optimal freeway ramp metering. We show that, if capacity drop is ignored in the control design, then the resulting controller, obtained via a convex program, may be significantly suboptimal. We then propose an alternative model predictive controller that accounts for capacity drop via a mixed integer linear program and show that, for sufficiently large rollout horizon, this controller is optimal. We also compare these approaches to a heuristic hand-crafted controller that is viewed as a modification of an integral feedback controller to account for capacity drop. This heuristic controller outperforms the controller that ignores capacity drop but underperforms compared to the proposed alternative model predictive controller. These results suggest that it is generally important to include capacity drop in the controller design process, and we demonstrate this insight on several case studies. △ Less

Submitted 18 June, 2021; originally announced June 2021.

Comments: Extended version of paper accepted to IEEE Conference on Control Technology and Applications (CCTA) 2021

Resource Aware Pricing for Electric Vehicle Charging

Authors: Cesar Santoyo, Gustav Nilsson, Samuel Coogan

Abstract: Electric vehicle charging facilities offer electric charge and parking to users for a fee. Both parking availability and electric charge capacity are constrained resources, and as the demand for charging facilities grows with increasing electric vehicle adoption, so too does the potential for exceeding these resource limitations. In this paper, we study how prices set by the charging facility impa… ▽ More Electric vehicle charging facilities offer electric charge and parking to users for a fee. Both parking availability and electric charge capacity are constrained resources, and as the demand for charging facilities grows with increasing electric vehicle adoption, so too does the potential for exceeding these resource limitations. In this paper, we study how prices set by the charging facility impact the likelihood that resource constraints are exceeded. Specifically, we present probabilistic bounds on the number of charging spots and the total power supply needed at a facility based on the characteristics of the arriving vehicles. We assume the charging facility either offers a set of distinct and fixed charging rates to each user or allows the user to decide a charging deadline, from which a charging rate is determined. Users arrive randomly, requiring a random amount of charge. Additionally, each user has a random impatience factor that quantifies their value of time, and a random desired time to stay at a particular location. Assuming rational user behavior, and with knowledge of the probability distribution of the random parameters, we present high-confidence bounds on the total number of vehicles parked at the station and the aggregate power use of all vehicles actively charging. We demonstrate how these bounds can be used by a charging facility to determine appropriate prices and investigate through a Monte-Carlo simulation case study the tightness of the bounds. △ Less

Submitted 22 September, 2020; originally announced September 2020.

Data Augmentation of IMU Signals and Evaluation via a Semi-Supervised Classification of Driving Behavior

Authors: Amani Jaafer, Gustav Nilsson, Giacomo Como

Abstract: Over the past years, interest in classifying drivers' behavior from data has surged. Such interest is particularly relevant for car insurance companies who, due to privacy constraints, often only have access to data from Inertial Measurement Units (IMU) or similar. In this paper, we present a semi-supervised learning solution to classify portions of trips according to whether drivers are driving a… ▽ More Over the past years, interest in classifying drivers' behavior from data has surged. Such interest is particularly relevant for car insurance companies who, due to privacy constraints, often only have access to data from Inertial Measurement Units (IMU) or similar. In this paper, we present a semi-supervised learning solution to classify portions of trips according to whether drivers are driving aggressively or normally based on such IMU data. Since the amount of labeled IMU data is limited and costly to generate, we utilize Recurrent Conditional Generative Adversarial Networks (RCGAN) to generate more labeled data. Our results show that, by utilizing RCGAN-generated labeled data, the classification of the drivers is improved in 79% of the cases, compared to when the drivers are classified with no generated data. △ Less

Submitted 16 June, 2020; originally announced June 2020.

Comments: Extended version of the paper accepted to The 23rd IEEE International Conference on Intelligent Transportation Systems

Extent-Compatible Control Barrier Functions

Authors: Mohit Srinivasan, Matthew Abate, Gustav Nilsson, Samuel Coogan

Abstract: Safety requirements in dynamical systems are commonly enforced with set invariance constraints over a safe region of the state space. Control barrier functions, which are Lyapunov-like functions for guaranteeing set invariance, are an effective tool to enforce such constraints and guarantee safety when the system is represented as a point in the state space. In this paper, we introduce extent-comp… ▽ More Safety requirements in dynamical systems are commonly enforced with set invariance constraints over a safe region of the state space. Control barrier functions, which are Lyapunov-like functions for guaranteeing set invariance, are an effective tool to enforce such constraints and guarantee safety when the system is represented as a point in the state space. In this paper, we introduce extent-compatible control barrier functions as a tool to enforce safety for the system including its volume (extent) in the physical world. In order to implement the extent-compatible control barrier functions framework, a sum-of-squares based optimization program is proposed. Since sum-of-squares programs can be computationally prohibitive, we additionally introduce a sampling based method in order to retain the computational advantage of a traditional barrier function based quadratic program controller. We prove that the proposed sampling based controller retains the guarantee for safety. Simulation and robotic implementation results are also provided. △ Less

Submitted 20 January, 2020; originally announced January 2020.

On the Well-Posedness of Dynamical Flow Networks With Feedback-Controlled Outflows

Authors: Giacomo Como, Gustav Nilsson

Abstract: We study the well-posedness of a class of dynamical flow network systems describing the dynamical mass balance among a finite number of cells exchanging flow of a commodity between themselves and with the external environment. Systems in the considered class are described as differential inclusions whereby the routing matrix is constant and the outflow from each cell in the network is limited by a… ▽ More We study the well-posedness of a class of dynamical flow network systems describing the dynamical mass balance among a finite number of cells exchanging flow of a commodity between themselves and with the external environment. Systems in the considered class are described as differential inclusions whereby the routing matrix is constant and the outflow from each cell in the network is limited by a control that is a Lipschitz continuous function of the state of the network. In many applications, such as queueing systems and traffic signal control, it is common that an empty queue can be allowed to have more outflow than the mass in the queue. While models for this scenario have previously been presented for open-loop outflow controls, this result ensures the existence and uniqueness of solutions for the network flow dynamics in the case Lipschitz continuous feedback controllers. △ Less

Submitted 16 January, 2020; originally announced January 2020.

Generalized Proportional Allocation Policies for Robust Control of Dynamical Flow Networks

Authors: Gustav Nilsson, Giacomo Como

Abstract: We study a robust control problem for dynamical flow networks. In the considered dynamical models, traffic flows along the links of a transportation network --modeled as a capacited multigraph-- and queues up at the nodes, whereby control policies determine which incoming queues at a node are to be allocated service simultaneously, within some predetermined scheduling constraints. We first prove a… ▽ More We study a robust control problem for dynamical flow networks. In the considered dynamical models, traffic flows along the links of a transportation network --modeled as a capacited multigraph-- and queues up at the nodes, whereby control policies determine which incoming queues at a node are to be allocated service simultaneously, within some predetermined scheduling constraints. We first prove a fundamental performance limitation by showing that for a dynamical flow network to be stabilizable by some control policy it is necessary that the exogenous inflows belong to a certain stability region, that is determined by the network topology, link capacities, and scheduling constraints. Then, we introduce a family of distributed controls, referred to as Generalized Proportional Allocation (GPA) policies, and prove that they stabilize a dynamical transportation network whenever the exogenous inflows belong to such stability region. The proposed GPA control policies are decentralized and fully scalable as they rely on local feedback information only. Differently from previously studied maximally stabilizing control strategies, the GPA control policies do not require any global information about the network topology, the exogenous inflows, or the routing, which makes them robust to demand variations and unpredicted changes in the link capacities or the routing decisions. Moreover, the proposed GPA control policies also take into account the overhead time while switching between services. Our theoretical results find one application in the control of urban traffic networks with signalized intersections, where vehicles have to queue up at junctions and the traffic signal controls determine the green light allocation to the different incoming lanes. △ Less

Submitted 3 July, 2019; originally announced July 2019.

A Micro-Simulation Study of the Generalized Proportional Allocation Traffic Signal Control

Authors: Gustav Nilsson, Giacomo Como

Abstract: In this paper, we study the problem of determining phase activations for signalized junctions by utilizing feedback, more specifically, by measure the queue-lengths on the incoming lanes to each junction. The controller we are investigating is the Generalized Proportional Allocation (GPA) controller, which has previously been shown to have desired stability and throughput properties in a continuou… ▽ More In this paper, we study the problem of determining phase activations for signalized junctions by utilizing feedback, more specifically, by measure the queue-lengths on the incoming lanes to each junction. The controller we are investigating is the Generalized Proportional Allocation (GPA) controller, which has previously been shown to have desired stability and throughput properties in a continuous averaged dynamical model for queueing networks. In this paper, we provide and implement two discretized versions of the GPA controller in the SUMO micro simulator. We also compare the GPA controllers with the MaxPressure controller, a controller that requires more information than the GPA, in an artificial Manhattan-like grid. To show that the GPA controller is easy to implement in a real scenario, we also implement it in a previously published realistic traffic scenario for the city of Luxembourg and compare its performance with the static controller provided with the scenario. The simulations show that the GPA performs better than a static controller for the Luxembourg scenario, and better than the MaxPressure pressure controller in the Manhattan-grid when the demands are low. △ Less

Submitted 28 January, 2019; originally announced January 2019.