45 citations · 205 across the 65 of their papers we have counts for
34 papers · 1 filter
Decentralized and Compositional Interconnection Topology Synthesis for Linear Networked Systems
Shirantha Welikala, Hai Lin, Panos J. Antsaklis
In this paper, we consider networked systems comprised of interconnected sets of linear subsystems and propose a decentralized and compositional approach to stabilize or dissipativ…
Centralized and Decentralized Techniques for Analysis and Synthesis of Non-Linear Networked Systems
Shirantha Welikala, Hai Lin, Panos J. Antsaklis
In this paper, we develop centralized and decentralized techniques for analyzing and synthesizing networked systems comprised of interconnected sets of non-linear subsystems - only…
Distributed Adaptive Backstepping Control for Vehicular Platoons with Mismatched Disturbances Using Vector String Lyapunov Functions
Zihao Song, Shirantha Welikala, Panos J. Antsaklis +1
In this paper, we consider the problem of platooning control with mismatched disturbances using the distributed adaptive backstepping method. The main challenges are: (1) maintaini…
A Decentralized Analysis and Control Synthesis Approach for Networked Systems with Arbitrary Interconnections
Shirantha Welikala, Hai Lin, Panos Antsaklis
This paper considers the problem of decentralized analysis and control synthesis to verify and ensure properties like stability and dissipativity of a large-scale networked system…
A More Scalable Mixed-Integer Encoding for Metric Temporal Logic
Vince Kurtz, Hai Lin
The state-of-the-art in optimal control from timed temporal logic specifications, including Metric Temporal Logic (MTL) and Signal Temporal Logic (STL), is based on Mixed-Integer C…
idSTLPy: A Python Toolbox for Active Perception and Control
Rafael Rodrigues da Silva, Kunal Yadav, Hai Lin
This paper describes a Python toolbox for active perception and control synthesis of probabilistic signal temporal logic (PrSTL) formulas of switched linear systems with additive G…