Jahid Chowdhury Choton

2 accepted papers

2024

Safety Verification of Closed-loop Control System with Anytime Perception

Lipsy Gupta, Jahid Chowdhury Choton, Pavithra Prabhakar

ICRA 2024poster

In this paper, we consider the problem of safety analysis of a closed-loop control system with anytime perception sensor. We formalize the framework and present a general procedure for safety analysis using reachable set computation. We instantiate the procedure for two concrete classes, namely, the…

Cited by 0 Source ↗Scholar ↗

2023

Optimal Multi-Robot Coverage Path Planning for Agricultural Fields using Motion Dynamics

Jahid Chowdhury Choton, Pavithra Prabhakar

ICRA 2023poster

Coverage path planning (CPP) is the task of computing an optimal path within a region to completely scan or survey the area of interest by using robotic sensor footprints. In this work, we propose a novel approach to find the multi-robot optimal coverage path of an agricultural field using motion dy…

Cited by 11 Source ↗Scholar ↗