410 citations · 2.1k across the 125 of their papers we have counts for
164 papers
A Tutorial on the Non-Asymptotic Theory of System Identification
Ingvar Ziemann, Anastasios Tsiamis, Bruce Lee +3
This tutorial serves as an introduction to recently developed non-asymptotic methods in the theory of -- mainly linear -- system identification. We emphasize tools we deem particul…
Combined Left and Right Temporal Robustness for Control under STL Specifications
Alëna Rodionova, Lars Lindemann, Manfred Morari +1
Many modern autonomous systems, particularly multi-agent systems, are time-critical and need to be robust against timing uncertainties. Previous works have studied left and right t…
Gaussian Process Port-Hamiltonian Systems: Bayesian Learning with Physics Prior
Thomas Beckers, Jacob Seidman, Paris Perdikaris +1
Data-driven approaches achieve remarkable results for the modeling of complex dynamics based on collected data. However, these models often neglect basic physical principles which…
The noise level in linear regression with dependent data
Ingvar Ziemann, Stephen Tu, George J. Pappas +1
We derive upper bounds for random design linear regression with dependent (-mixing) data absent any realizability assumptions. In contrast to the strictly realizable martingale…
Certified Invertibility in Neural Networks via Mixed-Integer Programming
Tianqi Cui, Thomas Bertalan, George J. Pappas +3
Neural networks are known to be vulnerable to adversarial attacks, which are small, imperceptible perturbations that can significantly alter the network's output. Conversely, there…
Conformal Prediction for STL Runtime Verification
Lars Lindemann, Xin Qin, Jyotirmoy V. Deshmukh +1
We are interested in predicting failures of cyber-physical systems during their operation. Particularly, we consider stochastic systems and signal temporal logic specifications, an…