-
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.
-
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.
-
Continuous Reachability Task Transition Using Control Barrier Functions
Authors:
Mohit Srinivasan,
Cesar Santoyo,
Samuel Coogan
Abstract:
In this paper, a method to achieve smooth transitions between sequential reachability tasks for a continuous time mobile robotic system is presented. Control barrier functions provide formal guarantees of forward invariance of safe sets and finite-time reachability and are able to enforce task execution. Barrier functions used in quadratic programs result in implementation of controllers with real…
▽ More
In this paper, a method to achieve smooth transitions between sequential reachability tasks for a continuous time mobile robotic system is presented. Control barrier functions provide formal guarantees of forward invariance of safe sets and finite-time reachability and are able to enforce task execution. Barrier functions used in quadratic programs result in implementation of controllers with real-time performance guarantees. Existing approaches for multi-objective task execution using control barrier functions leverage discretely switched, sequential quadratic programs to achieve successive tasks. However, discrete switching can lead to control input discontinuities which can affect a robot's performance. Hence, we propose a method which ensures continuous transitions between sequential quadratic programs. In particular, a time varying component to the barrier function constraint is introduced which allows for a smooth transition between objectives. Robotic implementation results are also provided.
△ Less
Submitted 25 May, 2020;
originally announced May 2020.
-
A Barrier Function Approach to Finite-Time Stochastic System Verification and Control
Authors:
Cesar Santoyo,
Maxence Dutreix,
Samuel Coogan
Abstract:
This paper studies the problem of enforcing safety of a stochastic dynamical system over a finite-time horizon. We use stochastic control barrier functions as a means to quantify the probability that a system exits a given safe region of the state space in finite time. A barrier certificate condition that bounds the expected value of the barrier function over the time horizon is recast as a sum-of…
▽ More
This paper studies the problem of enforcing safety of a stochastic dynamical system over a finite-time horizon. We use stochastic control barrier functions as a means to quantify the probability that a system exits a given safe region of the state space in finite time. A barrier certificate condition that bounds the expected value of the barrier function over the time horizon is recast as a sum-of-squares optimization problem for efficient numerical computation. Unlike prior works, the proposed certificate condition includes a state-dependent upper bound on the evolution of the expectation. We present formulations for both continuous-time and discrete-time systems. Moreover, for systems for which the drift dynamics are affine-in-control, we propose a method for synthesizing polynomial state feedback controllers that achieve a specified probability of safety. Several case studies are presented which benchmark and illustrate the performance of our verification and control method in the continuous-time and discrete-time domains.
△ Less
Submitted 9 September, 2019;
originally announced September 2019.
-
Verification and Control for Finite-Time Safety of Stochastic Systems via Barrier Functions
Authors:
Cesar Santoyo,
Maxence Dutreix,
Samuel Coogan
Abstract:
This paper studies the problem of enforcing safety of a stochastic dynamical system over a finite time horizon. We use stochastic barrier functions as a means to quantify the probability that a system exits a given safe region of the state space in finite time. A barrier certificate condition that bounds the infinitesimal generator of the system, and hence bounds the expected value of the barrier…
▽ More
This paper studies the problem of enforcing safety of a stochastic dynamical system over a finite time horizon. We use stochastic barrier functions as a means to quantify the probability that a system exits a given safe region of the state space in finite time. A barrier certificate condition that bounds the infinitesimal generator of the system, and hence bounds the expected value of the barrier function over the time horizon, is recast as a sum-of-squares optimization problem for efficient numerical computation. Unlike prior works, the proposed certificate condition includes a state-dependent bound on the infinitesimal generator, allowing for tighter probability bounds. Moreover, for stochastic systems for which the drift dynamics are affine-in-control, we propose a method for synthesizing polynomial state feedback controllers that achieve a specified probability of safety. Two case studies are presented that benchmark and illustrate the performance of our method.
△ Less
Submitted 28 May, 2019;
originally announced May 2019.