Robert Shorten
YOU?
Author Swipe
View article: Stochastic Sample Approximations of (Local) Moduli of Continuity
Stochastic Sample Approximations of (Local) Moduli of Continuity Open
Modulus of local continuity is used to evaluate the robustness of neural networks and fairness of their repeated uses in closed-loop models. Here, we revisit a connection between generalized derivatives and moduli of local continuity, and …
View article: Momentum-Based Access and Speed Control for Improved Safety in Heterogeneous Road Networks
Momentum-Based Access and Speed Control for Improved Safety in Heterogeneous Road Networks Open
The increasing variety of means of transportation, including light vehicles like e-scooters and e-bikes, together with the increasing weight of conventional vehicles due to electrification and consumer preferences for SUVs, are raising ser…
View article: Learning Time-Varying Convexifications of Multiple Fairness Measures
Learning Time-Varying Convexifications of Multiple Fairness Measures Open
There is an increasing appreciation that one may need to consider multiple measures of fairness, e.g., considering multiple group and individual fairness notions. The relative weights of the fairness regularisers are a priori unknown, may …
View article: Learning Network Dismantling without Handcrafted Inputs
Learning Network Dismantling without Handcrafted Inputs Open
The application of message-passing Graph Neural Networks has been a breakthrough for important network science problems. However, the competitive performance often relies on using handcrafted structural features as inputs, which increases …
View article: Dynamic access pricing control for fair and stable resource sharing
Dynamic access pricing control for fair and stable resource sharing Open
We consider the use of pricing as a regulatory mechanism when an unknown number of autonomous agents compete for access to a shared resource (possibly limited in volume or capacity). In standard dynamic pricing control systems, an increasi…
View article: humancompatible.interconnect: Testing Properties of Repeated Uses of Interconnections of AI Systems
humancompatible.interconnect: Testing Properties of Repeated Uses of Interconnections of AI Systems Open
Artificial intelligence (AI) systems often interact with multiple agents. The regulation of such AI systems often requires that {\em a priori\/} guarantees of fairness and robustness be satisfied. With stochastic models of agents' response…
View article: A Feedback Control Framework for Incentivised Suburban Parking Utilisation and Urban Core Traffic Relief
A Feedback Control Framework for Incentivised Suburban Parking Utilisation and Urban Core Traffic Relief Open
Urban traffic congestion, exacerbated by inefficient parking management and cruising for parking, significantly hampers mobility and sustainability in smart cities. Drivers often face delays searching for parking spaces, influenced by fact…
View article: Predictive Control of EV Overnight Charging with Multi-Session Flexibility
Predictive Control of EV Overnight Charging with Multi-Session Flexibility Open
The majority of electric vehicles (EVs) are charged domestically overnight, where the precise timing of power allocation is not important to the user, thus representing a source of flexibility that can be leveraged by charging control algo…
View article: Vehicle Dynamics Control for Simultaneous Optimization of Tire Emissions and Performance in EVs
Vehicle Dynamics Control for Simultaneous Optimization of Tire Emissions and Performance in EVs Open
In recent years, Electric Vehicles (EVs) have seen widespread public adoption. While EVs produce zero tailpipe emissions, they contribute to an increase in another type of vehicular emission: tire emissions. Battery-operated EVs are genera…
View article: Surge sourcing via hybrid supply in a sharing economy: a resource-efficient, progressive and sustainable way to satisfy surge demand
Surge sourcing via hybrid supply in a sharing economy: a resource-efficient, progressive and sustainable way to satisfy surge demand Open
We propose a surge sourcing approach to address occasional synchronous high demand (surge demand) in sharing economy systems, providing a socio-economically progressive alternative to surge pricing. Instead of suppressing demand among disa…
View article: Levelised Cost of Demand Response: Estimating the Cost-Competitiveness of Flexible Demand
Levelised Cost of Demand Response: Estimating the Cost-Competitiveness of Flexible Demand Open
To make well-informed investment decisions, energy system stakeholders require reliable cost frameworks for demand response (DR) and storage technologies. While the levelised cost of storage (LCOS) permits comprehensive cost comparisons be…
View article: An adversarially robust data-market for spatial, crowd-sourced data
An adversarially robust data-market for spatial, crowd-sourced data Open
We describe an architecture for a decentralised data market for applications in which agents are incentivised to collaborate to crowd-source their data. The architecture is designed to reward data that furthers the market's collective goal…
View article: Detection of Undeclared EV Charging Events in a Green Energy Certification Scheme
Detection of Undeclared EV Charging Events in a Green Energy Certification Scheme Open
The green potential of electric vehicles (EVs) can be fully realized only if their batteries are charged using energy generated from renewable (i.e. green) sources. For logistic or economic reasons, however, EV drivers may be tempted to av…
View article: On Optimal Battery Sizing for Electric Vehicles
On Optimal Battery Sizing for Electric Vehicles Open
In this paper, we introduce a quantitative framework to optimize electric vehicle (EV) battery capacities, considering two criteria: upfront vehicle cost and charging inconvenience cost. For this purpose, we (1) develop a comprehensive mod…
View article: Overcoming Representation Bias in Fairness-Aware data Repair using Optimal Transport
Overcoming Representation Bias in Fairness-Aware data Repair using Optimal Transport Open
Optimal transport (OT) has an important role in transforming data distributions in a manner which engenders fairness. Typically, the OT operators are learnt from the unfair attribute-labelled data, and then used for their repair. Two signi…
View article: Quantifying indirect and direct vaccination effects arising in the SIR model
Quantifying indirect and direct vaccination effects arising in the SIR model Open
Vaccination campaigns have both direct and indirect effects that act to control an infectious disease as it spreads through a population. Indirect effects arise when vaccinated individuals block disease transmission in any infection chain …
View article: Randomized Transport Plans via Hierarchical Fully Probabilistic Design
Randomized Transport Plans via Hierarchical Fully Probabilistic Design Open
An optimal randomized strategy for design of balanced, normalized mass transport plans is developed. It replaces -- but specializes to -- the deterministic, regularized optimal transport (OT) strategy, which yields only a certainty-equival…
View article: Embracing Fairness in Consumer Electricity Markets using an Automatic Market Maker
Embracing Fairness in Consumer Electricity Markets using an Automatic Market Maker Open
As consumer flexibility becomes expected, it is important that the market mechanisms which attain that flexibility are perceived as fair. We set out fairness issues in energy markets today, and propose a market design to address them. Cons…
View article: Reserve Provision from Electric Vehicles: Aggregate Boundaries and Stochastic Model Predictive Control
Reserve Provision from Electric Vehicles: Aggregate Boundaries and Stochastic Model Predictive Control Open
Controlled charging of electric vehicles, EVs, is a major potential source of flexibility to facilitate the integration of variable renewable energy and reduce the need for stationary energy storage. To offer system services from EVs, flee…
View article: Tree Proof-of-Position Algorithms
Tree Proof-of-Position Algorithms Open
We present a novel class of proof-of-position algorithms: Tree-Proof-of-Position (T-PoP). This algorithm is decentralised, collaborative and can be computed in a privacy preserving manner, such that agents do not need to reveal their posit…
View article: Quantifying indirect and direct vaccination effects arising in the SIR model
Quantifying indirect and direct vaccination effects arising in the SIR model Open
Vaccination campaigns have both direct and indirect effects that act to control an infectious disease as it spreads through a population. Indirect effects arise when vaccinated individuals block disease transmission in any infection chains…
View article: Reinforcement Learning with Adaptive Regularization for Safe Control of Critical Systems
Reinforcement Learning with Adaptive Regularization for Safe Control of Critical Systems Open
Reinforcement Learning (RL) is a powerful method for controlling dynamic systems, but its learning mechanism can lead to unpredictable actions that undermine the safety of critical systems. Here, we propose RL with Adaptive Regularization …
View article: A smart mask to enforce social contracts based on IOTA Tangle
A smart mask to enforce social contracts based on IOTA Tangle Open
In this paper we present the design for a smart-mask to mitigate the impact of an airborne virus such as COVID-19. The design utilises recent results from feedback control theory over a distributed ledger that have been developed to enforc…
View article: Optimal Transport for Fairness: Archival Data Repair using Small Research Data Sets
Optimal Transport for Fairness: Archival Data Repair using Small Research Data Sets Open
With the advent of the AI Act and other regulations, there is now an urgent need for algorithms that repair unfairness in training data. In this paper, we define fairness in terms of conditional independence between protected attributes ($…
View article: Algorithms for constrained optimal transport
Algorithms for constrained optimal transport Open
We derive iterative scaling algorithms of the Sinkhorn-Knopp (SK) type for constrained optimal transport. The constraints are in the form of prior-imposed zeroes in the transport plan. Based on classical Bregman arguments, we prove asympto…
View article: Preliminary results on the stability of switched positive linear systems
Preliminary results on the stability of switched positive linear systems Open
It was recently conjectured that the Hurwitz stability of a polytope of Metzler matrices is a necessary and sufficient condition for the stability of the associated switched linear system for arbitrary switching sequences. In this paper we…
View article: Experimental evaluation of delay/loss-based TCP congestion control algorithms
Experimental evaluation of delay/loss-based TCP congestion control algorithms Open
We present initial experimental results for TCP Illinois and Compound TCP. These tests are for relatively simple scenarios yet they are sufficient to highlight several interesting issues. We observe that both TCP Illinois and Compound TCP …