• Publications
  • Influence
Visibility-Based Pursuit-Evasion in a Polygonal Environment
This paper addresses the problem of planning the motion of one or more pursuers in a polygonal environment to eventually “see” an evader that is unpredictable, has unknown initial position, and isExpand
A Visibility-Based Pursuit-Evasion Problem
This paper addresses the problem of planning the motion of one or more pursuers in a polygonal environment to eventually "see" an evader that is unpredictable, has unknown initial position, and isExpand
Finding an unpredictable target in a workspace with obstacles
This paper introduces a visibility-based motion planning problem in which the task is to coordinate the motions of one or more robots that have omnidirectional vision sensors, to eventually "see" aExpand
QED: Quick Error Detection tests for effective post-silicon validation
TLDR
This paper presents a new technique called Quick Error Detection (QED), which transforms existing post-silicon validation tests into new validation tests that significantly reduce error detection latency and improves coverage by detecting errors that escape the original non-QED tests. Expand
Sweeping simple polygons with a chain of guards
TLDR
The notion of the “link width” of a polygon, which is a key component of the O(n log n)-time approximation algorithm, is introduced, which may have independent interest, as it captures important structural properties of simple polygons. Expand
Quick detection of difficult bugs for effective post-silicon validation
TLDR
An important feature of this technique is its software-only implementation without any hardware modification, which makes it readily applicable to existing designs and enables 2-fold increase in bug coverage. Expand
Effective Post-Silicon Validation of System-on-Chips Using Quick Error Detection
TLDR
Results demonstrate that QED shortens error detection latencies by up to nine orders of magnitude to only a few hundred cycles for most bug scenarios, and enables up to a fourfold increase in bug coverage. Expand
Hybrid Quick Error Detection (H-QED): Accelerator validation and debug using high-level synthesis principles
TLDR
The Hybrid Quick Error Detection (H-QED) approach is presented that overcomes post-silicon validation and debug challenges for hardware accelerators by leveraging HLS techniques and incurs less than 2% chip-level area overhead with negligible performance impact. Expand
Quick error detection tests with fast runtimes for effective post-silicon validation and debug
TLDR
This work presents a new technique called Fast QED, which improves error detection latencies by up to 5 orders of magnitude compared to non-QED tests, and also achieves improved error Detection latencies compared to software-only QED. Expand
Motion Planning with Visibility Constraints: Building Autonomous Observers
TLDR
The concept of an Autonomous Observer and its applications are presented and three problems in motion planning with visibility constraints are discussed: model building, target finding, and target tracking. Expand
...
1
2
...