Searcharxiv⌕ Search

arXiv subjects

Robert Shorten

Publications and source records attributed to Robert Shorten.

At least 55 records · Page 3Linked to original sources

Reinforcement Learning with Algorithms from Probabilistic Structure Estimation

Reinforcement learning (RL) algorithms aim to learn optimal decisions in unknown environments through experience of taking actions and observing the rewards gained. In some cases, the environment is not influenced by the actions of the RL agent, in which case the problem can be modeled as a contextual multi-armed bandit and lightweight myopic algorithms can be employed. On the other hand, when the RL agent's actions affect the environment, the problem must be modeled as a Markov decision process and more complex RL algorithms are required which take the future effects of actions into account. Moreover, in practice, it is often unknown from the outset whether or not the agent's actions will impact the environment and it is therefore not possible to determine which RL algorithm is most fitting. In this work, we propose to avoid this difficult decision entirely and incorporate a choice mechanism into our RL framework. Rather than assuming a specific problem structure, we use a probabilistic structure estimation procedure based on a likelihood-ratio (LR) test to make a more informed selection of learning algorithm. We derive a sufficient condition under which myopic policies are optimal, present an LR test for this condition, and derive a bound on the regret of our framework. We provide examples of real-world scenarios where our framework is needed and provide extensive simulations to validate our approach.

cs.LG↗

A DLT enabled smart mask system to enable social compliance

As Covid-19 remains a cause of concern, especially due to its mutations, wearing masks correctly and efficiently remains a priority in order to limit the spread of the disease. In this paper we present a wearable smart-mask prototype using concepts from Internet of Things, Control Theory and Distributed Ledger Technologies. Its purpose is to encourage people to comply with social distancing norms, through the use of incentives. The smart mask is designed to monitor Carbon Dioxide and Total Volatile Organic Compounds concentrations. The detected data is appended to a DAG-based DLT, named the IOTA Tangle. The IOTA Tangle ensures that the data is secure and immutable and acts as a communication backbone for the incentive mechanism. A hardware-in-the-loop simulation, based on indoor positioning, is developed to validate the effectiveness of the designed prototype.

cs.CY↗

On Constant Distance Spacing Policies for Cooperative Adaptive Cruise Control

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.

eess.SY↗

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

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.

eess.SY↗

A smart electric bike for smart cities

This is a Masters Thesis completed at University College Dublin, Ireland in 2017 which involved augmenting an off-the-shelf electric bike with sensors to enable new services to be delivered to cyclists in cities. The application of primary interest was to control the cyclist's ventilation rate based on the concentration of local air pollutants. Detailed modelling and system design is presented for our Cyberphysical system which consisted of a modified BTwin e-bike, Cycle Analyst sensors, the cyclist themselves, a Bluetooth connected smartphone and our algorithms. Control algorithms to regulate the proportion of power the cyclist provided as a proxy for their ventilation rate were proposed and validated in a basic way, which were later proven significantly further in Further Work (see IEEE Transactions on Intelligent Transportation Systems paper: https://ieeexplore.ieee.org/abstract/document/8357977). The basic idea was to provide more electrical assistance to cyclists in areas of high air pollution to reduce the cyclist ventilation rate and thereby the amount of air pollutants inhaled. This presents an interesting control challenge due to the human-in-the-loop characteristics and the potential for impactful real life applications. A background literature review is provided on energy as it relates to cycling and some other applications are also discussed. A link to a video which demonstrates the system is provided, and also to a blog published by IBM Research about the system.

cs.MA↗

Markovian city-scale modelling and mitigation of micro-particles from tyres

The recent uptake in popularity in vehicles with zero tailpipe emissions is a welcome development in the fight against traffic induced airborne pollutants. As vehicle fleets become electrified, and tailpipe emissions become less prevalent, non-tailpipe emissions (from tires and brake disks) will become the dominant source of traffic related emissions, and will in all likelihood become a major concern for human health. This trend is likely to be exacerbated by the heavier weight of electric vehicles, their increased power, and their increased torque capabilities, when compared with traditional vehicles. While the problem of emissions from tire wear is well-known, issues around the process of tire abrasion, its impact on the environment, and modelling and mitigation measures, remain relatively unexplored. Work on this topic has proceeded in several discrete directions including: on-vehicle collection methods; vehicle tire-wear abatement algorithms and controlling the ride characteristics of a vehicle, all with a view to abating tire emissions. Additional approaches include access control mechanisms to manage aggregate tire emissions in a geofenced area with other notable work focussing on understanding the particle size distribution of tire generated PM, the degree to which particles become airborne, and the health impacts of tire emissions. While such efforts are already underway, the problem of developing models to predict the aggregate picture of a network of vehicles at the scale of a city, has yet to be considered. Our objective in this paper is to present one such model, built using ideas from Markov chains. Applications of our modelling approach are given toward the end of this note, both to illustrate the utility of the proposed method, and to illustrate its application as part of a method to collect tire dust particles.

physics.soc-ph↗

Pitchfork-bifurication-based competitive and collaborative control of an E-bike system

This paper is concerned with the design of a human-in-the-loop system for deployment on a smart pedelec (e-bike). From the control-theoretic perspective, the goal is not only to use the power assistance of the e-bike to reject disturbances along the route but also to manage the possibly competitive interactions between a human and the motor intervention. Managing the competitive/cooperative nature of the interactions is crucial for applications in which we wish to control physical aspects of the cycling behavior (e.g. heart rate and breathing rate). The basis of the control is a pitchfork bifurcation system, modeling the interactions, augmented using ideas from gain-scheduling. In vivo experiments have been conducted, showing the effectiveness of the proposed control strategy.

math.OC↗

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

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.

math.OC↗

Secure Access Control for DAG-based Distributed Ledgers

Access control is a fundamental component of the design of distributed ledgers, influencing many aspects of their design, such as fairness, efficiency, traditional notions of network security, and adversarial attacks such as Denial-of-Service (DoS) attacks. In this work, we consider the security of a recently proposed access control protocol for Directed Acyclic Graph-based distributed ledgers. We present a number of attack scenarios and potential vulnerabilities of the protocol and introduce a number of additional features which enhance its resilience. Specifically, a blacklisting algorithm, which is based on a reputation-weighted threshold, is introduced to handle both spamming and multi-rate malicious attackers. The introduction of a solidification request component is also introduced to ensure the fairness and consistency of network in the presence of attacks. Finally, a timestamp component is also introduced to maintain the consistency of the network in the presence of multi-rate attackers. Simulations to illustrate the efficacy and robustness of the revised protocol are also described.

cs.CR↗

On node ranking in graphs

The ranking of nodes in a network according to their ``importance'' is a classic problem that has attracted the interest of different scientific communities in the last decades. The current COVID-19 pandemic has recently rejuvenated the interest in this problem, as it is related to the selection of which individuals should be tested in a population of asymptomatic individuals, or which individuals should be vaccinated first. Motivated by the COVID-19 spreading dynamics, in this paper we review the most popular methods for node ranking in undirected unweighted graphs, and compare their performance in a benchmark realistic network, that takes into account the community-based structure of society. Also, we generalize a classic benchmark network originally proposed by Newman for ranking nodes in unweighted graphs, to show how ranks change in the weighted case.

physics.soc-ph↗

Access Control for Distributed Ledgers in the Internet of Things: A Networking Approach

In the Internet of Things (IoT) domain, devices need a platform to transact seamlessly without a trusted intermediary. Although Distributed Ledger Technologies (DLTs) could provide such a platform, blockchains, such as Bitcoin, were not designed with IoT networks in mind, hence are often unsuitable for such applications: they offer poor transaction throughput and confirmation times, put stress on constrained computing and storage resources, and require high transaction fees. In this work, we consider a class of IoT-friendly DLTs based on directed acyclic graphs, rather than a blockchain, and with a reputation system in the place of Proof of Work (PoW). However, without PoW, implementation of these DLTs requires an access control algorithm to manage the rate at which nodes can add new transactions to the ledger. We model the access control problem and present an algorithm that is fair, efficient and secure. Our algorithm represents a new design paradigm for DLTs in which concepts from networking are applied to the DLT setting for the first time. For example, our algorithm uses distributed rate setting which is similar in nature to transmission control used in the Internet. However, our solution features novel adaptations to cope with the adversarial environment of DLTs in which no individual agent can be trusted. Our algorithm guarantees utilisation of resources, consistency, fairness, and resilience against attackers. All of this is achieved efficiently and with regard for the limitations of IoT devices. We perform extensive simulations to validate these claims.

cs.NI↗

Boundary Output Feedback Stabilization of State Delayed Reaction-Diffusion PDEs

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.

math.OC↗

A Note on Order and Index Reduction for Descriptor Systems

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.

eess.SY↗

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

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.

eess.SY↗

On the derivation of stability properties for time-delay systems without constraint on the time-derivative of the initial condition

Stability of retarded differential equations is closely related to the existence of Lyapunov-Krasovskii functionals. Even if a number of converse results have been reported regarding the existence of such functionals, there is a lack of constructive methods for their selection. For certain classes of time-delay systems for which such constructive methods are lacking, it was shown that Lyapunov-Krasovskii functionals that are also allowed to depend on the time-derivative of the state-trajectory are efficient tools for the study of the stability properties. However, in such an approach the initial condition needs to be assumed absolutely continuous with a square integrable weak derivative. In addition, the stability results hold for initial conditions that are evaluated based on the magnitude of both the initial condition and its time-derivative. The main objective of this paper is to show that, for certain classes of time-delay systems, the aforementioned stability results can actually be extended to initial conditions that are only assumed continuous and that are evaluated in uniform norm.

math.OC↗

Spatial Positioning Token (SPToken) for Smart Mobility

We introduce a permissioned distributed ledger technology (DLT) design for crowdsourced smart mobility applications. This architecture is based on a directed acyclic graph architecture (similar to the IOTA tangle) and uses both Proof-of-Work and Proof-of-Position mechanisms to provide protection against spam attacks and malevolent actors. In addition to enabling individuals to retain ownership of their data and to monetize it, the architecture also is suitable for distributed privacy-preserving machine learning algorithms, is lightweight, and can be implemented in simple internet-of-things (IoT) devices. To demonstrate its efficacy, we apply this framework to reinforcement learning settings where a third party is interested in acquiring information from agents. In particular, one may be interested in sampling an unknown vehicular traffic flow in a city, using a DLT-type architecture and without perturbing the density, with the idea of realizing a set of virtual tokens as surrogates of real vehicles to explore geographical areas of interest. These tokens, whose authenticated position determines write access to the ledger, are thus used to emulate the probing actions of commanded (real) vehicles on a given planned route by "jumping" from a passing-by vehicle to another to complete the planned trajectory. Consequently, the environment stays unaffected (i.e., the autonomy of participating vehicles is not influenced by the algorithm), regardless of the number of emitted tokens. The design of such a DLT architecture is presented, and numerical results from large-scale simulations are provided to validate the proposed approach.

cs.CR↗

IOTA-based Directed Acyclic Graphs without Orphans

Directed Acylic Graphs (DAGs) are emerging as an attractive alternative to traditional blockchain architectures for distributed ledger technology (DLT). In particular DAG ledgers with stochastic attachment mechanisms potentially offer many advantages over blockchain, including scalability and faster transaction speeds. However, the random nature of the attachment mechanism coupled with the requirement of protection against double-spend transactions leaves open the possibility that not all transactions will be eventually validated. Such transactions are said to be orphaned, and will never be validated. Our principal contribution is to propose a simple modification to the attachment mechanism for the Tangle (the IOTA DAG architecture). This modification ensures that all transactions are validated in finite time, and preserves essential features of the popular Monte-Carlo selection algorithm. In order to demonstrate these results we derive a fluid approximation for the Tangle (in the limit of infinite arrival rate) and prove that this fluid model exhibits the desired behavior. We also present simulations which validate the results for finite arrival rates.

cs.DC↗

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

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.

math.OC↗