Sanjay P. Bhat

Bio: Sanjay P. Bhat is an academic researcher from Tata Consultancy Services. The author has contributed to research in topics: Lyapunov function & Lyapunov equation. The author has an hindex of 26, co-authored 89 publications receiving 8327 citations. Previous affiliations of Sanjay P. Bhat include Harvard University & Indian Institute of Technology Bombay.

Finite-Time Semistability and Consensus for Nonlinear Dynamical Networks

Abstract: This paper focuses on semistability and finite-time stability analysis and synthesis of systems having a continuum of equilibria. Semistability is the property whereby the solutions of a dynamical system converge to Lyapunov stable equilibrium points determined by the system initial conditions. In this paper, we merge the theories of semistability and finite-time stability to develop a rigorous framework for finite-time semistability. In particular, finite-time semistability for a continuum of equilibria of continuous autonomous systems is established. Continuity of the settling-time function as well as Lyapunov and converse Lyapunov theorems for semistability are also developed. In addition, necessary and sufficient conditions for finite-time semistability of homogeneous systems are addressed by exploiting the fact that a homogeneous system is finite-time semistable if and only if it is semistable and has a negative degree of homogeneity. Unlike previous work on homogeneous systems, our results involve homogeneity with respect to semistable dynamics, and require us to adopt a geometric description of homogeneity. Finally, we use these results to develop a general framework for designing semistable protocols in dynamical networks for achieving coordination tasks in finite time.

Modeling and analysis of mass-action kinetics

Abstract: Mass-action kinetics are used in chemistry and chemical engineering to describe the dynamics of systems of chemical reactions, that is, reaction networks. These models are a special form of compartmental systems, which involve mass- and energy-balance relations. Aside from their role in chemical engineering applications, mass-action kinetics have numerous analytical properties that are of inherent interest from a dynamical systems perspective. Because of physical considerations, however, mass- action kinetics have special properties, such as nonnegative solutions, that are useful for analyzing their behavior. With this motivation in mind, this article has several objectives. First, a general construction of the kinetic equations based on the reaction laws is provided in a state-space form. Next, the nonnegativity of solutions to the kinetic equations is considered. The realizability problem, which is concerned with the inverse problem of constructing a reaction network having specified essentially nonnegative dynamics, is also considered. In particular, an explicit construction of a reaction network for essentially nonnegative polynomial dynamics involving a scalar state is provided. Next, the reducibility of the kinetic equations is considered as well as the stability of the equilibria of the kinetic equations. Lyapunov methods are applied to the kinetic equations, and semistability is guaranteed through the convergence to a Lyapunov- stable equilibrium that depends on the initial concentrations. Semistability is the appropriate notion of stability for compartmental systems in general, and reaction networks in particular, where the limiting concentration maybe nonzero and may depend on the initial concentrations. Finally, the zero deficiency result for mass-action kinetics in standard matrix terminology is presented and semistability is proven.

Semistability, Finite-Time Stability, Differential Inclusions, and Discontinuous Dynamical Systems Having a Continuum of Equilibria

Abstract: This paper focuses on semistability and finite-time semistability for discontinuous dynamical systems having a continuum of equilibria. Semistability is the property whereby the solutions of a dynamical system converge to Lyapunov stable equilibrium points determined by the system initial conditions. In this paper, we extend the theory of semistability to discontinuous autonomous dynamical systems. In particular, Lyapunov-based tests for semistability and finite-time semistability for autonomous differential inclusions are established.

Nontangency-Based Lyapunov Tests for Convergence and Stability in Systems Having a Continuum of Equilibria

Abstract: This paper focuses on the stability analysis of systems having a continuum of equilibria. Two notions that are of particular relevance to such systems are convergence and semistability. Convergence is the property whereby every solution converges to a limit point that may depend on the initial condition. Semistability is the additional requirement that all solutions converge to limit points that are Lyapunov stable. We give new Lyapunov-function-based results for convergence and semistability of nonlinear systems. These results do not make assumptions of sign definiteness on the Lyapunov function. Instead, our results use a novel condition based on nontangency between the vector field and invariant or negatively invariant subsets of the level or sublevel sets of the Lyapunov function or its derivative and represent extensions of previously known stability results involving semidefinite Lyapunov functions. To illustrate our results we deduce convergence and semistability of the kinetics of the Michaelis--Menten chemical reaction and the closed-loop dynamics of a scalar system under a universal adaptive stabilizing feedback controller.

An invariance principle for nonlinear hybrid and impulsive dynamical systems

Abstract: In this paper we develop an invariance principle for dynamical systems possessing left-continuous flows. Specifically, we show that left-continuity of the system trajectories in time for each fixed state point and continuity of the system trajectory in the state for every time in some dense subset of the semi-infinite interval are sufficient for establishing an invariance principle for hybrid and impulsive dynamical systems. As a special case of this result we state and prove new invariant set stability theorems for a class of nonlinear impulsive dynamical systems; namely, state-dependent impulsive dynamical systems. These results provide less conservative stability conditions for impulsive systems as compared to classical results in the literature and allow us to address the stability of limit cycles and periodic orbits of impulsive systems.

I and i

Abstract: There is, I think, something ethereal about i —the square root of minus one. I remember first hearing about it at school. It seemed an odd beast at that time—an intruder hovering on the edge of reality. Usually familiarity dulls this sense of the bizarre, but in the case of i it was the reverse: over the years the sense of its surreal nature intensified. It seemed that it was impossible to write mathematics that described the real world in …

Finite-Time Stability of Continuous Autonomous Systems

Abstract: Finite-time stability is defined for equilibria of continuous but non-Lipschitzian autonomous systems. Continuity, Lipschitz continuity, and Holder continuity of the settling-time function are studied and illustrated with several examples. Lyapunov and converse Lyapunov results involving scalar differential inequalities are given for finite-time stability. It is shown that the regularity properties of the Lyapunov function and those of the settling-time function are related. Consequently, converse Lyapunov results can only assure the existence of continuous Lyapunov functions. Finally, the sensitivity of finite-time-stable systems to perturbations is investigated.

Nonlinear Feedback Design for Fixed-Time Stabilization of Linear Control Systems

Abstract: Two types of nonlinear control algorithms are presented for uncertain linear plants. Controllers of the first type are stabilizing polynomial feedbacks that allow to adjust a guaranteed convergence time of system trajectories into a prespecified neighborhood of the origin independently on initial conditions. The control design procedure uses block control principles and finite-time attractivity properties of polynomial feedbacks. Controllers of the second type are modifications of the second order sliding mode control algorithms. They provide global finite-time stability of the closed-loop system and allow to adjust a guaranteed settling time independently on initial conditions. Control algorithms are presented for both single-input and multi-input systems. Theoretical results are supported by numerical simulations.

Coverage control for mobile sensing networks

Abstract: This paper presents control and coordination algorithms for groups of vehicles. The focus is on autonomous vehicle networks performing distributed sensing tasks where each vehicle plays the role of a mobile tunable sensor. The paper proposes gradient descent algorithms for a class of utility functions which encode optimal coverage and sensing policies. The resulting closed-loop behavior is adaptive, distributed, asynchronous, and verifiably correct.