Baisravan HomChaudhuri

University of New Mexico, Dynamic Systems (United States), University of Cincinnati

Papers

Total Citations

H-Index

About

Baisravan HomChaudhuri is a researcher whose work bridges the critical intersection of formal verification, stochastic control, and multi-agent robotics. His primary research areas include stochastic reachability analysis, safe motion planning, and cooperative control of robotic swarms. HomChaudhuri’s most significant contributions lie in developing scalable, mathematically rigorous methods for analyzing the safety and performance of dynamic systems under uncertainty. His highly cited 2017 paper, "Forward Stochastic Reachability Analysis for Uncontrolled Linear Systems using Fourier Transforms," introduced a novel, computationally efficient technique to compute forward stochastic reach probability measures and sets, directly addressing the scalability challenges in formal verification. This work, with 43 citations, has provided a foundational tool for ensuring safety in stochastic environments. Further demonstrating his impact, his 2019 study on "Safety, Challenges, and Performance of Motion Planners in Dynamic Environments" (28 citations) critically evaluates the practical limitations of existing planners. HomChaudhuri has also explored the frontiers of networked robotics, as seen in his work on robot swarming over the Internet, and has applied fuzzy logic to multi-agent exploration problems. Through his research, HomChaudhuri has advanced the theoretical and practical tools needed to guarantee safety and performance in complex, uncertain, and distributed robotic systems.