Source author record

David Angeli

David Angeli appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.OC Systems and Control math.DS Computer Science and Game Theory eess.SY math.CO Molecular Networks Quantitative Methods

Catalog footprint

What is connected

8works

8topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

A framework for receding-horizon control in infinite-horizon aggregative games

A novel modelling framework is proposed for the analysis of aggregative games on an infinite-time horizon, assuming that players are subject to heterogeneous periodic constraints. A new aggregative equilibrium notion is presented and the strategic behaviour of the agents is analysed under a receding horizon paradigm. The evolution of the strategies predicted and implemented by the players over time is modelled through a discrete-time multi-valued dynamical system. By considering Lyapunov stability notions and applying limit and invariance results for set-valued correspondences, necessary conditions are derived for convergence of a receding horizon map to a periodic equilibrium of the aggregative game. This result is achieved for any (feasible) initial condition, thus ensuring implicit adaptivity of the proposed control framework to real-time variations in the number and parameters of players. Design and implementation of the proposed control strategy are discussed and an example of distributed control for data routing is presented, evaluating its performance in simulation.

preprint2019arXiv

Chance-Constrained Ancillary Service Specification for Heterogeneous Storage Devices

We present a method to find the maximum magnitude of any supply-shortfall service that an aggregator of energy storage devices is able to sell to a grid operator. This is first demonstrated in deterministic settings, then applied to scenarios in which device availabilities are stochastic. In this case we implement chance constraints on the inability to deliver as promised. We show a significant computational improvement in using our method in place of straightforward scenario simulation. As an extension, we present an approximation to this method which allows the determined fleet capability to be applied to any chosen service, rather than having to re-solve the chance-constrained optimisation each time.

preprint2019arXiv

Minimising Unserved Energy Using Heterogeneous Storage Units

This paper considers the optimal dispatch of energy-constrained heterogeneous storage units to maximise security of supply. A policy, requiring no knowledge of the future, is presented and shown to minimise unserved energy during supply-shortfall events, regardless of the supply and demand profiles. It is accompanied by a graphical means to rapidly determine unavoidable energy shortfalls, which can then be used to compare different device fleets. The policy is well-suited for use within the framework of system adequacy assessment; for this purpose, a discrete time optimal policy is conceived, in both analytic and algorithmic forms, such that these results can be applied to discrete time systems and simulation studies. This is exemplified via a generation adequacy study of the British system.

preprint2018arXiv

Robustly Maximal Utilisation of Energy-Constrained Distributed Resources

We consider the problem of dispatching a fleet of distributed energy reserve devices to collectively meet a sequence of power requests over time. Under the restriction that reserves cannot be replenished, we aim to maximise the survival time of an energy-constrained islanded electrical system; and we discuss realistic scenarios in which this might be the ultimate goal of the grid operator. We present a policy that achieves this optimality, and generalise this into a set-theoretic result that implies there is no better policy available, regardless of the realised energy requirement scenario.

preprint2016arXiv

New Approach to the Stability of Chemical Reaction Networks: Piecewise Linear in Rates Lyapunov Functions

Piecewise-Linear in Rates (PWLR) Lyapunov functions are introduced for a class of Chemical Reaction Networks (CRNs). In addition to their simple structure, these functions are robust with respect to arbitrary monotone reaction rates, of which mass-action is a special case. The existence of such functions ensures the convergence of trajectories towards equilibria, and guarantee their asymptotic stability with respect to the corresponding stoichiometric compatibility class. We give the definition of these Lyapunov functions, prove their basic properties, and provide algorithms for constructing them. Examples are provided, relationship with consensus dynamics are discussed, and future directions are elaborated.

preprint2016arXiv

Path-Complete Graphs and Common Lyapunov Functions

A Path-Complete Lyapunov Function is an algebraic criterion composed of a finite number of functions, called its pieces, and a directed, labeled graph defining Lyapunov inequalities between these pieces. It provides a stability certificate for discrete-time switching systems under arbitrary switching. In this paper, we prove that the satisfiability of such a criterion implies the existence of a Common Lyapunov Function, expressed as the composition of minima and maxima of the pieces of the Path-Complete Lyapunov function. The converse, however, is not true even for discrete-time linear systems: we present such a system where a max-of-2 quadratics Lyapunov function exists while no corresponding Path-Complete Lyapunov function with 2 quadratic pieces exists. In light of this, we investigate when it is possible to decide if a Path-Complete Lyapunov function is less conservative than another. By analyzing the combinatorial and algebraic structure of the graph and the pieces respectively, we provide simple tools to decide when the existence of such a Lyapunov function implies that of another.

preprint2015arXiv

Shaping Pulses to Control Bistable Biological Systems

In this paper we study how to shape temporal pulses to switch a bistable system between its stable steady states. Our motivation for pulse-based control comes from applications in synthetic biology, where it is generally difficult to implement real-time feedback control systems due to technical limitations in sensors and actuators. We show that for monotone bistable systems, the estimation of the set of all pulses that switch the system reduces to the computation of one non-increasing curve. We provide an efficient algorithm to compute this curve and illustrate the results with a genetic bistable system commonly used in synthetic biology. We also extend these results to models with parametric uncertainty and provide a number of examples and counterexamples that demonstrate the power and limitations of the current theory. In order to show the full potential of the framework, we consider the problem of inducing oscillations in a monotone biochemical system using a combination of temporal pulses and event-based control. Our results provide an insight into the dynamics of bistable systems under external inputs and open up numerous directions for future investigation.

preprint2013arXiv

Combinatorial approaches to Hopf bifurcations in systems of interacting elements

We describe combinatorial approaches to the question of whether families of real matrices admit pairs of nonreal eigenvalues passing through the imaginary axis. When the matrices arise as Jacobian matrices in the study of dynamical systems, these conditions provide necessary conditions for Hopf bifurcations to occur in parameterised families of such systems. The techniques depend on the spectral properties of additive compound matrices: in particular, we associate with a product of matrices a signed, labelled digraph termed a DSR^[2] graph, which encodes information about the second additive compound of this product. A condition on the cycle structure of this digraph is shown to rule out the possibility of nonreal eigenvalues with positive real part. The techniques developed are applied to systems of interacting elements termed "interaction networks", of which networks of chemical reactions are a special case.