34 citations · 93 across the 18 of their papers we have counts for
20 papers
Convergence Analysis of Noisy Distributed Gradient Descent for Non-convex Optimization -- Saddle Point Escape
Lei Qin, Michael Cantoni, Ye Pu
This paper studies noisy distributed gradient descent (\textbf{NDGD}) for smooth non-convex finite-sum optimization over networks. Random perturbations enable saddle-point escape w…
On receding-horizon approximation in time-varying optimal control
Jintao Sun, Michael Cantoni
The closed-loop stability and infinite-horizon performance of receding-horizon approximations are studied for non-stationary linear-quadratic regulator (LQR) problems. The approach…
On Riccati contraction in time-varying linear-quadratic control
Jintao Sun, Michael Cantoni
Contraction properties of the Riccati operator are studied within the context of non-stationary linear-quadratic optimal control. A lifting approach is used to obtain a bound on th…
Second-order Properties of Noisy Distributed Gradient Descent
Lei Qin, Michael Cantoni, Ye Pu
We study a fixed step-size noisy distributed gradient descent algorithm for solving optimization problems in which the objective is a finite sum of smooth but possibly non-convex f…
Explicit Time-Optimal Speed Profiles for Planar Paths with Monotone Curvature
Daniel Selvaratnam, Michael Cantoni, Chris Manzie
Minimum-time speed profiles are constructed for planar paths with smooth strictly-monotonic signed curvature, subject to constraints on velocity, normal acceleration and tangential…
MITL Verification Under Timing Uncertainty
Daniel Selvaratnam, Michael Cantoni, J. M. Davoren +1
A Metric Interval Temporal Logic (MITL) verification algorithm is presented. It verifies continuous-time signals without relying on high frequency sampling. Instead, it is assumed…
Event-triggered boundary control of 2x2 semilinear hyperbolic systems
Timm Strecker, Michael Cantoni, Ole Morten Aamo
We present an event-triggered boundary control scheme for hyperbolic systems. The trigger condition is based on predictions of the state on determinate sets, where the control inpu…
Predictive feedback boundary control of semilinear and quasilinear 2x2 hyperbolic PDE-ODE systems
Timm Strecker, Ole Morten Aamo, Michael Cantoni
We present a control design for semilinear and quasilinear 2x2 hyperbolic partial differential equations with the control input at one boundary and a nonlinear ordinary differentia…
Boundary Feedback Control of 2x2 Quasilinear Hyperbolic Systems: Predictive Synthesis and Robustness Analysis
Timm Strecker, Ole Morten Aamo, Michael Cantoni
We present a predictive feedback control method for a class of quasilinear hyperbolic systems with one boundary control input. Assuming exact model knowledge, convergence to the or…
Sampling Polynomial Trajectories for LTL Verification
Daniel Selvaratnam, Michael Cantoni, J. M. Davoren +1
This paper concerns the verification of continuous-time polynomial spline trajectories against linear temporal logic specifications (LTL without 'next'). Each atomic proposition is…
Rigid-profile input scheduling under constrained dynamics with a water network application
Adair Lang, Michael Cantoni, Farhad Farokhi +1
The motivation for this work stems from the problem of scheduling requests for flow at supply points along an automated network of open-water channels. The off-take flows are rigid…
Structured preconditioning of conjugate gradients for path-graph network optimal control problems
Armaghan Zafar, Michael Cantoni, Farhad Farokhi
A structured preconditioned conjugate gradient (PCG) solver is developed for the Newton steps in second-order methods for a class of constrained network optimal control problems. O…
Integral quadratic constraints for asynchronous sample-and-hold links
Michael Cantoni, Chung-Yao Kao, Mark A. Fabbro
A model is proposed for a class of asynchronous sample-and-hold operators that is relevant in the analysis of embedded and networked systems. The model is parametrized by character…
Game representations for state constrained continuous time linear regulator problems
Peter M. Dower, William M. McEneaney, Michael Cantoni
A supremum-of-quadratics representation for convex barrier-type constraints is developed and applied within the context of a class of continuous time state constrained linear regul…
Implementing Homomorphic Encryption Based Secure Feedback Control for Physical Systems
Julian Tran, Farhad Farokhi, Michael Cantoni +1
This paper is about an encryption based approach to the secure implementation of feedback controllers for physical systems. Specifically, Paillier's homomorphic encryption is used…
Scalable computation for optimal control of cascade systems with constraints
Michael Cantoni, Farhad Farokhi, Eric C. Kerrigan +1
A method is devised for numerically solving a class of finite-horizon optimal control problems subject to cascade linear discrete-time dynamics. It is assumed that the linear state…
Scheduling Rigid Demands on Continuous-Time Linear Shift-Invariant Systems
Farhad Farokhi, Michael Cantoni, Iman Shames
We consider load scheduling on constrained continuous-time linear dynamical systems, such as automated irrigation and other distribution networks. The requested loads are rigid, i.…
Quadratic Gaussian Privacy Games
Farhad Farokhi, Henrik Sandberg, Iman Shames +1
A game-theoretic model for analysing the effects of privacy on strategic communication between agents is devised. In the model, a sender wishes to provide an accurate measurement o…
Budget-Constrained Contract Design for Effort-Averse Sensors in Averaging Based Estimation
Farhad Farokhi, Iman Shames, Michael Cantoni
Consider a group of effort-averse, or lazy, sensors that seek to minimize the effort invested to collect measurements of a variable. Increasing the effort invested by the sensors i…
Promoting Truthful Behaviour in Participatory-Sensing Mechanisms
Farhad Farokhi, Iman Shames, Michael Cantoni
In this paper, the interplay between a class of nonlinear estimators and strategic sensors is studied in several participatory-sensing scenarios. It is shown that for the class of…