Atreyee Kundu

Atreyee Kundu, Debasish Chatterjee, Daniel Liberzon

This article deals with input-to-state stability (ISS) of continuous-time switched nonlinear systems. Given a family of systems with exogenous inputs such that not all systems in the family are ISS, we characterize a new and general class of switching signals under which the resulting switched system is ISS. Our stabilizing switching signals allow the number of switches to grow faster than an affine function of the length of a time interval, unlike in the case of average dwell time switching. We also recast a subclass of average dwell time switching signals in our setting and establish analogs of two representative prior results.

Atreyee Kundu, Debasish Chatterjee

This article deals with stability of continuous-time switched linear systems under constrained switching. Given a family of linear systems, possibly containing unstable dynamics, we characterize a new class of switching signals under which the switched linear system generated by it and the family of systems is globally asymptotically stable. Our characterization of such stabilizing switching signals involves the asymptotic frequency of switching, the asymptotic fraction of activation of the constituent systems, and the asymptotic densities of admissible transitions among them. Our techniques employ multiple Lyapunov-like functions, and extend preceding results both in scope and applicability.

Atreyee Kundu, Debasish Chatterjee

This article treats global uniform exponential stability (GUES) of discrete-time switched linear systems under restricted switching. Given admissible minimum and maximum dwell times, we provide sufficient conditions on the subsystems under which they admit a set of switching signals that obeys the given restrictions on dwell times and preserves stability of the resulting switched system. Our analysis relies on combinatorial arguments applied to matrix commutators and avoids the employment of Lyapunov-like functions. The proposed set of stabilizing switching signals is characterized in terms of duration of activation of Schur stable subsystems and non-consecutive activation of distinct unstable subsystems.

Atreyee Kundu, Niranjan Balachandran, Debasish Chatterjee

In this article we study algorithmic synthesis of the class of stabilizing switching signals for discrete-time switched linear systems proposed in [12]. A weighted digraph is associated in a natural way to a switched system, and the switching signal is expressed as an infinite walk on this weighted digraph. We employ graph-theoretic tools and discuss different algorithms for designing walks whose corresponding switching signals satisfy the stabilizing switching conditions proposed in [12]. We also address the issue of how likely/generic it is for a family of systems to admit stabilizing switching signals, and under mild assumptions give sufficient conditions for the same. Our solutions have both deterministic and probabilistic flavours.

Atreyee Kundu

We propose matrix commutator based stability characterization for discrete-time switched linear systems under restricted switching. Given an admissible minimum dwell time, we identify sufficient conditions on subsystems such that a switched system is stable under all switching signals that obey the given restriction. The primary tool for our analysis is commutation relations between the subsystem matrices. Our stability conditions are robust with respect to small perturbations in the elements of these matrices. In case of arbitrary switching (i.e., given minimum dwell time = 1), we recover the prior result [1,Proposition 1] as a special case of our result.

Atreyee Kundu

Given a family of systems, identifying stabilizing switching signals in terms of infinite walks constructed by concatenating cycles on the underlying directed graph of a switched system that satisfy certain conditions, is a well-known technique in the literature. This paper deals with a new {method to design} these cycles for stability of switched linear systems. We employ properties of the subsystem matrices and mild assumption on the admissible switches between the subsystems {for this purpose}. In contrast to prior works, {our construction of} stabilizing cycles does not involve design of Lyapunov-like functions and storage of sets of scalars in memory prior to the application of a cycle detection algorithm. As a result, {the} techniques {proposed in this paper} offer improved numerical tractability.

Atreyee Kundu, Pavithra Prabhakar

We propose an automata theoretic learning algorithm for the identification of black-box switched linear systems whose switching logics are event-driven. A switched system is expressed by a deterministic finite automaton (FA) whose node labels are the subsystem matrices. With information about the dimensions of the matrices and the set of events, and with access to two oracles, that can simulate the system on a given input, and provide counter-examples when given an incorrect hypothesis automaton, we provide an algorithm that outputs the unknown FA. Our algorithm first uses the oracle to obtain the node labels of the system run on a given input sequence of events, and then extends Angluin's \(L^*\)-algorithm to determine the FA that accepts the language of the given FA. We demonstrate the performance of our learning algorithm on a set of benchmark examples.

Meet Gandhi, Atreyee Kundu, Shalabh Bhatnagar

In this paper we design hybrid control policies for hybrid systems whose mathematical models are unknown. Our contributions are threefold. First, we propose a framework for modelling the hybrid control design problem as a single Markov Decision Process (MDP). This result facilitates the application of off-the-shelf algorithms from Reinforcement Learning (RL) literature towards designing optimal control policies. Second, we model a set of benchmark examples of hybrid control design problem in the proposed MDP framework. Third, we adapt the recently proposed Proximal Policy Optimisation (PPO) algorithm for the hybrid action space and apply it to the above set of problems. It is observed that in each case the algorithm converges and finds the optimal policy.

Atreyee Kundu

This paper deals with stabilization of discrete-time switched linear systems when explicit knowledge of the state-space models of their subsystems is not available. Given the set of admissible switches between the subsystems, the admissible dwell times on the subsystems and a set of finite traces of state trajectories of the subsystems that satisfies certain properties, we devise an algorithm that designs periodic switching logics which preserve stability of the resulting switched system. We combine two ingredients: (a) data-based stability analysis of discrete-time linear systems and (b) multiple Lyapunov-like functions and graph walks based design of stabilizing switching logics, for this purpose. A numerical example is presented to demonstrate the proposed algorithm.

Atreyee Kundu

We present an algorithm to compute stabilizing minimum dwell times for discrete-time switched linear systems without the explicit knowledge of state-space models of their subsystems. Given a set of finite traces of state trajectories of the subsystems that satisfies certain properties, our algorithm involves the following tasks: first, multiple Lyapunov functions are designed from the given data; second, a set of relevant scalars is computed from these functions; and third, a stabilizing minimum dwell time is determined as a function of these scalars. A numerical example is presented to demonstrate the proposed algorithm.

Atreyee Kundu, Debasish Chatterjee

Characterization of classes of switching signals that ensure stability of switched systems occupies a significant portion of the switched systems literature. This article collects a multitude of stabilizing switching signals under an umbrella framework. We achieve this in two steps: Firstly, given a family of systems, possibly containing unstable dynamics, we propose a new and general class of stabilizing switching signals. Secondly, we demonstrate that prior results based on both point-wise and asymptotic characterizations follow our result. This is the first attempt in the switched systems literature where these switching signals are unified under one banner.

Atreyee Kundu, Debasish Chatterjee

This article deals with input-to-state stability (ISS) of discrete-time switched systems. Given a family of nonlinear systems with exogenous inputs, we present a class of switching signals under which the resulting switched system is ISS. We allow non-ISS systems in the family and our analysis involves graph-theoretic arguments. A weighted digraph is associated to the switched system, and a switching signal is expressed as an infinite walk on this digraph, both in a natural way. Our class of stabilizing switching signals (infinite walks) is periodic in nature and affords simple algorithmic construction.