research
∙
09/17/2023
Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference
We consider data-driven reachability analysis of discrete-time stochasti...
share
research
∙
06/08/2023
Combined Left and Right Temporal Robustness for Control under STL Specifications
Many modern autonomous systems, particularly multi-agent systems, are ti...
research
∙
06/05/2023
Conformal Predictive Safety Filter for RL Controllers in Dynamic Environments
The interest in using reinforcement learning (RL) controllers in safety-...
research
∙
04/03/2023
Conformal Prediction Regions for Time Series using Linear Complementarity Programming
Conformal prediction is a statistical tool for producing prediction regi...
research
∙
04/01/2023
Safe Perception-Based Control under Stochastic Sensor Uncertainty using Conformal Prediction
We consider perception-based control using state estimates that are obta...
research
∙
02/02/2023
Physics Constrained Motion Prediction with Uncertainty Quantification
Predicting the motion of dynamic agents is a critical task for guarantee...
research
∙
12/01/2022
Adaptive Conformal Prediction for Motion Planning among Dynamic Agents
This paper proposes an algorithm for motion planning among dynamic agent...
research
∙
11/03/2022
Conformal Prediction for STL Runtime Verification
We are interested in predicting failures of cyber-physical systems durin...
research
∙
10/19/2022
Safe Planning in Dynamic Environments using Conformal Prediction
We propose a framework for planning in unknown dynamic environments with...
research
∙
06/07/2022
Parametric Chordal Sparsity for SDP-based Neural Network Verification
Many future technologies rely on neural networks, but verifying the corr...
research
∙
05/28/2022
Risk of Stochastic Systems for Temporal Logic Specifications
The wide availability of data coupled with the computational advances in...
research
∙
11/18/2021
Learning Robust Output Control Barrier Functions from Safe Expert Demonstrations
This paper addresses learning safe control laws from expert demonstratio...
research
∙
08/30/2021
Reactive and Risk-Aware Control for Signal Temporal Logic
The deployment of autonomous systems in uncertain and dynamic environmen...
research
∙
08/26/2021
Robust Motion Planning in the Presence of Estimation Uncertainty
Motion planning is a fundamental problem and focuses on finding control ...
research
∙
04/03/2021
STL Robustness Risk over Discrete-Time Stochastic Processes
We present a framework to interpret signal temporal logic (STL) formulas...
research
∙
02/04/2021
Barrier Function-based Collaborative Control of Multiple Robots under Signal Temporal Logic Tasks
Motivated by the recent interest in cyber-physical and autonomous roboti...
research
∙
01/16/2021
Learning Robust Hybrid Control Barrier Functions for Uncertain Systems
The need for robust control laws is especially important in safety-criti...
research
∙
11/08/2020
Learning Hybrid Control Barrier Functions from Data
Motivated by the lack of systematic tools to obtain safe control laws fo...
research
∙
09/04/2020
Provably Safe Control of Lagrangian Systems in Obstacle-Scattered Environments
We propose a hybrid feedback control law that guarantees both safety and...
research
∙
04/07/2020