I
Indranil Saha
Researcher at Indian Institute of Technology Kanpur
Publications - 89
Citations - 1772
Indranil Saha is an academic researcher from Indian Institute of Technology Kanpur. The author has contributed to research in topics: Control system & Computer science. The author has an hindex of 19, co-authored 66 publications receiving 1572 citations. Previous affiliations of Indranil Saha include Indian Institutes of Technology & Honeywell.
Papers
More filters
Journal ArticleDOI
Artificial neural networks in hardware: A survey of two decades of progress
Janardan Misra,Indranil Saha +1 more
TL;DR: This article presents a comprehensive overview of the hardware realizations of artificial neural network models, known as hardware neural networks (HNN), appearing in academic studies as prototypes as well as in commercial use.
Proceedings ArticleDOI
Automated composition of motion primitives for multi-robot systems from safe LTL specifications
TL;DR: This work presents a compositional motion planning framework for multi-robot systems based on an encoding to satisfiability modulo theories (SMT) based on a library of motion primitives that corresponds to a controller that ensures a particular trajectory in a given configuration.
Proceedings ArticleDOI
DRONA: a framework for safe distributed mobile robotics
TL;DR: This paper presents a novel and provably correct decentralized asynchronous motion planner that can perform on-the-fly collision-free planning for dynamically generated tasks and formalizes the DMR system as a mixed-synchronous system.
Proceedings ArticleDOI
Automatic verification of control system implementations
TL;DR: A methodology and a tool to perform automated static analysis of embedded controller code for stability of the controlled physical system and combines analysis of the mathematical controller models and automated analysis of source code to guarantee application-level stability properties.
Proceedings ArticleDOI
Symbolic Robustness Analysis
Rupak Majumdar,Indranil Saha +1 more
TL;DR: An algorithm and a tool are presented to characterize the robustness of a control software implementation, based on symbolic execution and non-linear optimization, and computes the maximum difference in program outputs over all program paths when a program input is perturbed.