Alex Devonport

Orcid: 0000-0003-1913-5637

According to our database1, Alex Devonport authored at least 16 papers between 2019 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Data-Driven Reachability and Support Estimation With Christoffel Functions.
IEEE Trans. Autom. Control., September, 2023

Frequency-domain Gaussian Process Models for H<sub>∞</sub> Uncertainties.
CoRR, 2023

Probabilistic Invariance for Gaussian Process State Space Models.
Proceedings of the Learning for Dynamics and Control Conference, 2023

Frequency Domain Gaussian Process Models for H<sup>∞</sup> Uncertainties.
Proceedings of the Learning for Dynamics and Control Conference, 2023

2022
Machine Learning for Smart and Energy-Efficient Buildings.
CoRR, 2022

2021
Data-Driven Reachability analysis and Support set Estimation with Christoffel Functions.
CoRR, 2021

DaDRA: A Python Library for Data-Driven Reachability Analysis.
CoRR, 2021

Data-driven estimation of forward reachable sets.
Proceedings of the CAADCPS '21: Proceedings of the Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems, 2021

Data-Driven Reachability Analysis with Christoffel Functions.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Symbolic Abstractions From Data: A PAC Learning Approach.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020
Estimating Reachable Sets with Scenario Optimization.
Proceedings of the 2nd Annual Conference on Learning for Dynamics and Control, 2020

Prospective Experiment for Reinforcement Learning on Demand Response in a Social Game Framework.
Proceedings of the e-Energy '20: The Eleventh ACM International Conference on Future Energy Systems, 2020

Bayesian Safe Learning and Control with Sum-of-Squares Analysis and Polynomial Kernels.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Data-Driven Reachable Set Computation using Adaptive Gaussian Process Classification and Monte Carlo Methods.
Proceedings of the 2020 American Control Conference, 2020

2019
TIRA: toolbox for interval reachability analysis.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019


  Loading...