38 citations · 102 across the 16 of their papers we have counts for
6 papers · 1 filter
Exact and Efficient Hamilton-Jacobi-based Guaranteed Safety Analysis via System Decomposition
Mo Chen, Sylvia Herbert, Claire J. Tomlin
Hamilton-Jacobi (HJ) reachability is a method that provides rigorous analyses of the safety properties of dynamical systems. This method has been successfully applied to many low-d…
Reach-Avoid Problems with Time-Varying Dynamics, Targets and Constraints
Jaime F. Fisac, Mo Chen, Claire J. Tomlin +1
We consider a reach-avoid differential game, in which one of the players aims to steer the system into a target set without violating a set of state constraints, while the other pl…
Risk-Limiting Dynamic Contracts for Direct Load Control
Insoon Yang, Duncan S. Callaway, Claire J. Tomlin
This paper proposes a novel continuous-time dynamic contract framework that has a risk-limiting capability. If a principal and an agent enter into such a contract, the principal ca…
Path integral formulation of stochastic optimal control with generalized costs
Insoon Yang, Matthias Morzfeld, Claire J. Tomlin +1
Path integral control solves a class of stochastic optimal control problems with a Monte Carlo (MC) method for an associated Hamilton-Jacobi-Bellman (HJB) equation. The MC approach…
Practical Comparison of Optimization Algorithms for Learning-Based MPC with Linear Models
Anil Aswani, Patrick Bouffard, Xiaojing Zhang +1
Learning-based control methods are an attractive approach for addressing performance and efficiency challenges in robotics and automation systems. One such technique that has found…
Dynamic Contracts with Partial Observations: Application to Indirect Load Control
Insoon Yang, Duncan S. Callaway, Claire J. Tomlin
This paper proposes a method to design an optimal dynamic contract between a principal and an agent, who has the authority to control both the principal's revenue and an engineered…