52 citations · 201 across the 50 of their papers we have counts for
10 papers · 1 filter
Risk-aware MPPI for Stochastic Hybrid Systems
Hardik Parwana, Mitchell Black, Bardh Hoxha +4
Path Planning for stochastic hybrid systems presents a unique challenge of predicting distributions of future states subject to a state-dependent dynamics switching function. In th…
Querying Perception Streams with Spatial Regular Expressions
Jacob Anderson, Georgios Fainekos, Bardh Hoxha +2
Perception in fields like robotics, manufacturing, and data analysis generates large volumes of temporal and spatial data to effectively capture their environments. However, sortin…
From Dashcam Videos to Driving Simulations: Stress Testing Automated Vehicles against Rare Events
Yan Miao, Georgios Fainekos, Bardh Hoxha +3
Testing Automated Driving Systems (ADS) in simulation with realistic driving scenarios is important for verifying their performance. However, converting real-world driving videos i…
Neural Configuration Distance Function for Continuum Robot Control
Kehan Long, Hardik Parwana, Georgios Fainekos +3
This paper presents a novel method for modeling the shape of a continuum robot as a Neural Configuration Euclidean Distance Function (N-CEDF). By learning separate distance fields…
Model Predictive Path Integral Methods with Reach-Avoid Tasks and Control Barrier Functions
Hardik Parwana, Mitchell Black, Georgios Fainekos +3
The rapid advancement of robotics necessitates robust tools for developing and testing safe control architectures in dynamic and uncertain environments. Ensuring safety and reliabi…
Optimal Planning for Timed Partial Order Specifications
Kandai Watanabe, Georgios Fainekos, Bardh Hoxha +3
This paper addresses the challenge of planning a sequence of tasks to be performed by multiple robots while minimizing the overall completion time subject to timing and precedence…
CBFKIT: A Control Barrier Function Toolbox for Robotics Applications
Mitchell Black, Georgios Fainekos, Bardh Hoxha +2
This paper introduces CBFKit, a Python/ROS toolbox for safe robotics planning and control under uncertainty. The toolbox provides a general framework for designing control barrier…
Risk-Aware Fixed-Time Stabilization of Stochastic Systems under Measurement Uncertainty
Mitchell Black, Georgios Fainekos, Bardh Hoxha +1
This paper addresses the problem of risk-aware fixed-time stabilization of a class of uncertain, output-feedback nonlinear systems modeled via stochastic differential equations. Fi…
SMT-Based Dynamic Multi-Robot Task Allocation
Victoria Marie Tuck, Pei-Wei Chen, Georgios Fainekos +4
Multi-Robot Task Allocation (MRTA) is a problem that arises in many application domains including package delivery, warehouse robotics, and healthcare. In this work, we consider th…
Scaling Learning based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout
Navid Hashemi, Bardh Hoxha, Danil Prokhorov +2
This paper introduces a model-based approach for training feedback controllers for an autonomous agent operating in a highly nonlinear (albeit deterministic) environment. We desire…