activity
20192023
most citedTIRA: Toolbox for Interval Reachability Analysis

45 citations · 52 across the 10 of their papers we have counts for

collaborators

11 papers

eess.SY2023

Frequency-domain Gaussian Process Models for Uncertainties

Alex Devonport, Peter Seiler, Murat Arcak

Complex-valued Gaussian processes are commonly used in Bayesian frequency-domain system identification as prior models for regression. If each realization of such a process were an…

eess.SY2022

Frequency Domain Gaussian Process Models for Uncertainties

Alex Devonport, Peter Seiler, Murat Arcak

Complex-valued Gaussian processes are used in Bayesian frequency-domain system identification as prior models for regression. If each realization of such a process were an $H_\inft…

cs.LG2022★ 6 cited

Machine Learning for Smart and Energy-Efficient Buildings

Hari Prasanna Das, Yu-Wen Lin, Utkarsha Agwan +7

Energy consumption in buildings, both residential and commercial, accounts for approximately 40% of all energy usage in the U.S., and similar numbers are being reported from countr…

eess.SY2021★ 1 cited

Data-Driven Reachability analysis and Support set Estimation with Christoffel Functions

Alex Devonport, Forest Yang, Laurent El Ghaoui +1

We present algorithms for estimating the forward reachable set of a dynamical system using only a finite collection of independent and identically distributed samples. The produced…

eess.SY2021

DaDRA: A Python Library for Data-Driven Reachability Analysis

Jared Mejia, Alex Devonport, Murat Arcak

Reachability analysis is used to determine all possible states that a system acting under uncertainty may reach. It is a critical component to obtain guarantees of various safety-c…

eess.SY2021

Data-Driven Reachability Analysis with Christoffel Functions

Alex Devonport, Forest Yang, Laurent El Ghaoui +1

We present an algorithm for data-driven reachability analysis that estimates finite-horizon forward reachable sets for general nonlinear systems using level sets of a certain class…