Stochastic Reachability Toolbox for MATLAB | SReachTools
Description: Abraham P. Vinod's website
My research dream is to enable autonomy for physical systems — the autonomous agent must provide verifiable guarantees of performance in the presence of uncertainties and limitations on data availability . These agents must also interact with other agents and humans present in the environment effectively. Addressing these challenges with tractable approaches is crucial for safe deployment of autonomy. My research work uses optimization , control theory , and learning to achieve this goal.
Before joining MERL, I was a Postdoctoral Research Fellow, working with Dr. Ufuk Topcu at the University of Texas at Austin , where I investigated data-driven control for autonomy. I received my PhD in Engineering (Systems and Control) at the University of New Mexico , with Dr. Meeko Oishi as my PhD advisor. My PhD work focused on theory and scalable algorithms for probabilistic safety and stochastic optimal control design under constraints . Along with J. Gleason , I have implemented a significant part of
My research has received various recognitions:
Stochastic Reachability Toolbox for MATLAB | SReachTools