Subhrajit Bhattacharya

Learn More
This paper presents a new method, based on Markov chain analysis, to evaluate the performance of schedules of behavioral specifications. The proposed performance measure is the expected number of clock cycles required by the schedule for a complete execution of the behavioral specification for any distribution of inputs. The measure considers both the(More)
compute chip: Memory and Ethernet subsystem M. Ohmacht R. A. Bergamaschi S. Bhattacharya A. Gara M. E. Giampapa B. Gopalsamy R. A. Haring D. Hoenicke D. J. Krolak J. A. Marcella B. J. Nathanson V. Salapura M. E. Wazlowski The Blue Genet/L compute chip is a dual-processor system-on-a-chip capable of delivering an arithmetic peak performance of 5.6 gigaflops.(More)
Genetic linkage, genome mismatch scanning, and analysis of patients with alterations of chromosome 6 have indicated that a major locus for development of the anterior segment of the eye, IRID1, is located at 6p25. Abnormalities of this locus lead to glaucoma. FKHL7 (also called "FREAC3"), a member of the forkhead/winged-helix transcription-factor family,(More)
There are many applications in motion planning where it is important to consider and distinguish between different topological classes of trajectories. The two important, but related, topological concepts for classifying manifolds that are of importance to us are those of homotopy and homology. In this paper we consider the problem of robot exploration and(More)
The DPC algorithm developed in our previous work is an efficient way of computing optimal trajectories for multiple robots in a distributed fashion with time-parameterized constraints on the distances between pairs of robots. In the present work we extend DPC to the problem of multiple task execution. While this extended problem inherits all the objectives,(More)
Epilepsy and intellectual disability are associated with rare variants in the GluN2A and GluN2B (encoded by GRIN2A and GRIN2B) subunits of the N-methyl-D-aspartate receptor (NMDAR), a ligand-gated ion channel with essential roles in brain development and function. By assessing genetic variation across GluN2 domains, we determined that the agonist binding(More)
This paper presents H-SCAN, a practical testing methodology that can be easily applied to a high-level design specification. H-SCAN allows the use of combinational test patterns without the high area and test application time overheads associated with full-scan testing. Connectivities between registers existing in an RT-level design are exploited to reduce(More)
We consider the problem of multi-robot exploration and coverage in unknown non-convex environments. The contributions of the work include (1) the presentation of a distributed algorithm that computes the generalized Voronoi tessellation of non-convex environments (using a discrete representation) in real-time for use in feedback control laws; and (2) the(More)
We present a search-based planning approach for controlling a quadrupedal robot over rough terrain. Given a start and goal position, we consider the problem of generating a complete joint trajectory that will result in the legged robot successfully moving from the start to the goal. We decompose the problem into two main phases: an initial global planning(More)