Source author record

Atreyee Kundu

Atreyee Kundu appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

10works
5topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

10 published item(s)

preprint2020arXiv

A reinforcement learning approach to hybrid control design

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.

preprint2020arXiv

Data-based computation of stabilizing minimum dwell times for discrete-time switched linear systems

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.

preprint2020arXiv

Data-driven switching logic design for switched linear systems

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.

preprint2020arXiv

Scheduling networked control systems under jamming attacks

This paper deals with the design of scheduling policies for networked control systems whose shared networks have limited communication capacity and the controller to plant channels are vulnerable to jamming attacks. We assume that among N plants, only M (< N) plants can communicate with their controllers at any time instant, and the attack sequences follow an (m,k)-firm model, i.e., in any k consecutive time instants, the control inputs sent to some or all of the plants accessing the communication network, are deactivated at most at m (< k) time instants. We devise a new algorithm to allocate the network to the plants periodically such that stability of each plant is preserved under the admissible attack signals. The main apparatus for our analysis is a switched systems representation of the individual plants in an NCS. We rely on matrix commutators (Lie brackets) between the stable and unstable modes of operation of the plants to guarantee stability under our scheduling policies.

preprint2019arXiv

A new condition for stability of switched linear systems under restricted minimum dwell time switching

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.

preprint2019arXiv

On the design of stabilizing cycles for switched linear systems

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.

preprint2019arXiv

Robust matrix commutator conditions for stability of switched linear systems under restricted switching

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.

preprint2018arXiv

On asymptotic characterization of destabilizing switching signals for switched linear systems

This paper deals with classes of (de)stabilizing switching signals for switched systems. Most of the available conditions for stability of switched systems are sufficient in nature, and consequently, their violation does not conclude instability of a switched system. The study of instability is, however, important for obvious reasons. Our contributions are twofold: Firstly, we propose a class of switching signals under which a continuous-time switched linear system is unstable. Our characterization of instability depends solely on the asymptotic behaviour of frequency of switching, frequency of transition between subsystems, and fraction of activation of subsystems. Secondly, we show that our class of destabilizing switching signals is a strict subset of the class of switching signals that does not satisfy asymptotic characterization of stability recently proposed in the literature. This observation identifies a gap between asymptotic characterizations of stabilizing and destabilizing switching signals for switched linear systems. The main apparatus for our analysis is multiple Lyapunov-like functions.

preprint2016arXiv

Observability and controllability analysis of linear systems subject to data losses

We provide algorithmically verifiable necessary and sufficient conditions for fundamental system theoretic properties of discrete time linear systems subject to data losses. More precisely, the systems in our modeling framework are subject to disruptions (data losses) in the feedback loop, where the set of possible data loss sequences is captured by an automaton. As such, the results are applicable in the context of shared (wireless) communication networks and/or embedded architectures where some information on the data loss behaviour is available a priori. We propose an algorithm for deciding observability (or the absence of it) for such systems, and show how this algorithm can be used also to decide other properties including constructibility, controllability, reachability, null-controllability, detectability and stabilizability by means of relations that we establish among these properties. The main apparatus for our analysis is the celebrated Skolem Theorem from linear algebra. Moreover, we study the relation between the model adopted in this paper and a previously introduced model where, instead of allowing dropouts in the feedback loop, one allows for time varying delays.

preprint2013arXiv

Stabilizing discrete-time switched linear systems

This article deals with stabilizing discrete-time switched linear systems. Our contributions are threefold: Firstly, given a family of linear systems possibly containing unstable dynamics, we propose a large class of switching signals that stabilize a switched system generated by the switching signal and the given family of systems. Secondly, given a switched system, a sufficient condition for the existence of the proposed switching signal is derived by expressing the switching signal as an infinite walk on a directed graph representing the switched system. Thirdly, given a family of linear systems, we propose an algorithmic technique to design a switching signal for stabilizing the corresponding switched system.