Results for "Divyesh Surana"

total 15took 0.03s
Two-step Constructive Approaches for Dungeon GenerationJun 11 2019This paper presents a two-step generative approach for creating dungeons in the rogue-like puzzle game MiniDungeons 2. Generation is split into two steps, initially producing the architectural layout of the level as its walls and floor tiles, and then ... More
Verifying Array Manipulating Programs by TilingJul 12 2017Oct 04 2017Formally verifying properties of programs that manipulate arrays in loops is computationally challenging. In this paper, we focus on a useful class of such programs, and present a novel property-driven verification method that first infers array access ... More
Eye-Tracking Metrics for Task-Based Supervisory ControlJun 05 2015Task-based, rather than vehicle-based, control architectures have been shown to provide superior performance in certain human supervisory control missions. These results motivate the need for the development of robust, reliable usability metrics to aid ... More
Iterative Methods for Scalable Uncertainty Quantification in Complex NetworksOct 11 2011In this paper we address the problem of uncertainty management for robust design, and verification of large dynamic networks whose performance is affected by an equally large number of uncertain parameters. Many such networks (e.g. power, thermal and ... More
Assessment of Faster R-CNN in Man-Machine collaborative searchApr 04 2019With the advent of modern expert systems driven by deep learning that supplement human experts (e.g. radiologists, dermatologists, surveillance scanners), we analyze how and when do such expert systems enhance human performance in a fine-grained small ... More
A Chaotic Dynamical System that PaintsApr 08 2015Can a dynamical system paint masterpieces such as Da Vinci's Mona Lisa or Monet's Water Lilies? Moreover, can this dynamical system be chaotic in the sense that although the trajectories are sensitive to initial conditions, the same painting is created ... More
Asynchronous and Dynamic Coverage Control Scheme for Persistent Surveillance MissionsSep 17 2016A decomposition-based coverage control scheme is proposed for multi-agent, persistent surveillance missions operating in a communication-constrained, dynamic environment. The proposed approach decouples high-level task assignment from low-level motion ... More
Asynchronous and Dynamic Coverage Control Scheme for Persistent Surveillance MissionsSep 17 2016Feb 15 2017A decomposition-based coverage control scheme is proposed for multi-agent, persistent surveillance missions operating in a communication-constrained, dynamic environment. The proposed approach decouples high-level task assignment from low-level motion ... More
Multilinear Time Invariant System TheoryMay 17 2019In biological and engineering systems, structure, function and dynamics are highly coupled. Such interactions can be naturally and compactly captured via tensor based state space dynamic representations. However, such representations are not amenable ... More
Multilinear Time Invariant Systems TheoryMay 21 2019In this paper, we provide a system theoretic treatment of a new class of multilinear time invariant (MLTI) systems in which the states, inputs and outputs are tensors, and the system evolution is governed by multilinear operators. The MLTI system representation ... More
Mixed Human-Robot Team SurveillanceNov 12 2013We study the mixed human-robot team design in a system theoretic setting using the context of a surveillance mission. The three key coupled components of a mixed team design are (i) policies for the human operator, (ii) policies to account for erroneous ... More
Universal and Composite Hypothesis Testing via Mismatched DivergenceSep 11 2009Sep 09 2010For the universal hypothesis testing problem, where the goal is to decide between the known null hypothesis distribution and some other unknown distribution, Hoeffding proposed a universal test in the nineteen sixties. Hoeffding's universal test statistic ... More
UAV Surveillance Under Visibility and Dwell-Time Constraints: A Sampling-Based ApproachAug 08 2019A framework is introduced for planning unmanned aerial vehicle flight paths for visual surveillance of ground targets, each having particular viewing requirements. Specifically, each target is associated with a set of imaging parameters, including a desired ... More
Attention Allocation Aid for Visual SearchJan 14 2017This paper outlines the development and testing of a novel, feedback-enabled attention allocation aid (AAAD), which uses real-time physiological data to improve human performance in a realistic sequential visual search task. Indeed, by optimizing over ... More
Scalable Approach to Uncertainty Quantification and Robust Design of Interconnected Dynamical SystemsMar 03 2011Development of robust dynamical systems and networks such as autonomous aircraft systems capable of accomplishing complex missions faces challenges due to the dynamically evolving uncertainties coming from model uncertainties, necessity to operate in ... More