arXiv subjects

Shirantha Welikala

Publications and source records attributed to Shirantha Welikala.

At least 19 recordsLinked to original sources

arXiv2026

Model-Based and Data-Driven Hierarchical Control and Topology Co-Design for Robust Networked Systems

In this paper, we consider a class of networked systems comprising an interconnected set of linear subsystems, disturbance inputs, and performance outputs. Using dissipativity theory, we first propose a model-based hierarchical control design strategy to ensure the closed-loop networked system is dissipative from its disturbance inputs to performance outputs. This involves designing local controllers for each subsystem to enforce local dissipativity guarantees, which are then exploited to co-design distributed global controllers and the interconnection topology to enforce global dissipativity guarantees while optimizing interconnection topology costs. The overall design process requires only solving a sequence of linear matrix inequality (LMI) problems, thereby retaining compositionality and decentralizability while avoiding non-convex, iterative design processes that are inefficient and centralized. This model-based hierarchical control design strategy assumes the knowledge of the subsystem dynamics, which may not hold in many real-world networked systems. Motivated by this, we also propose a data-driven hierarchical control design strategy that assumes only the availability of rich input-state-output trajectory data from the subsystems. The proposed data-driven design process assumes that the unknown disturbances affecting the subsystem dynamics are bounded by a quadratic matrix inequality (relaxing conventional bounds) and accounts for this by using the matrix S-lemma. Finally, the effectiveness of the proposed model-based and data-driven hierarchical control designs is illustrated for a networked system representing a DC microgrid, with the aim of enforcing robust (dissipative) voltage regulation and current sharing.

eess.SY↗

arXiv2026

Dissipativity-Based Distributed Control and Communication Topology Co-Design for Nonlinear DC Microgrids

This paper presents a dissipativity-based distributed droop-free control and communication topology co-design framework for voltage regulation and current sharing in DC microgrids (MGs), where constant-power loads (CPLs) and voltage-source converter (VSC) input saturation introduce significant nonlinearities. In particular, CPLs introduce an inherently destabilizing nonlinearity, while VSC input saturation imposes hard amplitude constraints on applicable control input at each distributed generator (DG), collectively making the DC MG control system design extremely challenging. To this end, the DC MG is modeled as a networked system of DGs, transmission lines, and loads coupled through a static interconnection matrix. Each DG is equipped with a local PI-based controller with an anti-windup compensator and a distributed consensus-based global controller, from which a nonlinear networked error dynamics model is derived. The CPL nonlinearity is characterized via sector-boundedness with the S-procedure applied directly to yield tight LMI conditions, while the VSC input saturation is handled via a dead-zone decomposition and sector-boundedness, with both nonlinearities simultaneously absorbed into the dissipativity analysis. Both nonlinearities are simultaneously absorbed into the dissipativity analysis using the S-procedure. Subsequently, local controller gains and passivity indices, and distributed controller gains and the communication topology are co-designed by solving a sequence of local and global Linear Matrix Inequality (LMI) problems, enabling a one-shot co-design process that avoids iterative procedures. The effectiveness of the proposed framework is validated through simulation of an islanded DC MG under multiple operating scenarios, demonstrating robust performance superior to conventional control approaches.

eess.SY↗

arXiv2026

Dissipativity-Based Synthesis of Distributed Control and Communication Topology Co-Design for AC Microgrids

This paper introduces a dissipativity-based framework for the joint design of distributed controllers and communication topologies in AC microgrids (MGs), providing robust performance guarantees for voltage regulation, frequency synchronization, and proportional power sharing across distributed generators (DGs). The closed-loop AC MG is represented as a networked system in which DGs, distribution lines, and loads function as interconnected subsystems linked through cyber-physical networks. Each DG utilizes a three-layer hierarchical control structure: a steady-state controller for operating point configuration, a local feedback controller for voltage tracking, and a distributed droop-free controller implementing normalized power consensus for frequency coordination and proportional power distribution. The operating point design is formulated as an optimization problem. Leveraging dissipativity theory, we derive necessary and sufficient subsystem dissipativity conditions. The global co-design is then cast as a convex linear matrix inequality (LMI) optimization that jointly determines distributed controller parameters and sparse communication architecture while managing the highly nonlinear, coupled dq-frame dynamics characteristic of AC systems. Simulation results from an islanded AC MG in a MATLAB/Simulink environment verify that the proposed framework achieves robust voltage regulation, frequency synchronization, and proportional power sharing through the optimized communication topology.

eess.SY↗

arXiv2026

Modeling PWM-Time-SOC Interaction in a Simulated Robot

Accurate prediction of battery state of charge is needed for autonomous robots to plan movements without using up all available power. This work develops a physics and data-informed model from a simulation that predicts SOC depletion as a function of time and PWM duty cycle for a simulated 4-wheel Arduino robot. A forward-motion simulation incorporating motor electrical characteristics (resistance, inductance, back-EMF, torque constant) and mechanical dynamics (mass, drag, rolling resistance, wheel radius) was used to generate SOC time-series data across PWM values from 1-100%. Sparse Identification of Nonlinear Dynamics (SINDy), combined with least-squares regression, was applied to construct a unified nonlinear model that captures SOC(t, p). The framework allows for energy-aware planning for similar robots and can be extended to incorporate arbitrary initial SOC levels and environment-dependent parameters for real-world deployment.

cs.RO↗

arXiv2025

Funnel-Based Online Recovery Control for Nonlinear Systems With Unknown Dynamics

In this paper, we focus on recovery control of nonlinear systems from attacks or failures. The main challenges of this problem lie in (1) learning the unknown dynamics caused by attacks or failures with formal guarantees, and (2) finding the invariant set of states to formally ensure the state deviations allowed from the nominal trajectory. To solve this problem, we propose to apply the Recurrent Equilibrium Networks (RENs) to learn the unknown dynamics using the data from the real-time system states. The input-output property of this REN model is guaranteed by incremental integral quadratic constraints (IQCs). Then, we propose a funnel-based control method to achieve system recovery from the deviated states. In particular, a sufficient condition for nominal trajectory stabilization is derived together with the invariant funnels along the nominal trajectory. Eventually, the effectiveness of our proposed control method is illustrated by a simulation example of a DC microgrid control application.

eess.SY↗

arXiv2025

Dissipativity-Based Distributed Control and Communication Topology Co-Design for Voltage Regulation and Current Sharing in DC Microgrids

This paper presents a novel dissipativity-based distributed droop-free control approach for voltage regulation and current sharing in DC microgrids (MGs) comprised of an interconnected set of distributed generators (DGs), loads, and power lines. First, we describe the closed-loop DC MG as a networked system where the DGs and lines (i.e., subsystems) are interconnected via a static interconnection matrix. This interconnection matrix demonstrates how the inputs, outputs, and disturbances of DGs and lines are connected in a DC MG. Each DG is equipped with a local controller for voltage regulation and a distributed global controller for current sharing, where the local controllers ensure individual voltage tracking while the global controllers coordinate among DGs to achieve proportional current sharing. To design the distributed global controllers, we use the dissipativity properties of the subsystems and formulate a linear matrix inequality (LMI) problem. To support the feasibility of this problem, we identify a set of necessary local and global conditions to enforce in a specifically developed LMI-based local controller design process. In contrast to existing DC MG control solutions, our approach proposes a unified framework for co-designing the distributed controller and communication topology. As the co-design process is LMI-based, it can be efficiently implemented and evaluated using existing convex optimization tools. The effectiveness of the proposed solution is verified by simulating an islanded DC MG in a MATLAB/Simulink environment under different scenarios, such as load changes and topological constraint changes, and then comparing the performance with the droop control algorithm.

eess.SY↗

arXiv2025

Dissipativity-Based Distributed Control and Communication Topology Co-Design for DC Microgrids with ZIP Loads

This paper presents a novel dissipativity-based distributed droop-free control and communication topology co-design approach for voltage regulation and current sharing in DC microgrids (DC MGs) with generic ``ZIP'' (constant impedance (Z), current (I) and power (P)) loads. While ZIP loads accurately capture the varied nature of the consumer loads, its constant power load (CPL) component is particularly challenging (and destabilizing) due to its non-linear form. Moreover, ensuring simultaneous voltage regulation and current sharing and co-designing controllers and topology are also challenging when designing control solutions for DC MGs. To address these three challenges, we model the DC MG as a networked system comprised of distributed generators (DGs), ZIP loads, and lines interconnected according to a static interconnection matrix. Next, we equip each DG with a local controller and a distributed global controller (over an arbitrary topology) to derive the error dynamic model of the DC MG as a networked ``error'' system, including disturbance inputs and performance outputs. Subsequently, to co-design the controllers and the topology ensuring robust (dissipative) voltage regulation and current sharing performance, we use the dissipativity and sector boundedness properties of the involved subsystems and formulate Linear Matrix Inequality (LMI) problems to be solved locally and globally. To support the feasibility of the global LMI problem, we identify and embed several crucial necessary conditions in the corresponding local LMI problems, thus providing a one-shot approach to solve the LMI problems. Overall, the proposed approach in this paper provides a unified framework for designing DC MGs. The effectiveness of the proposed solution was verified by simulating an islanded DC MG under different scenarios, demonstrating superior performance compared to traditional control approaches.

eess.SY↗

arXiv2025

Hierarchical Analysis and Control of Epidemic Spreading over Networks using Dissipativity and Mesh Stability

Analyzing and controlling spreading processes are challenging problems due to the involved non-linear node (subsystem) dynamics, unknown disturbances, complex interconnections, and the large-scale and multi-level nature of the problems. The dissipativity concept provides a practical framework for addressing such concerns, thanks to the energy-based representation it offers for subsystems and the compositional properties it provides for the analysis and control of interconnected (networked) systems comprised of such subsystems. Therefore, in this paper, we utilize the dissipativity concept to analyze and control a spreading process that occurs over a hierarchy of nodes, groups, and a network (i.e., a spreading network). We start by generalizing several existing results on dissipativity-based topology design for networked systems. Next, we model the considered spreading network as a networked system and establish the dissipativity properties of its nodes. The generalized topology design method is then applied at multiple levels of the considered spreading network to formulate its analysis and control problems as Linear Matrix Inequality (LMI) problems. We identify and enforce localized necessary conditions to support the feasibility of the LMI problem solved at each subsequent hierarchical level of the spreading network. Consequently, the proposed method does not involve iterative multi-level optimization stages that are computationally inefficient. The proposed control solution ensures that the spreading network is not only stable but also dissipative and mesh-stable. Compared to conventional methods, such as threshold pruning and high-degree edge removal, our approach offers superior performance in terms of infection containment, control efficiency, and disturbance robustness. Extensive numerical results demonstrate the effectiveness of the proposed technique.

eess.SY↗

arXiv2025

Graph Neural Network-Based Distributed Optimal Control for Linear Networked Systems: An Online Distributed Training Approach

In this paper, we consider the distributed optimal control problem for discrete-time linear networked systems. In particular, we are interested in learning distributed optimal controllers using graph recurrent neural networks (GRNNs). Most of the existing approaches result in centralized optimal controllers with offline training processes. However, as the increasing demand of network resilience, the optimal controllers are further expected to be distributed, and are desirable to be trained in an online distributed fashion, which are also the main contributions of our work. To solve this problem, we first propose a GRNN-based distributed optimal control method, and we cast the problem as a self-supervised learning problem. Then, the distributed online training is achieved via distributed gradient computation, and inspired by the (consensus-based) distributed optimization idea, a distributed online training optimizer is designed. Furthermore, the local closed-loop stability of the linear networked system under our proposed GRNN-based controller is provided by assuming that the nonlinear activation function of the GRNN-based controller is both local sector-bounded and slope-restricted. The effectiveness of our proposed method is illustrated by numerical simulations using a specifically developed simulator.

eess.SY↗

arXiv2025

Mesh Stability Guaranteed Rigid Body Networks Using Control and Topology Co-Design

Merging and splitting are of great significance for rigid body networks in making such networks reconfigurable. The main challenges lie in simultaneously ensuring the compositionality of the distributed controllers and the mesh stability of the entire network. To this end, we propose a decentralized control and topology co-design method for rigid body networks, which enables flexible joining and leaving of rigid bodies without the need to redesign the controllers for the entire network after such maneuvers. We first provide a centralized linear matrix inequality (LMI)-based control and topology co-design optimization of the rigid body networks with a formal mesh stability guarantee. Then, these centralized mesh stability constraints are made decentralized by a proposed alternative set of sufficient conditions. Using these decentralized mesh stability constraints and Sylvester's criterion-based decentralization techniques, the said centralized LMI problem is equivalently broken down into a set of smaller decentralized LMI problems that can be solved at each rigid body, enabling flexible merging/splitting of rigid bodies. Finally, the effectiveness of the proposed co-design method is illustrated based on a specifically developed simulator and a comparison study with respect to a state-of-the-art method.

eess.SY↗

arXiv2025

Inventory Consensus Control in Supply Chain Networks using Dissipativity-Based Control and Topology Co-Design

Recent global and local phenomena have exposed vulnerabilities in critical supply chain networks (SCNs), drawing significant attention from researchers across various fields. Typically, SCNs are viewed as static entities regularly optimized to maintain their optimal operation. However, the dynamic nature of SCNs and their associated uncertainties have motivated researchers to treat SCNs as dynamic networked systems requiring robust control techniques. In this paper, we address the SCN inventory consensus problem, which aims to synchronize multiple parallel supply chains, enhancing coordination and robustness of the overall SCN. To achieve this, we take a novel approach exploiting dissipativity theory. In particular, we propose a dissipativity-based co-design strategy for distributed consensus controllers and communication topology in SCNs. It requires only the dissipativity information of the individual supply chains and involves solving a set of convex optimization problems, thus contributing to scalability, compositionality, and computational efficiency. Moreover, it optimizes the robustness of the SCN to various associated uncertainties, mitigating both bullwhip and ripple effects. We demonstrate our contributions using numerical examples, mainly by comparing the consensus performance with respect to standard steady-state control, feedback control, and consensus control strategies.

eess.SY↗

arXiv2024

Dissipativity-Based Distributed Droop-Free Controller and Communication Topology Co-Design for DC Microgrids

This paper presents a novel dissipativity-based distributed droop-free control approach for the voltage regulation problem in DC microgrids (MGs) comprised of an interconnected set of distributed generators (DGs), loads, and power lines. First, we describe the closed-loop DC MG as a networked system where the sets of DGs and lines (i.e., subsystems) are interconnected via a static interconnection matrix. This interconnection matrix demonstrates how the inputs and outputs of DGs and lines are connected with each other. Each DG has a local controller and a distributed global controller. To design the distributed global controllers, we use the dissipativity properties of the subsystems and formulate a linear matrix inequality (LMI) problem. To support the feasibility of this distributed global controller design, we identify a set of necessary local conditions, which we then enforce in a specifically developed LMI-based local controller design process. In contrast to existing DC MG control solutions that separate distributed controller and communication topology design problems, our approach proposes a unified framework for distributed controller and communication topology co-design. As the co-design process is LMI-based, it can be efficiently implemented and evaluated using existing software tools. The effectiveness of the proposed solution in terms of voltage regulation and current sharing is verified by simulating an islanded DC MG in a MATLAB/Simulink environment under different scenarios, such as load changes and topological constraint changes, and comparing its performance with the recent droop control approach.

eess.SY↗

arXiv2024

Dissipativity-Based Decentralized Co-Design of Distributed Controllers and Communication Topologies for Vehicular Platoons

Vehicular platoons provide an appealing option for future transportation systems. Most of the existing work on platoons separated the design of the controller and its communication topologies. However, it is beneficial to design both the platooning controller and the communication topology simultaneously, i.e., controller and topology co-design, especially in the cases of platoon splitting and merging. We are, therefore, motivated to propose a co-design framework for vehicular platoons that maintains both the compositionality of the controller and the string stability of the platoon, which enables the merging and splitting of the vehicles in a platoon. To this end, we first formulate the co-design problem as a centralized linear matrix inequality (LMI) problem and then decompose it using Sylvester's criterion to obtain a set of smaller decentralized LMI problems that can be solved sequentially at individual vehicles in the platoon. Moreover, in the formulated decentralized LMI problems, we encode a specifically derived local LMI to enforce the $L_2$ stability of the closed-loop platooning system, further implying the $L_2$ weak string stability of the vehicular platoon. Finally, to validate the proposed co-design method and its features in terms of merging/splitting, we provide an extensive collection of simulation results generated from a specifically developed simulation framework. Available in GitHub: HTTP://github.com/NDzsong2/Longitudinal-Vehicular-Platoon-Simulator.git that we have made publicly available.

eess.SY↗

arXiv2024

Performance-Guaranteed Solutions for Multi-Agent Optimal Coverage Problems using Submodularity, Curvature, and Greedy Algorithms

We consider a class of multi-agent optimal coverage problems in which the goal is to determine the optimal placement of a group of agents in a given mission space so that they maximize a coverage objective that represents a blend of individual and collaborative event detection capabilities. This class of problems is extremely challenging due to the non-convex nature of the mission space and of the coverage objective. With this motivation, greedy algorithms are often used as means of getting feasible coverage solutions efficiently. Even though such greedy solutions are suboptimal, the submodularity (diminishing returns) property of the coverage objective can be exploited to provide performance bound guarantees. Moreover, we show that improved performance bound guarantees (beyond the standard (1-1/e) performance bound) can be established using various curvature measures of the coverage problem. In particular, we provide a brief review of all existing popular applicable curvature measures, including a recent curvature measure that we proposed, and discuss their effectiveness and computational complexity, in the context of optimal coverage problems. We also propose novel computationally efficient techniques to estimate some curvature measures. Finally, we provide several numerical results to support our findings and propose several potential future research directions.

eess.SY↗

arXiv2023

Smooth Robustness Measures for Symbolic Control Via Signal Temporal Logic

Symbolic control problems aim to synthesize control policies for dynamical systems under complex temporal specifications. For such problems, Signal Temporal Logic (STL) is increasingly used as the formal specification language due to its rich expressiveness. Moreover, the degree of satisfaction of STL specifications can be evaluated using ``STL robust semantics'' as a scalar robustness measure. This capability of STL enables transforming a symbolic control problem into an optimization problem that optimizes the corresponding robustness measure. However, since these robustness measures are non-smooth and non-convex, exact solutions can only be computed using computationally inefficient mixed-integer programming techniques that do not scale well. Therefore, recent literature has focused on using smooth approximations of these robustness measures to apply scalable and computationally efficient gradient-based methods to find local optima solutions. In this paper, we first generalize two recently established smooth robustness measures (SRMs) and two new ones and discuss their strengths and weaknesses. Next, we propose ``STL error semantics'' to characterize the approximation errors associated with different SRMs under different parameter configurations. This allows one to sensibly select an SRM (to optimize) along with its parameter values. We then propose ``STL gradient semantics'' to derive explicit gradients of SRMs leading to improve computational efficiency as well as accuracy compared to when using numerically estimated gradients. Finally, these contributions are highlighted using extensive simulation results.

eess.SY↗

arXiv2023

Decentralized and Compositional Interconnection Topology Synthesis for Linear Networked Systems

In this paper, we consider networked systems comprised of interconnected sets of linear subsystems and propose a decentralized and compositional approach to stabilize or dissipativate such linear networked systems via optimally modifying some existing interconnections and/or creating entirely new interconnections. We also extend this interconnection topology synthesis approach to ensure the ability to stabilize or dissipativate such linear networked systems under distributed (local) feedback control. To the best of the authors' knowledge, this is the first work that attempts to address the optimal interconnection topology synthesis problem for linear networked systems. The proposed approach in this paper only involves solving a sequence of linear matrix inequality problems (one at each subsystem). Thus, using standard convex optimization toolboxes, it can be implemented efficiently and scalably in a decentralized and compositional manner. Apart from many generic linear networked systems applications (e.g., power grid control), a unique application for the proposed interconnection topology synthesis approach is in generating random stable (or dissipative, stabilizable, dissipativate-able) linear networked systems for simulation purposes. We also include an interesting case study where the proposed interconnection topology synthesis approach is compared with an alternative approach that only uses dissipativity information of the involved subsystems.

eess.SY↗

arXiv2022

Distributed Adaptive Backstepping Control for Vehicular Platoons with Mismatched Disturbances Using Vector String Lyapunov Functions

In this paper, we consider the problem of platooning control with mismatched disturbances using the distributed adaptive backstepping method. The main challenges are: (1) maintaining the compositionality and the distributed nature of the controller, and (2) ensuring the robustness of the controller with respect to general types of disturbances. To address these challenges, we first propose a novel notion that we named "Vector String Lyapunov Function", whose existence implies l2 weak string stability. This notion is based on the vector Lyapunov function-based stability analysis, which depends on the input-to-state-stability of a comparison system. Using this notion, we propose an adaptive backstepping controller for the platoon such that the compositionality and the distributed nature of the controller can be ensured while the internal stability and string stability of the closed-loop system are formally guaranteed. Finally, simulation examples are provided to illustrate the effectiveness of the proposed control algorithm. In particular, we provide simulation results comparing our proposed control algorithm with a recently proposed control algorithm from the literature, under two types of information flow topologies and disturbances.

eess.SY↗

arXiv2022

Centralized and Decentralized Techniques for Analysis and Synthesis of Non-Linear Networked Systems

In this paper, we develop centralized and decentralized techniques for analyzing and synthesizing networked systems comprised of interconnected sets of non-linear subsystems - only using the subsystem dissipativity properties. In particular, this paper extends a recent work that proposed dissipativity based centralized analysis techniques for non-linear networked systems as linear matrix inequality (LMI) problems. First, we consider four networked system configurations (NSCs) of interest and provide centralized stability/dissipativity \emph{analysis} techniques for them as LMI problems. Second, we show that the centralized interconnection topology \emph{synthesis} techniques for these NSCs can also be developed as LMI problems. This enables synthesizing the interconnection topology among the subsystems so that specific stability/dissipativity measures of the networked system are optimized. Next, we show that the proposed analysis and synthesis techniques can be implemented in a decentralized and compositional manner (i.e., subsystems can be added/removed conveniently). Finally, we include several numerical results to demonstrate our contributions.

eess.SY↗