Showing 1–48 of 48 results for author: Shorten, R

Reserve Provision from Electric Vehicles: Aggregate Boundaries and Stochastic Model Predictive Control

Authors: Jacob Thrän, Jakub Mareček, Robert N. Shorten, Timothy C. Green

Abstract: 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, fleet aggregators must address the uncertainty of individual driving and charging behaviour. This paper introduces a means of forecasting the service volume availabl… ▽ More 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, fleet aggregators must address the uncertainty of individual driving and charging behaviour. This paper introduces a means of forecasting the service volume available from EVs by considering several EV batteries as one conceptual battery with aggregate power and energy boundaries. This avoids the impossible task of predicting individual driving behaviour by taking advantage of the law of large numbers. The forecastability of the boundaries is demonstrated in a multiple linear regression model which achieves an $R^2$ of 0.7 for a fleet of 1,000 EVs. A two-stage stochastic model predictive control algorithm is used to schedule reserve services on a day-ahead basis addressing risk trade-offs by including Conditional Value-at-Risk in the objective function. A case study with 1.2 million domestic EV charge records from Great Britain shows that increasing fleet size improves prediction accuracy, thereby increasing reserve revenues and decreasing effective charging costs. For fleet sizes of 400 or above, charging cost reductions plateau at 60\%, with an average of 1.8kW of reserve provided per vehicle. △ Less

Submitted 11 June, 2024; originally announced June 2024.

Fully Probabilistic Design for Optimal Transport

Authors: Sarah Boufelja Y., Anthony Quinn, Martin Corless, Robert Shorten

Abstract: The goal of this paper is to introduce a new theoretical framework for Optimal Transport (OT), using the terminology and techniques of Fully Probabilistic Design (FPD). Optimal Transport is the canonical method for comparing probability measures and has been successfully applied in a wide range of areas (computer vision Rubner et al. [2004], computer graphics Solomon et al. [2015], natural languag… ▽ More The goal of this paper is to introduce a new theoretical framework for Optimal Transport (OT), using the terminology and techniques of Fully Probabilistic Design (FPD). Optimal Transport is the canonical method for comparing probability measures and has been successfully applied in a wide range of areas (computer vision Rubner et al. [2004], computer graphics Solomon et al. [2015], natural language processing Kusner et al. [2015], etc.). However, we argue that the current OT framework suffers from two shortcomings: first, it is hard to induce generic constraints and probabilistic knowledge in the OT problem; second, the current formalism does not address the question of uncertainty in the marginals, lacking therefore the mechanisms to design robust solutions. By viewing the OT problem as the optimal design of a probability density function with marginal constraints, we prove that OT is an instance of the more generic FPD framework. In this new setting, we can furnish the OT framework with the necessary mechanisms for processing probabilistic constraints and deriving uncertainty quantifiers, hence establishing a new extended framework, called FPD-OT. Our main contribution in this paper is to establish the connection between OT and FPD, providing new theoretical insights for both. This will lay the foundations for the application of FPD-OT in a subsequent work, notably in processing more sophisticated knowledge constraints, as well as in designing robust solutions in the case of uncertain marginals. △ Less

Submitted 19 December, 2022; originally announced December 2022.

Comments: Keywords: Optimal Transport, Fully Probabilistic Design, Convex optimization

On Unique Ergodicity Of Coupled AIMD Flows

Authors: Pietro Ferraro, Jia Yuan Yu, Ramen Ghosh, Syed Eqbal Alam, Jakub Marecek, Fabian Wirth, Robert Shorten

Abstract: The AIMD algorithm, which underpins the Transmission Control Protocol (TCP) for transporting data packets in communication networks, is perhaps the most successful control algorithm ever deployed. Recently, its use has been extended beyond communication networks, and successful applications of the AIMD algorithm have been reported in transportation, energy, and mathematical biology. A very recent… ▽ More The AIMD algorithm, which underpins the Transmission Control Protocol (TCP) for transporting data packets in communication networks, is perhaps the most successful control algorithm ever deployed. Recently, its use has been extended beyond communication networks, and successful applications of the AIMD algorithm have been reported in transportation, energy, and mathematical biology. A very recent development in the use of AIMD is its application in solving large-scale optimization and distributed control problems without the need for inter-agent communication. In this context, an interesting problem arises when multiple AIMD networks that are coupled in some sense (usually through a nonlinearity). The purpose of this note is to prove that such systems in certain settings inherit the ergodic properties of individual AIMD networks. This result has important consequences for the convergence of the aforementioned optimization algorithms. The arguments in the paper also correct conceptual and technical errors in [1]. △ Less

Submitted 27 September, 2022; originally announced September 2022.

Journal ref: International Journal of Control, 2024

Fairness in Forecasting of Observations of Linear Dynamical Systems

Authors: Quan Zhou, Jakub Marecek, Robert N. Shorten

Abstract: In machine learning, training data often capture the behaviour of multiple subgroups of some underlying human population. This behaviour can often be modelled as observations of an unknown dynamical system with an unobserved state. When the training data for the subgroups are not controlled carefully, however, under-representation bias arises. To counter under-representation bias, we introduce two… ▽ More In machine learning, training data often capture the behaviour of multiple subgroups of some underlying human population. This behaviour can often be modelled as observations of an unknown dynamical system with an unobserved state. When the training data for the subgroups are not controlled carefully, however, under-representation bias arises. To counter under-representation bias, we introduce two natural notions of fairness in time-series forecasting problems: subgroup fairness and instantaneous fairness. These notions extend predictive parity to the learning of dynamical systems. We also show globally convergent methods for the fairness-constrained learning problems using hierarchies of convexifications of non-commutative polynomial optimisation problems. We also show that by exploiting sparsity in the convexifications, we can reduce the run time of our methods considerably. Our empirical results on a biased data set motivated by insurance applications and the well-known COMPAS data set demonstrate the efficacy of our methods. △ Less

Submitted 15 May, 2023; v1 submitted 12 September, 2022; originally announced September 2022.

Comments: Journal version of Zhou et al. [arXiv:2006.07315, AAAI 2021]

Journal ref: Journal of Artificial Intelligence Research, Volume 76, 2023

Respiratory Aware Routing for Active Commuters

Authors: Abigail Langbridge, Pietro Ferraro, Robert Shorten

Abstract: Cyclists travelling in urban areas are particularly at risk of harm from particulate emissions due to their increased breathing rate and proximity to vehicles. In this paper we combine human respiratory models with models of particulate inhalation to estimate the pollution risk an individual is experiencing in real time given the local pollution level and their heart rate for the first time. Using… ▽ More Cyclists travelling in urban areas are particularly at risk of harm from particulate emissions due to their increased breathing rate and proximity to vehicles. In this paper we combine human respiratory models with models of particulate inhalation to estimate the pollution risk an individual is experiencing in real time given the local pollution level and their heart rate for the first time. Using this model as a baseline, we learn a policy that simultaneously optimises the route for a large number of cyclists with diverse origins and destinations, to minimise overall pollution risk and account for the detrimental impacts of congestion. We learn this policy using reinforcement learning techniques on simulated data in different environments with varying distributions of cyclist fitness. These findings establish that individualised routing is effective in reducing pollution risk while cycling, improving the net benefits of active commuting. △ Less

Submitted 31 March, 2023; v1 submitted 12 August, 2022; originally announced September 2022.

Herd Routes: A Preventative IoT-Based System for Improving Female Pedestrian Safety on City Streets

Authors: Madeleine Woodburn, Wynita M. Griggs, Jakub Marecek, Robert N. Shorten

Abstract: Over two thirds of women of all ages in the UK have experienced some form of sexual harassment in a public space. Recent tragic incidents involving female pedestrians have highlighted some of the personal safety issues that women still face in cities today. There exist many popular location-based safety applications as a result of this; however, these applications tend to take a reactive approach… ▽ More Over two thirds of women of all ages in the UK have experienced some form of sexual harassment in a public space. Recent tragic incidents involving female pedestrians have highlighted some of the personal safety issues that women still face in cities today. There exist many popular location-based safety applications as a result of this; however, these applications tend to take a reactive approach where action is taken only after an incident has occurred. This paper proposes a preventative approach to the problem by creating safer public environments through societal incentivisation. The proposed system, called "Herd Routes", improves the safety of female pedestrians by generating busier pedestrian routes as a result of route incentivisation. A novel application of distributed ledgers is proposed to provide security and trust, a record of system users' locations and IDs, and a platform for token exchange. A proof-of-concept was developed using the simulation package SUMO (Simulation of Urban Mobility), and a smartphone app. was built in Android Studio so that pedestrian Hardware-in-the-Loop testing could be carried out to validate the technical feasibility and desirability of the system. With positive results from the initial testing of the proof-of-concept, further development could significantly contribute towards creating safer pedestrian routes through cities, and tackle the societal change that is required to improve female pedestrian safety in the long term. △ Less

Submitted 11 July, 2022; originally announced July 2022.

Spatial Positioning Token (SPToken) for Smart Parking

Authors: Roman Overko, Rodrigo Ordóñez-Hurtado, Sergiy Zhuk, Robert Shorten

Abstract: In this paper, we describe an approach to guide drivers searching for a parking space (PS). The proposed system suggests a sequence of routes that drivers should traverse in order to maximise the expected likelihood of finding a PS and minimise the travel distance. This system is built on our recent architecture SPToken, which combines both Distributed Ledger Technology (DLT) and Reinforcement Lea… ▽ More In this paper, we describe an approach to guide drivers searching for a parking space (PS). The proposed system suggests a sequence of routes that drivers should traverse in order to maximise the expected likelihood of finding a PS and minimise the travel distance. This system is built on our recent architecture SPToken, which combines both Distributed Ledger Technology (DLT) and Reinforcement Learning (RL) to realise a system for the estimation of an unknown distribution without disturbing the environment. For this, we use a number of virtual tokens that are passed from vehicle to vehicle to enable a massively parallelised RL system that estimates the best route for a given origin-destination (OD) pair, using crowdsourced information from participant vehicles. Additionally, a moving window with reward memory mechanism is included to better cope with non-stationary environments. Simulation results are given to illustrate the efficacy of our system. △ Less

Submitted 28 June, 2022; originally announced June 2022.

Comments: 12 pages, 5 figures, 27th ITS World Congress, Hamburg, Germany, 11-15 October 2021

Feedback control for distributed ledgers: An attack mitigation policy for DAG-based DLTs

Authors: Pietro Ferraro, Andreas Penzkofer, Christopher King, Robert Shorten

Abstract: In this paper we present a feedback approach to the design of an attack mitigation policy for DAG-based Distributed Ledgers. We develop a model to analyse the behaviour of the ledger under the so called Tips Inflation Attack and we design a control strategy to counteract this attack strategy. The efficacy of this approach is showcased through a theoretical analysis, in the form of two theorems abo… ▽ More In this paper we present a feedback approach to the design of an attack mitigation policy for DAG-based Distributed Ledgers. We develop a model to analyse the behaviour of the ledger under the so called Tips Inflation Attack and we design a control strategy to counteract this attack strategy. The efficacy of this approach is showcased through a theoretical analysis, in the form of two theorems about the stability properties of the ledger with and without the controller, and extensive Monte Carlo simulations of an agent-based model of the distributed ledger. △ Less

Submitted 25 April, 2022; originally announced April 2022.

Predictability and Fairness in Load Aggregation and Operations of Virtual Power Plants

Authors: Jakub Marecek, Michal Roubalik, Ramen Ghosh, Robert N. Shorten, Fabian R. Wirth

Abstract: In power systems, one wishes to regulate the aggregate demand of an ensemble of distributed energy resources (DERs), such as controllable loads and battery energy storage systems. We suggest a notion of predictability and fairness, which suggests that the long-term averages of prices or incentives offered should be independent of the initial states of the operators of the DER, the aggregator, and… ▽ More In power systems, one wishes to regulate the aggregate demand of an ensemble of distributed energy resources (DERs), such as controllable loads and battery energy storage systems. We suggest a notion of predictability and fairness, which suggests that the long-term averages of prices or incentives offered should be independent of the initial states of the operators of the DER, the aggregator, and the power grid. We show that this notion cannot be guaranteed with many traditional controllers used by the load aggregator, including the usual proportional-integral (PI) controller. We show that even considering the non-linearity of the alternating-current model, this notion of predictability and fairness can be guaranteed for incrementally input-to-state stable (iISS) controllers, under mild assumptions. △ Less

Submitted 6 October, 2021; originally announced October 2021.

Journal ref: Automatica, Volume 147, January 2023, 110743

Integral action for setpoint regulation control of a reaction-diffusion equation in the presence of a state delay

Authors: Hugo Lhachemi, Ammar Malik, Robert Shorten

Abstract: This paper is concerned with the regulation control of a one-dimensional reaction-diffusion equation in the presence of a state-delay in the reaction term. The objective is to achieve the PI regulation of the right Dirichlet trace with a command selected as the left Dirichlet trace. The control design strategy consists of the design of a PI controller on a finite dimensional truncated model obtain… ▽ More This paper is concerned with the regulation control of a one-dimensional reaction-diffusion equation in the presence of a state-delay in the reaction term. The objective is to achieve the PI regulation of the right Dirichlet trace with a command selected as the left Dirichlet trace. The control design strategy consists of the design of a PI controller on a finite dimensional truncated model obtained by spectral reduction. By an adequate selection of the number of modes of the original infinite-dimensional system, we show that the proposed control design procedure achieves both the exponential stabilization of the original infinite-dimensional system as well as the setpoint regulation of the right Dirichlet trace. △ Less

Submitted 24 August, 2021; originally announced August 2021.

Comments: Accepted for publication in Automatica

Subgroup Fairness in Two-Sided Markets

Authors: Quan Zhou, Jakub Marecek, Robert N. Shorten

Abstract: It is well known that two-sided markets are unfair in a number of ways. For instance, female workers at Uber earn less than their male colleagues per mile driven. Similar observations have been made for other minority subgroups in other two-sided markets. Here, we suggest a novel market-clearing mechanism for two-sided markets, which promotes equalisation of the pay per hour worked across multiple… ▽ More It is well known that two-sided markets are unfair in a number of ways. For instance, female workers at Uber earn less than their male colleagues per mile driven. Similar observations have been made for other minority subgroups in other two-sided markets. Here, we suggest a novel market-clearing mechanism for two-sided markets, which promotes equalisation of the pay per hour worked across multiple subgroups, as well as within each subgroup. In the process, we introduce a novel notion of subgroup fairness (which we call Inter-fairness), which can be combined with other notions of fairness within each subgroup (called Intra-fairness), and the utility for the customers (Customer-Care) in the objective of the market-clearing problem. While the novel non-linear terms in the objective complicate market clearing by making the problem non-convex, we show that a certain non-convex augmented Lagrangian relaxation can be approximated to any precision in time polynomial in the number of market participants using semi-definite programming. This makes it possible to implement the market-clearing mechanism efficiently. On the example of driver-ride assignment in an Uber-like system, we demonstrate the efficacy and scalability of the approach, and trade-offs between Inter- and Intra-fairness. △ Less

Submitted 30 January, 2023; v1 submitted 4 June, 2021; originally announced June 2021.

Journal ref: PLoS ONE 18(2): e0281443, 2023

Boundary Output Feedback Stabilization of State Delayed Reaction-Diffusion PDEs

Authors: Hugo Lhachemi, Robert Shorten

Abstract: This paper studies the boundary output feedback stabilization of general 1-D reaction-diffusion PDEs in the presence of a state delay in the reaction term. The control input applies through a Robin boundary condition while the system output is selected as a either Dirichlet or Neumann boundary trace. The control strategy takes the form of a finite-dimensional observer-based controller with feedbac… ▽ More This paper studies the boundary output feedback stabilization of general 1-D reaction-diffusion PDEs in the presence of a state delay in the reaction term. The control input applies through a Robin boundary condition while the system output is selected as a either Dirichlet or Neumann boundary trace. The control strategy takes the form of a finite-dimensional observer-based controller with feedback and observer gains that are computed in order to dominate the state delayed term. For any arbitrarily given value of the state delay, we show the exponential stability of the resulting closed-loop system provided the order of the observer is selected large enough. △ Less

Submitted 31 May, 2021; originally announced May 2021.

Unique Ergodicity in the Interconnections of Ensembles with Applications to Two-Sided Markets

Authors: Wynita M. Griggs, Ramen Ghosh, Jakub Marecek, Robert N. Shorten

Abstract: There has been much recent interest in two-sided markets and dynamics thereof. In a rather a general discrete-time feedback model, which we show conditions that assure that for each agent, there exists the limit of a long-run average allocation of a resource to the agent, which is independent of any initial conditions. We call this property the unique ergodicity. Our model encompasses two-sided… ▽ More There has been much recent interest in two-sided markets and dynamics thereof. In a rather a general discrete-time feedback model, which we show conditions that assure that for each agent, there exists the limit of a long-run average allocation of a resource to the agent, which is independent of any initial conditions. We call this property the unique ergodicity. Our model encompasses two-sided markets and more complicated interconnections of workers and customers, such as in a supply chain. It allows for non-linearity of the response functions of market participants. Finally, it allows for uncertainty in the response of market participants by considering a set of the possible responses to either price or other signals and a measure to sample from these. △ Less

Submitted 4 December, 2021; v1 submitted 30 April, 2021; originally announced April 2021.

A Note on Order and Index Reduction for Descriptor Systems

Authors: Martin Corless, Robert Shorten

Abstract: We present order reduction results for linear time invariant descriptor systems. Results are given for both forced and unforced systems as well methods for constructing the reduced order systems. Our results establish a precise connection between classical and new results on this topic, and lead to an elementary construction of quasi-Weierstrass forms for a descriptor system. Examples are given to… ▽ More We present order reduction results for linear time invariant descriptor systems. Results are given for both forced and unforced systems as well methods for constructing the reduced order systems. Our results establish a precise connection between classical and new results on this topic, and lead to an elementary construction of quasi-Weierstrass forms for a descriptor system. Examples are given to illustrate the usefulness of our results. △ Less

Submitted 18 January, 2021; originally announced January 2021.

Comments: None

Predictability and Fairness in Social Sensing

Authors: Ramen Ghosh, Jakub Marecek, Wynita M. Griggs, Matheus Souza, Robert N. Shorten

Abstract: We consider the design of distributed algorithms that govern the manner in which agents contribute to a social sensing platform. Specifically, we are interested in situations where fairness among the agents contributing to the platform is needed. A notable example are platforms operated by public bodies, where fairness is a legal requirement. The design of such distributed systems is challenging d… ▽ More We consider the design of distributed algorithms that govern the manner in which agents contribute to a social sensing platform. Specifically, we are interested in situations where fairness among the agents contributing to the platform is needed. A notable example are platforms operated by public bodies, where fairness is a legal requirement. The design of such distributed systems is challenging due to the fact that we wish to simultaneously realise an efficient social sensing platform, but also deliver a predefined quality of service to the agents (for example, a fair opportunity to contribute to the platform). In this paper, we introduce iterated function systems (IFS) as a tool for the design and analysis of systems of this kind. We show how the IFS framework can be used to realise systems that deliver a predictable quality of service to agents, can be used to underpin contracts governing the interaction of agents with the social sensing platform, and which are efficient. To illustrate our design via a use case, we consider a large, high-density network of participating parked vehicles. When awoken by an administrative centre, this network proceeds to search for moving missing entities of interest using RFID-based techniques. We regulate which vehicles are actively searching for the moving entity of interest at any point in time. In doing so, we seek to equalise vehicular energy consumption across the network. This is illustrated through simulations of a search for a missing Alzheimer's patient in Melbourne, Australia. Experimental results are presented to illustrate the efficacy of our system and the predictability of access of agents to the platform independent of initial conditions. △ Less

Submitted 25 May, 2021; v1 submitted 31 July, 2020; originally announced July 2020.

Comments: 18 pages, 6 figures

Journal ref: IEEE Internet of Things Journal, 2021

Post-Lockdown Abatement of COVID-19 by Fast Periodic Switching

Authors: M. Bin, P. Cheung, E. Crisostomi, P. Ferraro, H. Lhachemi, R. Murray-Smith, C. Myant, T. Parisini, R. Shorten, S. Stein, L. Stone

Abstract: COVID-19 abatement strategies have risks and uncertainties which could lead to repeating waves of infection. We show -- as proof of concept grounded on rigorous mathematical evidence -- that periodic, high-frequency alternation of into, and out-of, lockdown effectively mitigates second-wave effects, while allowing continued, albeit reduced, economic activity. Periodicity confers (i) predictability… ▽ More COVID-19 abatement strategies have risks and uncertainties which could lead to repeating waves of infection. We show -- as proof of concept grounded on rigorous mathematical evidence -- that periodic, high-frequency alternation of into, and out-of, lockdown effectively mitigates second-wave effects, while allowing continued, albeit reduced, economic activity. Periodicity confers (i) predictability, which is essential for economic sustainability, and (ii) robustness, since lockdown periods are not activated by uncertain measurements over short time scales. In turn -- while not eliminating the virus -- this fast switching policy is sustainable over time, and it mitigates the infection until a vaccine or treatment becomes available, while alleviating the social costs associated with long lockdowns. Typically, the policy might be in the form of 1-day of work followed by 6-days of lockdown every week (or perhaps 2 days working, 5 days off) and it can be modified at a slow-rate based on measurements filtered over longer time scales. Our results highlight the potential efficacy of high frequency switching interventions in post lockdown mitigation. All code is available on Github (https://github.com/V4p1d/FPSP_Covid19). A software tool has also been developed so that interested parties can explore the proof-of-concept system. △ Less

Submitted 27 October, 2020; v1 submitted 22 March, 2020; originally announced March 2020.

Comments: Version 6: title slightly changed and extended mathematical results underpinning the mitigation strategy provided, revised sensitivity analysis and discussion given

Exponential input-to-state stabilization of a class of diagonal boundary control systems with delay boundary control

Authors: Hugo Lhachemi, Robert Shorten, Christophe Prieur

Abstract: This paper deals with the exponential input-to-state stabilization with respect to boundary disturbances of a class of diagonal infinite-dimensional systems via delay boundary control. The considered input delays are uncertain and time-varying. The proposed control strategy consists of a constant-delay predictor feedback controller designed on a truncated finite-dimensional model capturing the uns… ▽ More This paper deals with the exponential input-to-state stabilization with respect to boundary disturbances of a class of diagonal infinite-dimensional systems via delay boundary control. The considered input delays are uncertain and time-varying. The proposed control strategy consists of a constant-delay predictor feedback controller designed on a truncated finite-dimensional model capturing the unstable modes of the original infinite-dimensional system. We show that the resulting closed-loop system is exponentially input-to-state stable with fading memory of both additive boundary input perturbations and disturbances in the computation of the predictor feedback. △ Less

Submitted 12 March, 2020; originally announced March 2020.

Comments: Published in Systems & Control Letters

Journal ref: Systems & Control Letters, Volume 138, April 2020, 104651

Robustness of constant-delay predictor feedback for in-domain stabilization of reaction-diffusion PDEs with time- and spatially-varying input delays

Authors: Hugo Lhachemi, Christophe Prieur, Robert Shorten

Abstract: This paper discusses the in-domain feedback stabilization of reaction-diffusion PDEs with Robin boundary conditions in the presence of an uncertain time- and spatially-varying delay in the distributed actuation. The proposed control design strategy consists of a constant-delay predictor feedback designed based on the known nominal value of the control input delay and is synthesized on a finite-dim… ▽ More This paper discusses the in-domain feedback stabilization of reaction-diffusion PDEs with Robin boundary conditions in the presence of an uncertain time- and spatially-varying delay in the distributed actuation. The proposed control design strategy consists of a constant-delay predictor feedback designed based on the known nominal value of the control input delay and is synthesized on a finite-dimensional truncated model capturing the unstable modes of the original infinite-dimensional system. By using a small-gain argument, we show that the resulting closed-loop system is exponentially stable provided that the variations of the delay around its nominal value are small enough. The proposed proof actually applies to any distributed-parameter system associated with an unbounded operator that 1) generates a $C_0$-semigroup on a weighted space of square integrable functions over a compact interval; and 2) is self-adjoint with compact resolvent. △ Less

Submitted 11 November, 2020; v1 submitted 21 February, 2020; originally announced February 2020.

Comments: Accepted for publication in Automatica as a brief paper

Journal ref: Automatica, 2021, vol. 123, p. 109347

The Convergence of Finite-Averaging of AIMD for Distributed Heterogeneous Resource Allocations

Authors: Syed Eqbal Alam, Fabian Wirth, Jia Yuan Yu, Robert Shorten

Abstract: In several social choice problems, agents collectively make decisions over the allocation of multiple divisible and heterogeneous resources with capacity constraints to maximize utilitarian social welfare. The agents are constrained through computational or communication resources or privacy considerations. In this paper, we analyze the convergence of a recently proposed distributed solution that… ▽ More In several social choice problems, agents collectively make decisions over the allocation of multiple divisible and heterogeneous resources with capacity constraints to maximize utilitarian social welfare. The agents are constrained through computational or communication resources or privacy considerations. In this paper, we analyze the convergence of a recently proposed distributed solution that allocates such resources to agents with minimal communication. It is based on the randomized additive-increase and multiplicative-decrease (AIMD) algorithm. The agents are not required to exchange information with each other, but little with a central agent that keeps track of the aggregate resource allocated at a time. We formulate the time-averaged allocations over finite window size and model the system as a Markov chain with place-dependent probabilities. Furthermore, we show that the time-averaged allocations vector converges to a unique invariant measure, and also, the ergodic property holds. △ Less

Submitted 24 January, 2020; v1 submitted 18 January, 2020; originally announced January 2020.

Journal ref: Updated versions are published at IJC and ACC 2023

Boundary input-to-state stabilization of a damped Euler-Bernoulli beam in the presence of a state-delay

Authors: Hugo Lhachemi, Robert Shorten

Abstract: This paper is concerned with the point torque boundary feedback stabilization of a damped Euler-Bernoulli beam model in the presence of a time-varying state-delay. First, a finite-dimensional truncated model is derived by spectral reduction. Then, for a given stabilizing state-feedback of the delay-free truncated model, an LMI-based sufficient condition on the maximum amplitude of the state-delay… ▽ More This paper is concerned with the point torque boundary feedback stabilization of a damped Euler-Bernoulli beam model in the presence of a time-varying state-delay. First, a finite-dimensional truncated model is derived by spectral reduction. Then, for a given stabilizing state-feedback of the delay-free truncated model, an LMI-based sufficient condition on the maximum amplitude of the state-delay is employed to guarantee the stability of the closed-loop state-delayed truncated model. Second, we assess the exponential stability of the resulting closed-loop infinite-dimensional system under the assumption that the number of modes of the original infinite-dimensional system captured by the truncated model has been selected large enough. Finally, we consider in our control design the possible presence of a distributed perturbation, as well as additive boundary perturbations in the control inputs. In this case, we derive for the closed-loop system an exponential input-to-state estimate with fading memory of the distributed and boundary disturbances. △ Less

Submitted 2 December, 2019; originally announced December 2019.

Comments: Preprint

Boundary feedback stabilization of a reaction-diffusion equation with Robin boundary conditions and state-delay

Authors: Hugo Lhachemi, Robert Shorten

Abstract: This paper discusses the boundary feedback stabilization of a reaction-diffusion equation with Robin boundary conditions and in the presence of a time-varying state-delay. The proposed control design strategy is based on a finite-dimensional truncated model obtained via a spectral decomposition. By an adequate selection of the number of modes of the original infinite-dimensional system, we show th… ▽ More This paper discusses the boundary feedback stabilization of a reaction-diffusion equation with Robin boundary conditions and in the presence of a time-varying state-delay. The proposed control design strategy is based on a finite-dimensional truncated model obtained via a spectral decomposition. By an adequate selection of the number of modes of the original infinite-dimensional system, we show that the design performed on the finite-dimensional truncated model achieves the exponential stabilization of the original infinite-dimensional system. In the presence of distributed disturbances, we show that the closed-loop system is exponentially input-to-state stable with fading memory. △ Less

Submitted 16 March, 2020; v1 submitted 25 November, 2019; originally announced November 2019.

Comments: Published in Automatica as a brief paper

Journal ref: Automatica, Volume 116, June 2020, 108931

On Constant Distance Spacing Policies for Cooperative Adaptive Cruise Control

Authors: Kay Massow, Ilja Radusch, Robert Shorten

Abstract: Cooperative Adaptive Cruise Control (CACC) systems are considered as key potential enablers to improve driving safety and traffic efficiency. They allow for automated vehicle following using wireless communication in addition to onboard sensors. To achieve string stability in CACC platoons, constant time headway (CTH) spacing policies have prevailed in research; namely, vehicle interspacing grows… ▽ More Cooperative Adaptive Cruise Control (CACC) systems are considered as key potential enablers to improve driving safety and traffic efficiency. They allow for automated vehicle following using wireless communication in addition to onboard sensors. To achieve string stability in CACC platoons, constant time headway (CTH) spacing policies have prevailed in research; namely, vehicle interspacing grows with the speed. While constant distance headway (CDH) spacing policies provide superior potential to increase traffic capacity than CTH, a major drawback is a smaller safety margin at high velocities and string stability cannot be achieved using a one-vehicle look-ahead communication. The hypothesis of this work is to apply CDH only in few driving situations, when traffic throughput is of highest importance and safety requirements can be met due to comparably low velocities. As the most relevant situations where CDH could be applied, we identify starting platoons at signalized intersections. In this paper, we illustrate this idea. Specifically, we compare CTH with CDH regarding its potential to increase the capacity of traffic lights. Starting with the elementary situation of single traffic lights we expand our scope to whole traffic networks including several thousand vehicles in simulation. Using real world data to calibrate and validate vehicle dynamics simulation and traffic simulation, the study discusses the most relevant working parameters of CDH, CTH, and the traffic system in which both are applied. △ Less

Submitted 16 May, 2022; v1 submitted 23 September, 2019; originally announced September 2019.

Comments: A short version of this study was published in the Vehicular Technology Section in IEEE Access under the title "A numerical study on constant spacing policies for starting platoons at oversaturated intersections". First version (v1) submitted to IEEE Access on 21-Oct-2021, resubmission (v2) on 31-Jan-2022, acceptance (v3) on 09-Mar-2022

Journal ref: IEEE Access, Volume 10: 2022

Iterated Piecewise-Stationary Random Functions

Authors: Ramen Ghosh, Jakub Marecek, Robert Shorten

Abstract: Within the study of uncertain dynamical systems, iterated random functions are a key tool. There, one samples a family of functions according to a stationary distribution. Here, we introduce an extension, where one sample functions according to a time-varying distribution over the family of functions. For such iterated piecewise-stationary random functions on Polish spaces, we prove a number of re… ▽ More Within the study of uncertain dynamical systems, iterated random functions are a key tool. There, one samples a family of functions according to a stationary distribution. Here, we introduce an extension, where one sample functions according to a time-varying distribution over the family of functions. For such iterated piecewise-stationary random functions on Polish spaces, we prove a number of results, including a bound on the tracking error. △ Less

Submitted 22 September, 2019; originally announced September 2019.

Decentralized Assignment of Electric Vehicles at Charging Stations Based on Personalized Cost Functions and Distributed Ledger Technologies

Authors: Michela Moschella, Pietro Ferraro, Emanuele Crisostomi, Robert Shorten

Abstract: In this paper we propose a stochastic decentralized algorithm to recommend the most convenient Charging Station (CS) to Plug-in Electric Vehicles (PEVs) that need charging. In particular, we use different cost functions to describe the possibly different priorities of PEV drivers, such as the preference to minimize charging costs, charging times, or the distance between them and the CS. For this p… ▽ More In this paper we propose a stochastic decentralized algorithm to recommend the most convenient Charging Station (CS) to Plug-in Electric Vehicles (PEVs) that need charging. In particular, we use different cost functions to describe the possibly different priorities of PEV drivers, such as the preference to minimize charging costs, charging times, or the distance between them and the CS. For this purpose, we leverage on an IoT architecture based on a permissioned Distributed Ledger Technology (DLT) to enforce compliance of drivers and reduces the occurrence of detrimental misbehaviours of drivers. Extensive simulations performed with the mobility simulator SUMO in realistic city-wide networks have been provided to illustrate how the proposed PEV assignment procedure works in practice, and to validate its performance. △ Less

Submitted 7 January, 2021; v1 submitted 16 September, 2019; originally announced September 2019.

Comments: accepted to IEEE Internet of Things journal

On DICE-free Smart Cities, Particulate Matter, and Feedback-Enabled Access Control

Authors: Panagiota Katsikouli, Pietro Ferraro, David Timoney, Robert Shorten

Abstract: The link between transport related emissions and human health is a major issue for city municipalities worldwide. PM emissions from exhaust and non-exhaust sources are one of the main worrying contributors to air-pollution. In this paper, we challenge the notion that a ban on internal combustion engine vehicles will result in clean and safe air in our cities, since emissions from tyres and other n… ▽ More The link between transport related emissions and human health is a major issue for city municipalities worldwide. PM emissions from exhaust and non-exhaust sources are one of the main worrying contributors to air-pollution. In this paper, we challenge the notion that a ban on internal combustion engine vehicles will result in clean and safe air in our cities, since emissions from tyres and other non-exhaust sources are expected to increase in the near future. To this end, we present data from the city of Dublin that document that the current amount of tyre-related PM emissions in the city might already be above or close to the levels deemed safe by the World Health Organization. As a solution to this problem, we present a feedback-enabled distributed access control mechanism and ride-sharing scheme to limit the number of vehicles in a city and therefore maintain the amount of transport-related PM to safe levels. △ Less

Submitted 10 February, 2020; v1 submitted 24 June, 2019; originally announced June 2019.

Distributed Ledger Technology for Smart Mobility: Variable Delay Models

Authors: Andrew Cullen, Pietro Ferraro, Christopher King, Robert Shorten

Abstract: Recently, Directed Acyclic Graph (DAG) based Distributed Ledgers have been proposed for various applications in the smart mobility domain [1]. While many application studies have been described in the literature, an open problem in the DLT community concerns the lack of mathematical models describing their behaviour, and their validation. Building on a previous work in [1], we present, in this pap… ▽ More Recently, Directed Acyclic Graph (DAG) based Distributed Ledgers have been proposed for various applications in the smart mobility domain [1]. While many application studies have been described in the literature, an open problem in the DLT community concerns the lack of mathematical models describing their behaviour, and their validation. Building on a previous work in [1], we present, in this paper, a fluid based approximation for the IOTA Foundation DAG based DLT that incorporates varying transaction delays. This extension, namely the inclusion of varying delays, is important for feedback control applications (such as transactive control [2]). Extensive simulations are presented to illustrate the efficacy of our approach. △ Less

Submitted 21 March, 2019; originally announced March 2019.

Comments: 8 pages, submitted to the IEEE 2019 Control and Decision Conference (CDC). arXiv admin note: text overlap with arXiv:1901.07302, arXiv:1807.00649

Augmented Reality, Cyber-Physical Systems, and Feedback Control for Additive Manufacturing: A Review

Authors: Hugo Lhachemi, Ammar Malik, Robert Shorten

Abstract: Our objective in this paper is to review the application of feedback ideas in the area of additive manufacturing. Both the application of feedback control to the 3D printing process, and the application of feedback theory to enable users to interact better with machines, are reviewed. Where appropriate, opportunities for future work are highlighted. Our objective in this paper is to review the application of feedback ideas in the area of additive manufacturing. Both the application of feedback control to the 3D printing process, and the application of feedback theory to enable users to interact better with machines, are reviewed. Where appropriate, opportunities for future work are highlighted. △ Less

Submitted 5 March, 2019; originally announced March 2019.

Comments: Preprint

Journal ref: IEEE Access, vol. 7, 2019

An LMI Condition for the Robustness of Constant-Delay Linear Predictor Feedback with Respect to Uncertain Time-Varying Input Delays

Authors: Hugo Lhachemi, Christophe Prieur, Robert Shorten

Abstract: This paper discusses the robustness of the constant-delay predictor feedback in the case of an uncertain time-varying input delay. Specifically, we study the stability of the closed-loop system when the predictor feedback is designed based on the knowledge of the nominal value of the time-varying delay. By resorting to an adequate Lyapunov-Krasovskii functional, we derive an LMI-based sufficient c… ▽ More This paper discusses the robustness of the constant-delay predictor feedback in the case of an uncertain time-varying input delay. Specifically, we study the stability of the closed-loop system when the predictor feedback is designed based on the knowledge of the nominal value of the time-varying delay. By resorting to an adequate Lyapunov-Krasovskii functional, we derive an LMI-based sufficient condition ensuring the exponential stability of the closed-loop system for small enough variations of the time-varying delay around its nominal value. These results are extended to the feedback stabilization of a class of diagonal infinite-dimensional boundary control systems in the presence of a time-varying delay in the boundary control input. △ Less

Submitted 28 August, 2019; v1 submitted 20 February, 2019; originally announced February 2019.

Comments: Published in Automatica as a brief paper

Journal ref: Automatica, Volume 109, November 2019, 108551

Derandomized Distributed Multi-resource Allocation with Little Communication Overhead

Authors: Syed Eqbal Alam, Robert Shorten, Fabian Wirth, Jia Yuan Yu

Abstract: We study a class of distributed optimization problems for multiple shared resource allocation in Internet-connected devices. We propose a derandomized version of an existing stochastic additive-increase and multiplicative-decrease (AIMD) algorithm. The proposed solution uses one bit feedback signal for each resource between the system and the Internet-connected devices and does not require inter-d… ▽ More We study a class of distributed optimization problems for multiple shared resource allocation in Internet-connected devices. We propose a derandomized version of an existing stochastic additive-increase and multiplicative-decrease (AIMD) algorithm. The proposed solution uses one bit feedback signal for each resource between the system and the Internet-connected devices and does not require inter-device communication. Additionally, the Internet-connected devices do not compromise their privacy and the solution does not dependent on the number of participating devices. In the system, each Internet-connected device has private cost functions which are strictly convex, twice continuously differentiable and increasing. We show empirically that the long-term average allocations of multiple shared resources converge to optimal allocations and the system achieves minimum social cost. Furthermore, we show that the proposed derandomized AIMD algorithm converges faster than the stochastic AIMD algorithm and both the approaches provide approximately same solutions. △ Less

Submitted 21 December, 2018; originally announced December 2018.

Journal ref: 2018 56th Annual Allerton Conference on Communication, Control, and Computing (Allerton)

Distributed Algorithms for Internet-of-Things-enabled Prosumer Markets: A Control Theoretic Perspective

Authors: Syed Eqbal Alam, Robert Shorten, Fabian Wirth, Jia Yuan Yu

Abstract: Internet-of-Things (IoT) enables the development of sharing economy applications. In many sharing economy scenarios, agents both produce as well as consume a resource; we call them prosumers. A community of prosumers agrees to sell excess resource to another community in a prosumer market. In this chapter, we propose a control theoretic approach to regulate the number of prosumers in a prosumer co… ▽ More Internet-of-Things (IoT) enables the development of sharing economy applications. In many sharing economy scenarios, agents both produce as well as consume a resource; we call them prosumers. A community of prosumers agrees to sell excess resource to another community in a prosumer market. In this chapter, we propose a control theoretic approach to regulate the number of prosumers in a prosumer community, where each prosumer has a cost function that is coupled through its time-averaged production and consumption of the resource. Furthermore, each prosumer runs its distributed algorithm and takes only binary decisions in a probabilistic way, whether to produce one unit of the resource or not and to consume one unit of the resource or not. In the proposed approach, prosumers do not explicitly exchange information with each other due to privacy reasons, but little exchange of information is required for feedback signals, broadcast by a central agency. In the proposed approach, prosumers achieve the optimal values asymptotically. Furthermore, the proposed approach is suitable to implement in an IoT context with minimal demands on infrastructure. We describe two use cases; community-based car sharing and collaborative energy storage for prosumer markets. We also present simulation results to check the efficacy of the algorithms. △ Less

Submitted 25 March, 2019; v1 submitted 18 December, 2018; originally announced December 2018.

Comments: To appear as a chapter in "Analytics for the Sharing Economy: Mathematics, Engineering and Business Perspectives", Editors: E. Crisostomi et al., Springer, 2019 (forthcoming book)

Journal ref: Analytics for the Sharing Economy: Mathematics, Engineering and Business Perspectives, Springer, Cham, 2020

ISS Property with Respect to Boundary Disturbances for a Class of Riesz-Spectral Boundary Control Systems

Authors: Hugo Lhachemi, Robert Shorten

Abstract: This paper deals with the establishment of Input-to-State Stability (ISS) estimates for infinite dimensional systems with respect to both boundary and distributed disturbances. First, a new approach is developed for the establishment of ISS estimates for a class of Riesz-spectral boundary control systems satisfying certain eigenvalue constraints. Second, a concept of weak solutions is introduced i… ▽ More This paper deals with the establishment of Input-to-State Stability (ISS) estimates for infinite dimensional systems with respect to both boundary and distributed disturbances. First, a new approach is developed for the establishment of ISS estimates for a class of Riesz-spectral boundary control systems satisfying certain eigenvalue constraints. Second, a concept of weak solutions is introduced in order to relax the disturbances regularity assumptions required to ensure the existence of classical solutions. The proposed concept of weak solutions, that applies to a large class of boundary control systems which is not limited to the Riesz-spectral ones, provides a natural extension of the concept of both classical and mild solutions. Assuming that an ISS estimate holds true for classical solutions, we show the existence, the uniqueness, and the ISS property of the weak solutions. △ Less

Submitted 6 August, 2019; v1 submitted 8 October, 2018; originally announced October 2018.

Comments: Published in Automatica as a regular paper

Journal ref: Automatica, Volume 109, November 2019, 108504

Input-to-State Stability of a Clamped-Free Damped String in the Presence of Distributed and Boundary Disturbances

Authors: Hugo Lhachemi, David Saussié, Guchuan Zhu, Robert Shorten

Abstract: This note establishes the Exponential Input-to-State Stability (EISS) property for a clamped-free damped string with respect to distributed and boundary disturbances. While efficient methods for establishing ISS properties for distributed parameter systems with respect to distributed disturbances have been developed during the last decades, establishing ISS properties with respect to boundary dist… ▽ More This note establishes the Exponential Input-to-State Stability (EISS) property for a clamped-free damped string with respect to distributed and boundary disturbances. While efficient methods for establishing ISS properties for distributed parameter systems with respect to distributed disturbances have been developed during the last decades, establishing ISS properties with respect to boundary disturbances remains challenging. One of the well-known methods for well-posedness analysis of systems with boundary inputs is the use of a lifting operator for transferring the boundary disturbance to a distributed one. However, the resulting distributed disturbance involves time derivatives of the boundary perturbation. Thus, the subsequent ISS estimate depends on its amplitude, and may not be expressed in the strict form of ISS properties. To solve this problem, we show for a clamped-free damped string equation that the projection of the original system trajectories in an adequate Riesz basis can be used to establish the desired EISS property. △ Less

Submitted 29 June, 2019; v1 submitted 31 July, 2018; originally announced July 2018.

Comments: Accepted for publication in IEEE Transactions on Automatic Control as a brief paper

Journal ref: IEEE Transactions on Automatic Control, 2019, vol. 65, no 3, p. 1248-1255

Communication-efficient Distributed Multi-resource Allocation

Authors: Syed Eqbal Alam, Robert Shorten, Fabian Wirth, Jia Yuan Yu

Abstract: In several smart city applications, multiple resources must be allocated among competing agents that are coupled through such shared resources and are constrained --- either through limitations of communication infrastructure or privacy considerations. We propose a distributed algorithm to solve such distributed multi-resource allocation problems with no direct inter-agent communication. We do so… ▽ More In several smart city applications, multiple resources must be allocated among competing agents that are coupled through such shared resources and are constrained --- either through limitations of communication infrastructure or privacy considerations. We propose a distributed algorithm to solve such distributed multi-resource allocation problems with no direct inter-agent communication. We do so by extending a recently introduced additive-increase multiplicative-decrease (AIMD) algorithm, which only uses very little communication between the system and agents. Namely, a control unit broadcasts a one-bit signal to agents whenever one of the allocated resources exceeds capacity. Agents then respond to this signal in a probabilistic manner. In the proposed algorithm, each agent makes decision of its resource demand locally and an agent is unaware of the resource allocation of other agents. In empirical results, we observe that the average allocations converge over time to optimal allocations. △ Less

Submitted 27 July, 2018; originally announced July 2018.

Comments: To appear in IEEE International Smart Cities Conference (ISC2 2018), Kansas City, USA, September, 2018. arXiv admin note: substantial text overlap with arXiv:1711.01977

Journal ref: 2018 IEEE International Smart Cities Conference (ISC2)

On the Ergodic Control of Ensembles

Authors: Andre R. Fioravanti, Jakub Marecek, Robert N. Shorten, Matheus Souza, Fabian R. Wirth

Abstract: Across smart-grid and smart-city application domains, there are many problems where an ensemble of agents is to be controlled such that both the aggregate behaviour and individual-level perception of the system's performance are acceptable. In many applications, traditional PI control is used to regulate aggregate ensemble performance. Our principal contribution in this note is to demonstrate that… ▽ More Across smart-grid and smart-city application domains, there are many problems where an ensemble of agents is to be controlled such that both the aggregate behaviour and individual-level perception of the system's performance are acceptable. In many applications, traditional PI control is used to regulate aggregate ensemble performance. Our principal contribution in this note is to demonstrate that PI control may not be always suitable for this purpose, and in some situations may lead to a loss of ergodicity for closed-loop systems. Building on this observation, a theoretical framework is proposed to both analyse and design control systems for the regulation of large scale ensembles of agents with a probabilistic intent. Examples are given to illustrate our results. △ Less

Submitted 23 June, 2019; v1 submitted 9 July, 2018; originally announced July 2018.

Comments: Journal version of Fioravanti et al. [arXiv:1703.07308, CDC 2017]

Journal ref: Automatica, Volume 108, October 2019

Distributed Ledger Technology, Cyber-Physical Systems, and Social Compliance

Authors: Pietro Ferraro, Christopher King, Robert Shorten

Abstract: This paper describes how Distributed Ledger Technologies can be used to design a class of cyber-physical systems, as well as to enforce social contracts and to orchestrate the behaviour of agents trying to access a shared resource. The first part of the paper analyses the advantages and disadvantages of using Distributed Ledger Technologies architectures to implement certain control systems in an… ▽ More This paper describes how Distributed Ledger Technologies can be used to design a class of cyber-physical systems, as well as to enforce social contracts and to orchestrate the behaviour of agents trying to access a shared resource. The first part of the paper analyses the advantages and disadvantages of using Distributed Ledger Technologies architectures to implement certain control systems in an Internet of Things (IoT) setting, and then focuses on a specific type of DLT based on a Directed Acyclic Graph. In this setting we propose a set of delay differential equations to describe the dynamical behaviour of the Tangle, an IoT-inspired Directed Acyclic Graph designed for the cryptocurrency IOTA. The second part proposes an application of Distributed Ledger Technologies as a mechanism for dynamic deposit pricing, wherein the deposit of digital currency is used to orchestrate access to a network of shared resources. The pricing signal is used as a mechanism to enforce the desired level of compliance according to a predetermined set of rules. After presenting an illustrative example, we analyze the control system and provide sufficient conditions for the stability of the network. △ Less

Submitted 20 October, 2018; v1 submitted 2 July, 2018; originally announced July 2018.

Comments: This paper has been accepted for publication on the journal IEEE Access, with the title "Distributed Ledger Technology for Smart Cities, the Sharing Economy, and Social Compliance"

A Non-Invasive Method for the Safe Interaction of Cities and Electric Vehicle Fleets

Authors: Bill Power, Brian Mulkeene, Anthony D. Fagan, Robert Shorten

Abstract: Electric and hybrid vehicles are growing in popularity. While these vehicles produce less pollution, they also produce less audible noise, especially at lower speeds. This makes it harder for pedestrians and cyclists to detect an approaching vehicle. Thus, an additional system is required to detect electric and hybrid vehicles and alert pedestrians and cyclists of their whereabouts, especially whi… ▽ More Electric and hybrid vehicles are growing in popularity. While these vehicles produce less pollution, they also produce less audible noise, especially at lower speeds. This makes it harder for pedestrians and cyclists to detect an approaching vehicle. Thus, an additional system is required to detect electric and hybrid vehicles and alert pedestrians and cyclists of their whereabouts, especially while these vehicles are driving at low speeds in cities. This paper introduces one such method based on high frequency audio emissions that are present in EVs, which arise, for example, from the process of magnetostriction. Our method is tested experimentally using 4 different tests vehicles, and a preliminary EV detection algorithm is also presented. △ Less

Submitted 24 April, 2018; originally announced April 2018.

Comments: Submitted to ITSC 2018

dockChain: A Solution for Electric Vehicles Charge Point Anxiety

Authors: J. O'Connell, B. Cardiff, R. Shorten

Abstract: This paper addresses Charge Point Anxiety surrounding electric vehicles (EVs), an issue preventing the mass adoption of this greener mode of transport. We discuss the design and implementation of a charge point adapter called \textit{dockChain} that will help mitigate Charge Point Anxiety. The key feature of the dockChain is that it allows multiple EVs to connect simultaneously to a single charge… ▽ More This paper addresses Charge Point Anxiety surrounding electric vehicles (EVs), an issue preventing the mass adoption of this greener mode of transport. We discuss the design and implementation of a charge point adapter called \textit{dockChain} that will help mitigate Charge Point Anxiety. The key feature of the dockChain is that it allows multiple EVs to connect simultaneously to a single charge by connecting the adapters together in a chain resulting in additional charging opportunities - without the need for infrastructural changes. We describe the operation of the network of adapters, the hardware components and charging policies for the adapter. A distributed algorithm that can detect the length of the chain in a dockChain network is also presented. △ Less

Submitted 20 October, 2018; v1 submitted 24 April, 2018; originally announced April 2018.

Comments: A version of this paper is accepted for presentation at the 21st IEEE International Conference on Intelligent Transportation Systems

On the Design of an Intelligent Speed Advisory System for Cyclists

Authors: Yingqi Gu, Mingming Liu, Matheus Souza, Robert Shorten

Abstract: Traffic-related pollution is becoming a major societal problem globally. Cyclists are particularly exposed to this form of pollution due to their proximity to vehicles' tailpipes. In a number of recent studies, it is been shown that exposure to this form of pollution eventually outweighs the cardio-vascular benefits associated with cycling. Hence during cycling there are conflicting effects that a… ▽ More Traffic-related pollution is becoming a major societal problem globally. Cyclists are particularly exposed to this form of pollution due to their proximity to vehicles' tailpipes. In a number of recent studies, it is been shown that exposure to this form of pollution eventually outweighs the cardio-vascular benefits associated with cycling. Hence during cycling there are conflicting effects that affect the cyclist. On the one hand, cycling effort gives rise to health benefits, whereas exposure to pollution clearly does not. Mathematically speaking, these conflicting effects give rise to convex utility functions that describe the health threats accrued to cyclists. More particularly, and roughly speaking, for a given level of background pollution, there is an optimal length of journey time that minimises the health risks to a cyclist. In this paper, we consider a group of cyclists that share a common route. This may be recreational cyclists, or cyclists that travel together from an origin to destination. Given this context, we ask the following question. What is the common speed at which the cyclists should travel, so that the overall health risks can be minimised? We formulate this as an optimisation problem with consensus constraints. More specifically, we design an intelligent speed advisory system that recommends a common speed to a group of cyclists taking into account different levels of fitness of the cycling group, or different levels of electric assist in the case that some or all cyclists use e-bikes (electric bikes). To do this, we extend a recently derived consensus result to the case of quasi-convex utility functions. Simulation studies in different scenarios demonstrate the efficacy of our proposed system. △ Less

Submitted 23 April, 2018; originally announced April 2018.

Comments: This paper has been submitted to the 21st IEEE International Conference on Intelligent Transportation Systems (ITSC) for publication

On the design of a decision engine for connected vehicles with an application to congestion management

Authors: Rodrigo Ordóñez-Hurtado, Giovanni Russo, Sam Sinnott, Robert Shorten

Abstract: Vehicles are becoming connected entities. As a result, a likely scenario is that such entities might be literally bombarded with information from a multitude of devices. In this context, a key challenging requirement for both connected and autonomous vehicles is that they will need to become cognitive bodies, able to parse information and use only the pieces of information that are relevant to the… ▽ More Vehicles are becoming connected entities. As a result, a likely scenario is that such entities might be literally bombarded with information from a multitude of devices. In this context, a key challenging requirement for both connected and autonomous vehicles is that they will need to become cognitive bodies, able to parse information and use only the pieces of information that are relevant to the vehicle in the context of a given journey. In order to address this fundamental requirement, a decision engine is presented in this paper. The engine makes it possible for the vehicle to understand which pieces of information are really relevant, and subsequently to process only those pieces of information. In order to illustrate the key features of our system, we show that it is possible to build upon the engine to develop a distributed traffic management system, and then we validate such a system via both conventional (numerical and SUMO-based) simulations and a Hardware-in-the-Loop (HIL) platform. Both the conventional simulations and the HIL validation showed that the engine can be effectively used to design a distributed traffic management system. △ Less

Submitted 18 April, 2018; originally announced April 2018.

Comments: 12 pages, 8 figures

On the Control of Agents Coupled through Shared Unit-demand Resources

Authors: Syed Eqbal Alam, Robert Shorten, Fabian Wirth, Jia Yuan Yu

Abstract: We consider a control problem involving several agents coupled through multiple unit-demand resources. Such resources are indivisible, and each agent's consumption is modeled as a Bernoulli random variable. Controlling the number of such agents in a probabilistic manner, subject to capacity constraints, is ubiquitous in smart cities. For instance, such agents can be humans in a feedback loop---who… ▽ More We consider a control problem involving several agents coupled through multiple unit-demand resources. Such resources are indivisible, and each agent's consumption is modeled as a Bernoulli random variable. Controlling the number of such agents in a probabilistic manner, subject to capacity constraints, is ubiquitous in smart cities. For instance, such agents can be humans in a feedback loop---who respond to a price signal, or automated decision-support systems that strive toward system-level goals. In this paper, we consider both single feedback loop corresponding to a single resource and multiple coupled feedback loops corresponding to multiple resources consumed by the same population of agents. For example, when a network of devices allocates resources to deliver several services, these services are coupled through capacity constraints on the resources. We propose a new algorithm with fundamental guarantees of convergence and optimality, as well as present an example illustrating its performance. △ Less

Submitted 29 April, 2019; v1 submitted 27 March, 2018; originally announced March 2018.

MSC Class: 93E20; 93C10; 93C35

On $\mathcal{L}_{\infty}$ string stability of nonlinear bidirectional asymmetric heterogeneous platoon systems

Authors: Julien Monteil, Giovanni Russo, Robert Shorten

Abstract: This paper is concerned with the study of bidirectionally coupled platoon systems. The case considered is when the vehicles are heterogeneous and the coupling can be nonlinear and asymmetric. For such systems, a sufficient condition for $\mathcal{L}_{\infty}$ string stability is presented. The effectiveness of our approach is illustrated via a numerical example, where it is shown how our result ca… ▽ More This paper is concerned with the study of bidirectionally coupled platoon systems. The case considered is when the vehicles are heterogeneous and the coupling can be nonlinear and asymmetric. For such systems, a sufficient condition for $\mathcal{L}_{\infty}$ string stability is presented. The effectiveness of our approach is illustrated via a numerical example, where it is shown how our result can be recast as an optimization problem, allowing to design the control protocol for each vehicle independently on the other vehicles and hence leading to a bottom-up approach for the design of string stable systems able to track a time-varying reference speed. △ Less

Submitted 24 December, 2018; v1 submitted 23 January, 2018; originally announced January 2018.

A context-aware e-bike system to reduce pollution inhalation while cycling

Authors: Shaun Sweeney, Rodrigo Ordonez-Hurtado, Francesco Pilla, Giovanni Russo, David Timoney, Robert Shorten

Abstract: The effect of transport-related pollution on human health is fast becoming recognised as a major issue in cities worldwide. Cyclists, in particular, face great risks, as they typically are most exposed to tail-pipe emissions. Three avenues are being explored worldwide in the fight against urban pollution: (i) outright bans on polluting vehicles and embracing zero tailpipe emission vehicles; (ii) m… ▽ More The effect of transport-related pollution on human health is fast becoming recognised as a major issue in cities worldwide. Cyclists, in particular, face great risks, as they typically are most exposed to tail-pipe emissions. Three avenues are being explored worldwide in the fight against urban pollution: (i) outright bans on polluting vehicles and embracing zero tailpipe emission vehicles; (ii) measuring air-quality as a means to better informing citizens of zones of higher pollution; and (iii) develo** smart mobility devices that seek to minimize the effect of polluting devices on citizens as they transport goods and individuals in our cities. Following this latter direction, in this paper we present a new way to protect cyclists from the effect of urban pollution. Namely, by exploiting the actuation possibilities afforded by pedelecs or e-bikes (electric bikes), we design a cyber-physical system that mitigates the effect of urban pollution by indirectly controlling the breathing rate of cyclists in polluted areas. Results from a real device are presented to illustrate the efficacy of our system. △ Less

Submitted 24 April, 2018; v1 submitted 2 June, 2017; originally announced June 2017.

Comments: Title change: Previous title of this paper was: Cyberphysics, Pedelecs, and Pollution Mitigation. A longer version of this paper was accepted for publication in IEEE Transactions on Intelligent Transportation Systems, August 4th, 2017

Hybrid Urban Navigation for Smart Cities

Authors: Oisín Moran, Robert Gilmore, Rodrigo Ordóñez-Hurtado, Robert Shorten

Abstract: This paper proposes a design for a hybrid, city-wide urban navigation system for moving agents demanding dedicated assistance. The hybrid system combines GPS and vehicle-to-vehicle communication from an ad-hoc network of parked cars, and RFID from fixed infrastructure -such as smart traffic lights- to enable a safely navigable city. Applications for such a system include high-speed drone navigatio… ▽ More This paper proposes a design for a hybrid, city-wide urban navigation system for moving agents demanding dedicated assistance. The hybrid system combines GPS and vehicle-to-vehicle communication from an ad-hoc network of parked cars, and RFID from fixed infrastructure -such as smart traffic lights- to enable a safely navigable city. Applications for such a system include high-speed drone navigation and directing visually impaired pedestrians. △ Less

Submitted 3 May, 2017; originally announced May 2017.

Comments: 21 pages, 10 figures, 2 tables

Pedestrian-Aware Engine Management Strategies for Plug-in Hybrid Electric Vehicles

Authors: Yingqi Gu, Mingming Liu, Joe Naoum-Sawaya, Emanuele Crisostomi, Giovanni Russo, Robert Shorten

Abstract: Electric Vehicles (EVs) and Plug-in Hybrid Electric Vehicles (PHEVs) are increasingly being seen as a means of mitigating the pressing concerns of traffic-related pollution. While hybrid vehicles are usually designed with the objective of minimising fuel consumption, in this paper we propose engine management strategies that also take into account environmental effects of the vehicles to pedestria… ▽ More Electric Vehicles (EVs) and Plug-in Hybrid Electric Vehicles (PHEVs) are increasingly being seen as a means of mitigating the pressing concerns of traffic-related pollution. While hybrid vehicles are usually designed with the objective of minimising fuel consumption, in this paper we propose engine management strategies that also take into account environmental effects of the vehicles to pedestrians outside of the vehicles. Specifically, we present optimisation based engine energy management strategies for PHEVs, that attempt to minimise the environmental impact of pedestrians along the route of the vehicle, while taking account of route dependent uncertainties. We implement the proposed approach in a real PHEV, and evaluate the performance in a hardware-in-the-loop platform. A variety of simulation results are given to illustrate the efficacy of our proposed approach. △ Less

Submitted 6 April, 2017; v1 submitted 22 December, 2016; originally announced December 2016.

On noise-induced synchronization and consensus of nonlinear network systems under input disturbances

Authors: Giovanni Russo, Rovert Shorten

Abstract: This paper is concerned with the study of synchronization and consensus phenomena in complex networks of diffusively-coupled nodes subject to external disturbances. Specifically, we make use of stochastic Lyapunov functions to provide conditions for synchronization and consensus for networks of nonlinear, diffusively coupled nodes, where noise diffusion is not just additive but it depends on the n… ▽ More This paper is concerned with the study of synchronization and consensus phenomena in complex networks of diffusively-coupled nodes subject to external disturbances. Specifically, we make use of stochastic Lyapunov functions to provide conditions for synchronization and consensus for networks of nonlinear, diffusively coupled nodes, where noise diffusion is not just additive but it depends on the nodes' state. The sufficient condition we provide, wich links together network topology, coupling strength and noise diffusion, offers two interesting interpretations. First, as suggested by {\em intuition}, in order for a network to achieve synchronization/consensus, its nodes need to be sufficiently well connected together. The second implication might seem, instead, counter-intuitive: if noise diffusion is {\em properly} designed, then it can drive an unsynchronized network towards synchronization/consensus. Motivated by our current research in Smart Cities and Internet of Things, we illustrate the effectiveness of our approach by showing how our results can be used to control certain collective decision processes. △ Less

Submitted 21 March, 2016; originally announced March 2016.

Comments: Preprint submitted to SIAM SICON. arXiv admin note: text overlap with arXiv:1602.06467

Smart Procurement of Naturally Generated Energy (SPONGE) for Plug-in Hybrid Electric Buses

Authors: Joe Naoum-Sawaya, Emanuele Crisostomi, Mingming Liu, Yingqi Gu, Robert Shorten

Abstract: We discuss a recently introduced ECO-driving concept known as SPONGE in the context of Plug-in Hybrid Electric Buses (PHEB)'s.Examples are given to illustrate the benefits of this approach to ECO-driving. Finally, distributed algorithms to realise SPONGE are discussed, paying attention to the privacy implications of the underlying optimisation problems. We discuss a recently introduced ECO-driving concept known as SPONGE in the context of Plug-in Hybrid Electric Buses (PHEB)'s.Examples are given to illustrate the benefits of this approach to ECO-driving. Finally, distributed algorithms to realise SPONGE are discussed, paying attention to the privacy implications of the underlying optimisation problems. △ Less

Submitted 6 March, 2016; originally announced March 2016.

Comments: This paper is recently submitted to the IEEE Transactions on Automation Science and Engineering

A Distributed and Privacy-Aware Speed Advisory System for Optimising Conventional and Electric Vehicles Networks

Authors: Mingming Liu, Rodrigo H. Ordóñez-Hurtado, Fabian Wirth, Yingqi Gu, Emanuele Crisostomi, Robert Shorten

Abstract: One of the key ideas to make Intelligent Transportation Systems (ITS) work effectively is to deploy advanced communication and cooperative control technologies among the vehicles and road infrastructures. In this spirit, we propose a consensus-based distributed speed advisory system that optimally determines a recommended common speed for a given area in order that the group emissions, or group ba… ▽ More One of the key ideas to make Intelligent Transportation Systems (ITS) work effectively is to deploy advanced communication and cooperative control technologies among the vehicles and road infrastructures. In this spirit, we propose a consensus-based distributed speed advisory system that optimally determines a recommended common speed for a given area in order that the group emissions, or group battery consumptions, are minimised. Our algorithms achieve this in a privacy-aware manner; namely, individual vehicles do not reveal in-vehicle information to other vehicles or to infrastructure. A mobility simulator is used to illustrate the efficacy of the algorithm, and hardware-in-the-loop tests involving a real vehicle are given to illustrate user acceptability and ease of the deployment. △ Less

Submitted 20 August, 2015; v1 submitted 3 June, 2015; originally announced June 2015.

Comments: This is a journal paper based on the conference paper "Highway speed limits, optimised consensus, and intelligent speed advisory systems" presented at the 3rd International Conference on Connected Vehicles and Expo (ICCVE 2014) in November 2014. This is the revised version of the paper recently submitted to the IEEE Transactions on Intelligent Transportation Systems for publication

On the stability and convergence of a class of consensus systems with a nonlinear input

Authors: Mingming Liu, Fabian Wirth, Martin Corless, Robert Shorten

Abstract: We consider a class of consensus systems driven by a nonlinear input. Such systems arise in a class of IoT applications. Our objective in this paper is to determine conditions under which a certain partially distributed system converges to a Lur'e-like scalar system, and to provide a rigorous proof of its stability. Conditions are derived for the non-uniform convergence and stability of such a sys… ▽ More We consider a class of consensus systems driven by a nonlinear input. Such systems arise in a class of IoT applications. Our objective in this paper is to determine conditions under which a certain partially distributed system converges to a Lur'e-like scalar system, and to provide a rigorous proof of its stability. Conditions are derived for the non-uniform convergence and stability of such a system and an example is given of a speed advisory system where such a system arises in real engineering practice. △ Less

Submitted 11 July, 2017; v1 submitted 3 June, 2015; originally announced June 2015.

Comments: This paper has been accepted by Automatica as a brief paper. Final version to appear soon