arXiv subjects

Martin Corless

Publications and source records attributed to Martin Corless.

9 recordsLinked to original sources

arXiv2026

Sinkhorn-Knopp balancing with generalised martingale-type constraints

We consider the problem of optimally distributing resources from a set of suppliers to a set of consumers in the presence of general transportation constraints, and including heterogeneous flexibility in the marginal constraints. Such problems frequently arise in a variety of practical settings; for example, in the context of sharing economy applications, where one is not only interested in the transportation plan, but also its realisation, and in other problems that involve the study of martingales. Our principal contribution in this paper is to consider a generalisation of the classic entropically regularised Optimal Transport formulation in which such problems can be solved with a Sinkhorn algorithm. In particular, we present provably convergent Sinkhorn-like algorithms for solving this class of problems, and provide examples to both illustrate the utility of our approach as well as its efficacy.

math.OC↗

arXiv2024

Algorithms for constrained optimal transport

We derive iterative scaling algorithms of the Sinkhorn-Knopp (SK) type for constrained optimal transport. The constraints are in the form of prior-imposed zeroes in the transport plan. Based on classical Bregman arguments, we prove asymptotic convergence of our algorithms to a unique optimal solution. New insights obtained from the convergence proof are highlighted. An example from electrical vehicle charging in a smart city context is outlined, in which the prior zero-constraints prevent energy from being transported from some providers to some vehicles.

math.OC↗

arXiv2022

Fully Probabilistic Design for Optimal Transport

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.

cs.AI↗

arXiv2021

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↗

arXiv2019

L2 Observers for a Class of Nonlinear Systems with Unknown Inputs

We consider the problem of estimating the state and unknown input for a large class of nonlinear systems subject to unknown exogenous inputs. The exogenous inputs themselves are modeled as being generated by a nonlinear system subject to unknown inputs. The nonlinearities considered in this work are characterized by multiplier matrices that include many commonly encountered nonlinearities. We obtain a linear matrix inequality (LMI), that, if feasible, provides the gains for an observer which results in certified L2 performance of the error dynamics associated with the observer. We also present conditions which guarantee that the L2 norm of the error can be made arbitrarily small and investigate conditions for feasibility of the proposed LMIs.

eess.SY↗

arXiv2017

On the SPRification of linear descriptor systems via output feedback

We consider input-output systems in descriptor form and ask when such systems can be rendered SPR (strictly positive real) via output feedback. Time and frequency domain conditions are given to determine when and how this is possible. In addition, a synthesis procedure for controller design is also derived. Together, the results provide a complete answer to when a linear descriptor system can be made SPR via output feedback, and give a recipe for design of the feedback controller when it exists. Simple examples are given to illustrate our results and to demonstrate their efficacy.

math.DS↗

arXiv2017

Stability tests for a class of switched descriptor systems with non-homogenous indices

In this paper we derive stability conditions for a switched system where switching occurs between linear descriptor systems of different indices. In particular, our results can be used to analyse the stability of the important case when switching between a standard system and an index one descriptor system, and systems where switching occurs between an index one and and an index two descriptor system. Examples are given to illustrate the use of our results.

math.OC↗

arXiv2015

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

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.

eess.SY↗

arXiv2014

Nonhomogeneous Place-Dependent Markov Chains, Unsynchronised AIMD, and Network Utility Maximization

We present a solution of a class of network utility maximization (NUM) problems using minimal communication. The constraints of the problem are inspired less by TCP-like congestion control but by problems in the area of internet of things and related areas in which the need arises to bring the behavior of a large group of agents to a social optimum. The approach uses only intermittent feedback, no inter-agent communication, and no common clock. The proposed algorithm is a combination of the classical AIMD algorithm in conjunction with a simple probabilistic rule for the agents to respond to a capacity signal. This leads to a nonhomogeneous Markov chain and we show almost sure convergence of this chain to the social optimum.

math.OC↗