10 citations · 40 across the 35 of their papers we have counts for
50 papers
Characterizing Compositionality of LQR from the Categorical Perspective
Baike She, Tyler Hanks, James Fairbanks +1
Composing systems is a fundamental concept in modern control systems, yet it remains challenging to formally analyze how controllers designed for individual subsystems can differ f…
Modeling Model Predictive Control: A Category Theoretic Framework for Multistage Control Problems
Tyler Hanks, Baike She, Matthew Hale +3
Model predictive control (MPC) is an optimal control technique which involves solving a sequence of constrained optimization problems across a given time horizon. In this paper, we…
Anomaly Search Over Many Sequences With Switching Costs
Matthew Ubl, Benjamin D. Robinson, Matthew T. Hale
This paper considers the quickest search problem to identify anomalies among large numbers of data streams. These streams can model, for example, disjoint regions monitored by a mo…
Differential Privacy in Cooperative Multiagent Planning
Bo Chen, Calvin Hawkins, Mustafa O. Karabag +3
Privacy-aware multiagent systems must protect agents' sensitive data while simultaneously ensuring that agents accomplish their shared objectives. Towards this goal, we propose a f…
Distributed Reproduction Numbers of Networked Epidemics
Baike She, Philip E. Paré, Matthew Hale
Reproduction numbers are widely used for the estimation and prediction of epidemic spreading processes over networks. However, reproduction numbers do not enable estimation and pre…
Fast Verification of Control Barrier Functions via Linear Programming
Ellie Pond, Matthew Hale
Control barrier functions are a popular method of ensuring system safety, and these functions can be used to enforce invariance of a set under the dynamics of a system. A control b…