Searcharxiv⌕ Search

arXiv subjects

Kunal Garg

Publications and source records attributed to Kunal Garg.

At least 37 records · Page 2Linked to original sources

Breaking the Convergence Barrier: Optimization via Fixed-Time Convergent Flows

Accelerated gradient methods are the cornerstones of large-scale, data-driven optimization problems that arise naturally in machine learning and other fields concerning data analysis. We introduce a gradient-based optimization framework for achieving acceleration, based on the recently introduced notion of fixed-time stability of dynamical systems. The method presents itself as a generalization of simple gradient-based methods suitably scaled to achieve convergence to the optimizer in a fixed-time, independent of the initialization. We achieve this by first leveraging a continuous-time framework for designing fixed-time stable dynamical systems, and later providing a consistent discretization strategy, such that the equivalent discrete-time algorithm tracks the optimizer in a practically fixed number of iterations. We also provide a theoretical analysis of the convergence behavior of the proposed gradient flows, and their robustness to additive disturbances for a range of functions obeying strong convexity, strict convexity, and possibly nonconvexity but satisfying the Polyak-Łojasiewicz inequality. We also show that the regret bound on the convergence rate is constant by virtue of the fixed-time convergence. The hyperparameters have intuitive interpretations and can be tuned to fit the requirements on the desired convergence rates. We validate the accelerated convergence properties of the proposed schemes on a range of numerical examples against the state-of-the-art optimization algorithms. Our work provides insights on developing novel optimization algorithms via discretization of continuous-time flows.

math.OC↗

Sampling based Computation of Viability Domain to Prevent Safety Violations by Attackers

This paper studies the security of cyber-physical systems under attacks. Our goal is to design system parameters, such as a set of initial conditions and input bounds so that it is secure by design. To this end, we propose new sufficient conditions to guarantee the safety of a system under adversarial actuator attacks. Using these conditions, we propose a computationally efficient sampling-based method to verify whether a set is a viability domain for a general class of nonlinear systems. In particular, we devise a method of checking a modified barrier function condition on a finite set of points to assess whether a set can be rendered forward invariant. Then, we propose an iterative algorithm to compute the set of initial conditions and input constraint set to limit what an adversary can do if it compromises the vulnerable inputs. Finally, we utilize a Quadratic Program approach for online control synthesis.

eess.SY↗

Control Barrier Functions in Sampled-Data Systems

This paper presents conditions for ensuring forward invariance of safe sets under sampled-data system dynamics with piecewise-constant controllers and fixed time-steps. First, we introduce two different metrics to compare the conservativeness of sufficient conditions on forward invariance under piecewise-constant controllers. Then, we propose three approaches for guaranteeing forward invariance, two motivated by continuous-time barrier functions, and one motivated by discrete-time barrier functions. All proposed conditions are control affine, and thus can be incorporated into quadratic programs for control synthesis. We show that the proposed conditions are less conservative than those in earlier studies, and show via simulation how this enables the use of barrier functions that are impossible to implement with the desired time-step using existing methods.

math.OC↗

Fixed-time Control under Spatiotemporal and Input Constraints: A Quadratic Program Based Approach

In this paper, we present a control synthesis framework for a general class of nonlinear, control-affine systems under spatiotemporal and input constraints. First, we study the problem of fixed-time convergence in the presence of input constraints. The relation between the domain of attraction for fixed-time stability with respect to input constraints and the required time of convergence is established. It is shown that increasing the control authority or the required time of convergence can expand the domain of attraction for fixed-time stability. Then, we consider the problem of finding a control input that confines the closed-loop system trajectories in a safe set and steers them to a goal set within a fixed time. To this end, we present a Quadratic Program (QP) formulation to compute the corresponding control input. We use slack variables to guarantee feasibility of the proposed QP under input constraints. Furthermore, when strict complementary slackness holds, we show that the solution of the QP is a continuous function of the system states, and establish uniqueness of closed-loop solutions to guarantee forward invariance using Nagumo's theorem. We present two case studies, an example of adaptive cruise control problem and an instance of a two-robot motion planning problem, to corroborate our proposed methods.

math.OC↗

Robust Control Barrier and Control Lyapunov Functions with Fixed-Time Convergence Guarantees

This paper studies control synthesis for a general class of nonlinear, control-affine dynamical systems under additive disturbances and state-estimation errors. We enforce forward invariance of static and dynamic safe sets and convergence to a given goal set within a user-defined time in the presence of input constraints. We use robust variants of control barrier functions (CBF) and fixed-time control Lyapunov functions (FxT-CLF) to incorporate a class of additive disturbances in the system dynamics, and state-estimation errors. To solve the underlying constrained control problem, we formulate a quadratic program and use the proposed robust CBF-FxT-CLF conditions to compute the control input. We showcase the efficacy of the proposed method on a numerical case study involving multiple underactuated marine vehicles.

math.OC↗

Characterization of Domain of Fixed-time Stability under Control Input Constraints

In this paper, we study the effect of control input constraints on the domain of attraction of an FxTS equilibrium point. We first present a new result on FxTS, where we allow a positive term in the time derivative of the Lyapunov function. We provide analytical expressions for the domain of attraction and the settling time to the equilibrium in terms of the coefficients of the positive and negative terms that appear in the time derivative of the Lyapunov function. We show that this result serves as a robustness characterization of FxTS equilibria in the presence of an additive, vanishing disturbances. We use the new FxTS result in formulating a provably feasible quadratic program (QP) that computes control inputs that drive the trajectories of a class of nonlinear, control-affine systems to a goal set, in the presence of control input constraints.

math.OC↗

Multi-rate Control Design under Input Constraints via Fixed-Time Barrier Functions

In this paper, we introduce the notion of periodic safety, which requires that the system trajectories periodically visit a subset of a forward-invariant safe set, and utilize it in a multi-rate framework where a high-level planner generates a reference trajectory that is tracked by a low-level controller under input constraints. We introduce the notion of fixed-time barrier functions which is leveraged by the proposed low-level controller in a quadratic programming framework. Then, we design a model predictive control policy for high-level planning with a bound on the rate of change for the reference trajectory to guarantee that periodic safety is achieved. We demonstrate the effectiveness of the proposed strategy on a simulation example, where the proposed fixed-time stabilizing low-level controller shows successful satisfaction of control objectives, whereas an exponentially stabilizing low-level controller fails.

eess.SY↗

Finite-Time Stability of Adaptive Parameter Estimation and Control

This paper presents extensions of finite-time stability results to some prototypical adaptive control and estimation frameworks. First, we present a novel scheme of online parameter estimation that guarantees convergence of the estimation error in a fixed time under a relaxed persistence of excitation condition. Subsequently, we design a novel Model Reference Adaptive Control (MRAC) for a scalar system with finite-time convergence guarantees for both the state- and the parameter-error. Lastly, for a general class of strict-feedback systems with unknown parameters, we propose a finite-time stabilizing control based on adaptive backstepping techniques. We also present some numerical examples demonstrating the efficacy of our scheme.

math.OC↗

A Quadratic Program based Control Synthesis under Spatiotemporal Constraints and Non-vanishing Disturbances

In this paper, we study the effect of non-vanishing disturbances on the stability of fixed-time stable (FxTS) systems. We present a new result on FxTS, which allows a positive term in the time derivative of the Lyapunov function with the aim to model bounded, non-vanishing disturbances in the system dynamics. We characterize the neighborhood to which the system trajectories converge, as well the time of convergence to this neighborhood, in terms of the positive and negative terms that appear in the time derivative of the Lyapunov function. Then, we use the new FxTS result and formulate a quadratic program (QP) that yields control inputs which drive the trajectories of a class of nonlinear, control-affine systems to a goal set in the presence of control input constraints and non-vanishing, bounded disturbances in the system dynamics. We consider an overtaking problem on a highway as a case study, and discuss how to setup the QP for the considered problem, and how to make a decision on when to start the overtake maneuver, in the presence of sensing errors.

math.OC↗

Robust Distributed Fixed-Time Economic Dispatch under Time-Varying Topology

The centralized power generation infrastructure that defines the North American electric grid is slowly moving to the distributed architecture due to the explosion in use of renewable generation and distributed energy resources (DERs), such as residential solar, wind turbines and battery storage. Furthermore, variable pricing policies and profusion of flexible loads entail frequent and severe changes in power outputs required from the individual generation units, requiring fast availability of power allocation. To this end, a fixed-time convergent, fully distributed economic dispatch algorithm for scheduling optimal power generation among a set of DERs is proposed. The proposed algorithm incorporates both load balance and generation capacity constraints.

math.OC↗

CAPPA: Continuous-time Accelerated Proximal Point Algorithm for Sparse Recovery

This paper develops a novel Continuous-time Accelerated Proximal Point Algorithm (CAPPA) for $\ell_1$-minimization problems with provable fixed-time convergence guarantees. The problem of $\ell_1$-minimization appears in several contexts, such as sparse recovery (SR) in Compressed Sensing (CS) theory, and sparse linear and logistic regressions in machine learning to name a few. Most existing algorithms for solving $\ell_1$-minimization problems are discrete-time, inefficient and require exhaustive computer-guided iterations. CAPPA alleviates this problem on two fronts: (a) it encompasses a continuous-time algorithm that can be implemented using analog circuits; (b) it betters LCA and finite-time LCA (recently developed continuous-time dynamical systems for solving SR problems) by exhibiting provable fixed-time convergence to optimal solution. Consequently, CAPPA is better suited for fast and efficient handling of SR problems. Simulation studies are presented that corroborate computational advantages of CAPPA.

math.OC↗

Fixed-Time Stable Gradient Flows: Applications to Continuous-Time Optimization

This paper proposes novel gradient-flow schemes that yield convergence to the optimal point of a convex optimization problem within a \textit{fixed} time from any given initial condition for unconstrained optimization, constrained optimization, and min-max problems. The application of the modified gradient flow to unconstrained optimization problems is studied under the assumption of gradient-dominance. Then, a modified Newton's method is presented that exhibits fixed-time convergence under some mild conditions on the objective function. Building upon this method, a novel technique for solving convex optimization problems with linear equality constraints that yields convergence to the optimal point in fixed time is developed. More specifically, constrained optimization problems formulated as min-max problems are considered, and a novel method for computing the optimal solution in fixed-time is proposed using the Lagrangian dual. Finally, the general min-max problem is considered, and a modified scheme to obtain the optimal solution of saddle-point dynamics in fixed time is developed. Numerical illustrations that compare the performance of the proposed method against Newton's method, rescaled-gradient method, and Nesterov's accelerated method are included to corroborate the efficacy and applicability of the modified gradient flows in constrained and unconstrained optimization problems.

math.OC↗

Safety-Critical Adaptive Control with Nonlinear Reference Model Systems

In this paper, a model reference adaptive control architecture is proposed for uncertain nonlinear systems to achieve prescribed performance guarantees. Specifically, a general nonlinear reference model system is considered that captures an ideal and safe system behavior. An adaptive control architecture is then proposed to suppress the effects of system uncertainties without any prior knowledge of their magnitude and rate upper bounds. More importantly, the proposed control architecture enforces the system state trajectories to evolve within a user-specified prescribed distance from the reference system trajectories, satisfying the safety constraints. This eliminates the ad-hoc tuning process for the adaptation rate that is conventionally required in model reference adaptive control to ensure safety. The efficacy of the proposed control architecture is also demonstrated through an illustrative numerical example.

eess.SY↗

Strong Invariance Using Control Barrier Functions: A Clarke Tangent Cone Approach

Many control applications require that a system be constrained to a particular set of states, often termed as safe set. A practical and flexible method for rendering safe sets forward-invariant involves computing control input using Control Barrier Functions and Quadratic Programming methods. Many prior results however require the resulting control input to be continuous, which requires strong assumptions or can be difficult to demonstrate theoretically. In this paper we use differential inclusion methods to show that simultaneously rendering multiple sets invariant can be accomplished using a discontinuous control input. We present an optimization formulation which computes such control inputs and which can be posed in multiple forms, including a feasibility problem, a linear program, or a quadratic program. In addition, we discuss conditions under which the optimization problem is feasible and show that any feasible solution of the considered optimization problem which is measurable renders the multiple safe sets forward invariant.

math.OC↗

Finite-Time Stability of Switched and Hybrid Systems with Unstable Modes

In this work, we study finite-time stability of switched and hybrid systems in the presence of unstable modes. We present sufficient conditions in terms of multiple Lyapunov functions for the origin of the system to be finite time stable. More specifically, we show that even if the value of the Lyapunov function increases in between two switches, i.e., if there are unstable modes in the system, finite-time stability can still be guaranteed if the finite time convergent mode is active long enough. In contrast to earlier work where the Lyapunov functions are required to be decreasing during the continuous flows and non-increasing at the discrete jumps, we allow the Lyapunov functions to increase \emph{both} during the continuous flows and the discrete jumps. As thus, the derived stability results are less conservative compared to the earlier results in the related literature, and in effect allow the hybrid system to have unstable modes. Then, we illustrate how the proposed finite-time stability conditions specialize for a class of switched systems, and present a method on the synthesis of a finite-time stabilizing switching signal for switched linear systems. As a case study, we design a finite-time stable output feedback controller for a linear switched system, in which only one of the modes is controllable and observable. Numerical example demonstrates the efficacy of the proposed methods.

eess.SY↗

Control-Lyapunov and Control-Barrier Functions based Quadratic Program for Spatio-temporal Specifications

This paper presents a method for control synthesis under spatio-temporal constraints. First, we consider the problem of reaching a set $S$ in a user-defined or prescribed time $T$. We define a new class of control Lyapunov functions, called prescribed-time control Lyapunov functions (PT CLF), and present sufficient conditions on the existence of a controller for this problem in terms of PT CLF. Then, we formulate a quadratic program (QP) to compute a control input that satisfies these sufficient conditions. Next, we consider control synthesis under spatio-temporal objectives given as: the closed-loop trajectories remain in a given set $S_s$ at all times; and, remain in a specific set $S_i$ during the time interval $[t_i, t_{i+1})$ for $i = 0, 1, \cdots, N$; and, reach the set $S_{i+1}$ on or before $t = t_{i+1}$. We show that such spatio-temporal specifications can be translated into temporal logic formulas. We present sufficient conditions on the existence of a control input in terms of PT CLF and control barrier functions. Then, we present a QP to compute the control input efficiently, and show its feasibility under the assumptions of existence of a PT CLF. To the best of authors' knowledge, this is the first paper proposing a QP based method for the aforementioned problem of satisfying spatio-temporal specifications for nonlinear control-affine dynamics with input constraints. We also discuss the limitations of the proposed methods and directions of future work to overcome these limitations. We present numerical examples to corroborate our proposed methods.

math.OC↗

Finite-Time Stability of Hybrid Systems: A Multiple Generalized Lyapunov Functions Approach

This paper studies finite-time stability of a class of hybrid systems. We present sufficient conditions in terms of multiple generalized Lyapunov functions for the origin of the hybrid system to be finite-time stable. More specifically, we show that even if the value of the generalized Lyapunov functions increase between consecutive switches, finite-time stability can be guaranteed if the finite-time convergent mode is active long enough. In contrast to earlier work where the Lyapunov functions are required to be decreasing during the continuous flows and non-increasing at the discrete jumps, we allow the generalized Lyapunov functions to increase \emph{both} during the continuous flows and the discrete jumps. As thus, the derived stability results are less conservative compared to the related literature. Numerical example demonstrates the efficacy of the proposed methods.

eess.SY↗

Prescribed-time convergence with input constraints: A control Lyapunov function based approach

In this paper, we present a control framework for a general class of control-affine nonlinear systems under spatiotemporal and input constraints. Specifically, the proposed control architecture addresses the problem of reaching a given final set $S$ in a prescribed (user-defined) time with bounded control inputs. To this end, a time transformation technique is utilized to transform the system subject to temporal constraints into an equivalent form without temporal constraints. The transformation is defined so that asymptotic convergence in the transformed time scale results into prescribed-time convergence in the original time scale. To incorporate input constraints, we characterize a set of initial conditions $D_M$ such that starting from this set, the closed-loop trajectories reach the set $S$ within the prescribed time. We further show that starting from outside the set $D_M$, the system trajectories reach the set $D_M$ in a finite time that depends upon the initial conditions and the control input bounds. We use a novel parameter $μ$ in the controller, that controls the convergence-rate of the closed-loop trajectories and dictates the size of the set $D_M$. Finally, we present a numerical example to showcase the efficacy of our proposed method.

eess.SY↗