Slides
Slides
Assume/Guarantee Contracts for Dynamical Systems
Assume/Guarantee Contracts for Dynamical Systems
Modular verification of safety specifications for dynamical systems using linear programming
Sample Complexity of Data-Driven Inference of the L2 gain
Sample Complexity of Data-Driven Inference of the L2 gain
How much data do we need to determine the L2-gain of an unknown system, or to approximate it in the operator norm?
Graph-Theory-Based Fault Detection and Isolation
Graph-Theory-Based Fault Detection and Isolation
Detecting network faults in networks of passive agents using vertex connectivity and convergence rate estimates.
Model-Free Control of Multi-Agent Systems
Model-Free Control of Multi-Agent Systems
Model-free control of multi-agent systems using a high-gain approach, robust optimization and passivity
Network Optimization Framework for Multi-Agent Systems
Network Optimization Framework for Multi-Agent Systems
Analysis and synthesis of multi-agent systems using network optimization.