Publications (11)
Bayesian Safe Learning and Control with Sum-of-Squares Analysis and Polynomial Kernels
Alex Devonport, He Yin, Murat Arcak
We propose an iterative method to safely learn the unmodeled dynamics of a nonlinear system using Bayesian Gaussian process (GP) models with polynomial kernel functions. The method…
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…
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…
Symbolic Abstractions From Data: A PAC Learning Approach
Alex Devonport, Adnane Saoud, Murat Arcak
Symbolic control techniques aim to satisfy complex logic specifications. A critical step in these techniques is the construction of a symbolic (discrete) abstraction, a finite-stat…
Data-Driven Reachable Set Computation using Adaptive Gaussian Process Classification and Monte Carlo Methods
Alex Devonport, Murat Arcak
We present two data-driven methods for estimating reachable sets with probabilistic guarantees. Both methods make use of a probabilistic formulation allowing for a formal definitio…
TIRA: Toolbox for Interval Reachability Analysis
Pierre-Jean Meyer, Alex Devonport, Murat Arcak
This paper presents TIRA, a Matlab library gathering several methods for the computation of interval over-approximations of the reachable sets for both continuous- and discrete-tim…
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…
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…
PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems
Alex Devonport, Mahmoud Khaled, Murat Arcak +1
Reachability analysis is a critical tool for the formal verification of dynamical systems and the synthesis of controllers for them. Due to their computational complexity, many rea…
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…
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…