collaborators

6 papers

eess.SY2026

Robust Direct Data-Driven Hamiltonian for Safe Set Computation under Measurement Noise and Disturbances

Mohammad Bajelani, Christopher A. Strong, Claire J. Tomlin +2

Safe set computation is a fundamental challenge in safety-critical control systems, especially in direct data-driven settings where safety analysis is performed directly from noise…

eess.SY2026

A Forward Reachability Perspective on Control Barrier Functions and Discount Factors in Reachability Analysis

Jason J. Choi, Donggun Lee, Boyang Li +4

Control invariant sets are crucial for various methods that aim to design safe control policies for systems whose state constraints must be satisfied over an indefinite time horizo…

cs.RO2025

Whole-Body Bilateral Teleoperation with Multi-Stage Object Parameter Estimation for Wheeled Humanoid Locomanipulation

Donghoon Baek, Amartya Purushottam, Jason J. Choi +1

This paper presents an object-aware whole-body bilateral teleoperation framework for wheeled humanoid loco-manipulation. This framework combines whole-body bilateral teleoperation…

eess.SY2025

When are safety filters safe? On minimum phase conditions of control barrier functions

Jason J. Choi, Claire J. Tomlin, Shankar Sastry +1

In emerging control applications involving multiple and complex tasks, safety filters are gaining prominence as a modular approach to enforcing safety constraints. Among various me…

cs.RO2025

Resolving Conflicting Constraints in Multi-Agent Reinforcement Learning with Layered Safety

Jason J. Choi, Jasmine Jerry Aloor, Jingqi Li +3

Preventing collisions in multi-robot navigation is crucial for deployment. This requirement hinders the use of learning-based approaches, such as multi-agent reinforcement learning…

eess.SY2025

Data-Driven Hamiltonian for Direct Construction of Safe Set from Trajectory Data

Jason J. Choi, Christopher A. Strong, Koushil Sreenath +2

In continuous-time optimal control, evaluating the Hamiltonian requires solving a constrained optimization problem using the system's dynamics model. Hamilton-Jacobi reachability a…