Alex Devonport

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 24

Top Topics

Reachability Analysis

Top Venues

Publications

Elizabeth Dietrich, Alex Devonport, Murat Arcak
Nonconvex scenario optimization for data-driven reachability. L4DC (2024)
Paul Griffioen, Alex Devonport, Murat Arcak
Probabilistic Invariance for Gaussian Process State Space Models. L4DC (2023)
Alex Devonport, Peter Seiler, Murat Arcak
Uncertainties. L4DC (2023)
Alex Devonport, Forest Yang, Laurent El Ghaoui, Murat Arcak
Data-Driven Reachability and Support Estimation With Christoffel Functions. IEEE Trans. Autom. Control. 68 (9) (2023)
Alex Devonport, Peter Seiler, Murat Arcak
Uncertainties. CoRR (2023)
Hari Prasanna Das, Yu-Wen Lin, Utkarsha Agwan, Lucas Spangher, Alex Devonport, Yu Yang, Ján Drgona, Adrian Chong, Stefano Schiavon, Costas J. Spanos
Machine Learning for Smart and Energy-Efficient Buildings. CoRR (2022)
Alex Devonport, Peter J. Seiler, Murat Arcak
Uncertainties. CoRR (2022)
Alex Devonport, Adnane Saoud, Murat Arcak
Symbolic Abstractions From Data: A PAC Learning Approach. CDC (2021)
Alex Devonport, Forest Yang, Laurent El Ghaoui, Murat Arcak
Data-Driven Reachability analysis and Support set Estimation with Christoffel Functions. CoRR (2021)
Alex Devonport, Murat Arcak
Data-driven estimation of forward reachable sets. CAADCPS@CPSIoTWeek (2021)
Alex Devonport, Adnane Saoud, Murat Arcak
Symbolic Abstractions From Data: A PAC Learning Approach. CoRR (2021)
Alex Devonport, Forest Yang, Laurent El Ghaoui, Murat Arcak
Data-Driven Reachability Analysis with Christoffel Functions. CDC (2021)
Alex Devonport, Forest Yang, Laurent El Ghaoui, Murat Arcak
Data-Driven Reachability Analysis with Christoffel Functions. CoRR (2021)
Jared Mejia, Alex Devonport, Murat Arcak
DaDRA: A Python Library for Data-Driven Reachability Analysis. CoRR (2021)
Alex Devonport, He Yin, Murat Arcak
Bayesian Safe Learning and Control with Sum-of-Squares Analysis and Polynomial Kernels. CoRR (2020)
Alex Devonport, Murat Arcak
Data-Driven Reachable Set Computation using Adaptive Gaussian Process Classification and Monte Carlo Methods. ACC (2020)
Alex Devonport, Mahmoud Khaled, Murat Arcak, Majid Zamani
PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems. CAV (1) (2020)
Alex Devonport, He Yin, Murat Arcak
Bayesian Safe Learning and Control with Sum-of-Squares Analysis and Polynomial Kernels. CDC (2020)
Lucas Spangher, Akash Gokul, Manan Khattar, Joseph Palakapilly, Akaash Tawade, Adam Bouyamourn, Alex Devonport, Costas J. Spanos
Prospective Experiment for Reinforcement Learning on Demand Response in a Social Game Framework. e-Energy (2020)
Alex Devonport, Mahmoud Khaled, Murat Arcak, Majid Zamani
PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems. CoRR (2020)
Alex Devonport, Murat Arcak
Estimating Reachable Sets with Scenario Optimization. L4DC (2020)
Pierre-Jean Meyer, Alex Devonport, Murat Arcak
TIRA: Toolbox for Interval Reachability Analysis. CoRR (2019)
Pierre-Jean Meyer, Alex Devonport, Murat Arcak
TIRA: toolbox for interval reachability analysis. HSCC (2019)
Alex Devonport, Murat Arcak
Data-Driven Reachable Set Computation using Adaptive Gaussian Process Classification and Monte Carlo Methods. CoRR (2019)