arXiv subjects

Sandeep Gupta

Publications and source records attributed to Sandeep Gupta.

28 records · Page 2Linked to original sources

arXiv2023

Detection of Unknown-Unknowns in Human-in-Plant Human-in-Loop Systems Using Physics Guided Process Models

Unknown-unknowns are operational scenarios in systems that are not accounted for in the design and test phase. In such scenarios, the operational behavior of the Human-in-loop (HIL) Human-in-Plant (HIP) systems is not guaranteed to meet requirements such as safety and efficacy. We propose a novel framework for analyzing the operational output characteristics of safety-critical HIL-HIP systems that can discover unknown-unknown scenarios and evaluate potential safety hazards. We propose dynamics-induced hybrid recurrent neural networks (DiH-RNN) to mine a physics-guided surrogate model (PGSM) that checks for deviation of the cyber-physical system (CPS) from safety-certified operational characteristics. The PGSM enables early detection of unknown-unknowns based on the physical laws governing the system. We demonstrate the detection of operational changes in an Artificial Pancreas(AP) due to unknown insulin cartridge errors.

cs.AI↗

arXiv2021

Development of Diagnostics for High-Temperature High-Pressure Liquid Pb-16Li Applications

Liquid lead-lithium (Pb-16Li) is of primary interest as one of the candidate materials for tritium breeder, neutron multiplier and coolant fluid in liquid metal blanket concepts relevant to fusion power plants. For an effective and reliable operation of such high temperature liquid metal systems, monitoring and control of critical process parameters is essential. However, limited operational experience coupled with high temperature operating conditions and corrosive nature of Pb-16Li severely limits application of commercially available diagnostic tools. This paper illustrates indigenous calibration test facility designs and experimental methods used to develop non-contact configuration level diagnostics using pulse radar level sensor, wetted configuration pressure diagnostics using diaphragm seal type pressure sensor and bulk temperature diagnostics with temperature profiling for high temperature, high pressure liquid Pb and Pb-16Li applications. Calibration check of these sensors was performed using analytical methods, at temperature between 380C-400C and pressure upto 1 MPa (g). Reliability and performance validation were achieved through long duration testing of sensors in liquid Pb and liquid Pb-16Li environment for over 1000 hour. Estimated deviation for radar level sensor lies within [-3.36 mm, +13.64 mm] and the estimated error for pressure sensor lies within 1.1% of calibrated span over the entire test duration. Results obtained and critical observations from these tests are presented in this paper.

physics.ins-det↗

arXiv2019

Profiling minisat based on user defined execution time -- GPROF

This paper focuses on the explanation of the architecture of profilers particularly gprof and how to profile a program according to the user defined input of execution time . Gprof is a profiler available open source in the package of binutils. Gprof records the flow of the program including the callee and caller information and their respective execution time. This information is represented in the form of a call graph. Profilers at the time of execution creates a call graph file which indicates the full flow of the program including the individual execution time as well. This paper aims at providing a better understanding of the data structure used to store the information and how is a profiler(gprof) actually using this data structure to give user a readable format. The next section of this paper solves one of the limitation of gprof i.e. edit the time of block of code without understanding the call graph. Any changes in the execution time of a particular block of code would affect the total execution time. So if we edit the gprof in such a way that its consistent and platform independent, then it can yield various results like testing execution time after parallelism, before even designing it by replacing the values with theoretical/emulated ones and see if the total execution time is getting reduced by a desired number or not? Gprof edit can help us figure out that what section of code can be parallelized or which part of code is taking the most time and which call or part can be changed to reduce the execution time. The last section of the paper walks through the application of gprof in minisat and how gprof helps in the hardware acceleration in minisat by suggesting which part to be parallelised and how does it affect the total percentage.

cs.PL↗

arXiv2014

Citations, Sequence Alignments, Contagion, and Semantics: On Acyclic Structures and their Randomness

Datasets from several domains, such as life-sciences, semantic web, machine learning, natural language processing, etc. are naturally structured as acyclic graphs. These datasets, particularly those in bio-informatics and computational epidemiology, have grown tremendously over the last decade or so. Increasingly, as a consequence, there is a need to build and evaluate various strategies for processing acyclic structured graphs. Most of the proposed research models the real world acyclic structures as random graphs, i.e., they are generated by randomly selecting a subset of edges from all possible edges. Unfortunately the graphs thus generated have predictable and degenerate structures, i.e., the resulting graphs will always have almost the same degree distribution and very short paths. Specifically, we show that if $O(n \log n \log n)$ edges are added to a binary tree of $n$ nodes then with probability more than $O(1/(\log n)^{1/n})$ the depth of all but $O({\log \log n} ^{\log \log n})$ vertices of the dag collapses to 1. Experiments show that irregularity, as measured by distribution of length of random walks from root to leaves, is also predictable and small. The degree distribution and random walk length properties of real world graphs from these domains are significantly different from random graphs of similar vertex and edge size.

cs.DM↗

arXiv2012

Pipelined Workflow in Hybrid MPI/Pthread runtime for External Memory Graph Construction

Graph construction from a given set of edges is a data-intensive operator that appears in social network analysis, ontology enabled databases, and, other analytics processing. The operator represents an edge list to compressed sparse row (CSR) representation (or sometimes in adjacency list, or as clustered B-Tree storage). In this work, we show how to scale CSR construction to massive scale on SSD-enabled supercomputers such as Gordon using pipelined processing. We develop several abstraction and operations for external memory and parallel edge list and integer array processing that are utilized towards building a scalable algorithm for creating CSR representation. Our experiments demonstrate that this scheme is four to six times faster than currently available implementation. Moreover, our scheme can handle up to 8 billion edges (128GB) by using external memory as compared to prior schemes where performance degrades considerably for edge list size 26 million and beyond.

cs.DB↗

arXiv2012

External Memory based Distributed Generation of Massive Scale Social Networks on Small Clusters

Small distributed systems are limited by their main memory to generate massively large graphs. Trivial extension to current graph generators to utilize external memory leads to large amount of random I/O hence do not scale with size. In this work we offer a technique to generate massive scale graphs on small cluster of compute nodes with limited main memory. We develop several distributed and external memory algorithms, primarily, shuffle, relabel, redistribute, and, compressed-sparse-row (csr) convert. The algorithms are implemented in MPI/pthread model to help parallelize the operations across multicores within each core. Using our scheme it is feasible to generate a graph of size $2^{38}$ nodes (scale 38) using only 64 compute nodes. This can be compared with the current scheme would require at least 8192 compute node, assuming 64GB of main memory. Our work has broader implications for external memory graph libraries such as STXXL and graph processing on SSD-based supercomputers such as Dash and Gordon [1][2].

cs.DB↗

arXiv2012

Lower bounds for Arrangement-based Range-Free Localization in Sensor Networks

Colander are location aware entities that collaborate to determine approximate location of mobile or static objects when beacons from an object are received by all colanders that are within its distance $R$. This model, referred to as arrangement-based localization, does not require distance estimation between entities, which has been shown to be highly erroneous in practice. Colander are applicable in localization in sensor networks and tracking of mobile objects. A set $S \subset {\mathbb R}^2$ is an $(R,ε)$-colander if by placing receivers at the points of $S$, a wireless device with transmission radius $R$ can be localized to within a circle of radius $ε$. We present tight upper and lower bounds on the size of $(R,ε)$-colanders. We measure the expected size of colanders that will form $(R, ε)$-colanders if they distributed uniformly over the plane.

cs.CG↗

arXiv2002

The STRESS Method for Boundary-point Performance Analysis of End-to-end Multicast Timer-Suppression Mechanisms

Evaluation of Internet protocols usually uses random scenarios or scenarios based on designers' intuition. Such approach may be useful for average-case analysis but does not cover boundary-point (worst or best-case) scenarios. To synthesize boundary-point scenarios a more systematic approach is needed.In this paper, we present a method for automatic synthesis of worst and best case scenarios for protocol boundary-point evaluation. Our method uses a fault-oriented test generation (FOTG) algorithm for searching the protocol and system state space to synthesize these scenarios. The algorithm is based on a global finite state machine (FSM) model. We extend the algorithm with timing semantics to handle end-to-end delays and address performance criteria. We introduce the notion of a virtual LAN to represent delays of the underlying multicast distribution tree. The algorithms used in our method utilize implicit backward search using branch and bound techniques and start from given target events. This aims to reduce the search complexity drastically. As a case study, we use our method to evaluate variants of the timer suppression mechanism, used in various multicast protocols, with respect to two performance criteria: overhead of response messages and response time. Simulation results for reliable multicast protocols show that our method provides a scalable way for synthesizing worst-case scenarios automatically. Results obtained using stress scenarios differ dramatically from those obtained through average-case analyses. We hope for our method to serve as a model for applying systematic scenario generation to other multicast protocols.

cs.NI↗

arXiv2000

Systematic Testing of Multicast Routing Protocols: Analysis of Forward and Backward Search Techniques

In this paper, we present a new methodology for developing systematic and automatic test generation algorithms for multipoint protocols. These algorithms attempt to synthesize network topologies and sequences of events that stress the protocol's correctness or performance. This problem can be viewed as a domain-specific search problem that suffers from the state space explosion problem. One goal of this work is to circumvent the state space explosion problem utilizing knowledge of network and fault modeling, and multipoint protocols. The two approaches investigated in this study are based on forward and backward search techniques. We use an extended finite state machine (FSM) model of the protocol. The first algorithm uses forward search to perform reduced reachability analysis. Using domain-specific information for multicast routing over LANs, the algorithm complexity is reduced from exponential to polynomial in the number of routers. This approach, however, does not fully automate topology synthesis. The second algorithm, the fault-oriented test generation, uses backward search for topology synthesis and uses backtracking to generate event sequences instead of searching forward from initial states. Using these algorithms, we have conducted studies for correctness of the multicast routing protocol PIM. We propose to extend these algorithms to study end-to-end multipoint protocols using a virtual LAN that represents delays of the underlying multicast distribution tree.

cs.NI↗

arXiv2000

Systematic Performance Evaluation of Multipoint Protocols

The advent of multipoint (multicast-based) applications and the growth and complexity of the Internet has complicated network protocol design and evaluation. In this paper, we present a method for automatic synthesis of worst and best case scenarios for multipoint protocol performance evaluation. Our method uses a fault-oriented test generation (FOTG) algorithm for searching the protocol and system state space to synthesize these scenarios. The algorithm is based on a global finite state machine (FSM) model. We extend the algorithm with timing semantics to handle end-to-end delays and address performance criteria. We introduce the notion of a virtual LAN to represent delays of the underlying multicast distribution tree. As a case study, we use our method to evaluate variants of the timer suppression mechanism, used in various multipoint protocols, with respect to two performance criteria: overhead of response messages and response time. Simulation results for reliable multicast protocols show that our method provides a scalable way for synthesizing worst-case scenarios automatically. We expect our method to serve as a model for applying systematic scenario generation to other multipoint protocols.

cs.NI↗