Devonport, Alex
- Data-Driven Reachable Set Computation using Adaptive Gaussian Process\n Classification and Monte Carlo Methods
2019/10/06 by Alex Devonport, Murat Arcak, Devonport, Alex +1 · 3 citations
Computer Science · Engineering · #Gaussian Processes and Bayesian Inference #Fault Detection and Control Systems
- Symbolic Abstractions From Data: A PAC Learning Approach
2021/04/28 by Devonport, Alex, Saoud, Adnane, Arcak, Murat · 2 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Systems and Control (eess.SY) #electronic engineering #information engineering
- PIRK: Scalable Interval Reachability Analysis for High-Dimensional\n Nonlinear Systems
2020/01/28 by Alex Devonport, Mahmoud Khaled, Devonport, Alex +5 · 1 citation
Computer Science · Engineering · #Advanced Control Systems Optimization #FOS: Electrical engineering #Formal Methods in Verification #Numerical Methods and Algorithms #Systems and Control (eess.SY) #electronic engineering #information engineering
- Data-Driven Reachability Analysis with Christoffel Functions
2021/04/28 by Alex Devonport, Devonport, Alex, Forest Yang +5 · 1 citation
Computer Science · Decision Sciences · #Bayesian Modeling and Causal Inference #FOS: Electrical engineering #Probabilistic and Robust Engineering Design #Systems and Control (eess.SY) #electronic engineering #information engineering
- Frequency Domain Gaussian Process Models for H^∞ Uncertainties
2022/11/29 by Alex Devonport, Devonport, Alex, Peter Seiler +3 · 1 citation
Computer Science · Engineering · #Control Systems and Identification #FOS: Electrical engineering #Fault Detection and Control Systems #Gaussian Processes and Bayesian Inference #Systems and Control (eess.SY) #electronic engineering #information engineering
- Machine Learning for Smart and Energy-Efficient Buildings
2022/11/27 by Das, Hari Prasanna, Lin, Yu-Wen, Agwan, Utkarsha +7 · 1 citation
#FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Systems and Control (eess.SY) #electronic engineering #information engineering