20 citations · 22 across the 4 of their papers we have counts for
5 papers
Learning nonlinear hybrid automata from input--output time-series data
Amit Gurung, Masaki Waga, Kohei Suenaga
Learning an automaton that approximates the behavior of a black-box system is a long-studied problem. Besides its theoretical significance, its application to search-based testing…
Simultaneous Solving of Batched Linear Programs on a GPU
Amit Gurung, Rajarshi Ray
Linear Programs (LPs) appear in a large number of applications and offloading them to a GPU is viable to gain performance. Existing work on offloading and solving an LP on a GPU su…
An Efficient Algorithm for Vertex Enumeration of Two-Dimensional Projection of Polytopes
Amit Gurung, Rajarshi Ray
An efficient algorithm to enumerate the vertices of a two-dimensional (2D) projection of a polytope, is presented in this paper. The proposed algorithm uses the support function of…
Solving Batched Linear Programs on GPU and Multicore CPU
Amit Gurung, Rajarshi Ray
Linear Programs (LPs) appear in a large number of applications and offloading them to the GPU is viable to gain performance. Existing work on offloading and solving an LP on GPU su…
Parallel Reachability Analysis for Hybrid Systems
Amit Gurung, Arup Deka, Ezio Bartocci +3
We propose two parallel state-space exploration algorithms for hybrid systems with the goal of enhancing performance on multi-core shared memory systems. The first is an adaption o…