1 citations · 1 across the 4 of their papers we have counts for
5 papers
BDD for Complete Characterization of a Safety Violation in Linear Systems with Inputs
Manish Goyal, David Bergman, Parasara Sridhar Duggirala
The control design tools for linear systems typically involves pole placement and computing Lyapunov functions which are useful for ensuring stability. But given higher requirement…
NExG: Provable and Guided State Space Exploration of Neural Network Control Systems using Sensitivity Approximation
Manish Goyal, Miheer Dewaskar, Parasara Sridhar Duggirala
We propose a new technique for performing state space exploration of closed loop control systems with neural network feedback controllers. Our approach involves approximating the s…
Direct Construction of Program Alignment Automata for Equivalence Checking
Manish Goyal, Muqsit Azeem, Kumar Madhukar +1
The problem of checking whether two programs are semantically equivalent or not has a diverse range of applications, and is consequently of substantial importance. There are severa…
Safety and progress proofs for a reactive planner and controller for autonomous driving
Abolfazl Karimi, Manish Goyal, Parasara Sridhar Duggirala
In this paper, we perform safety and performance analysis of an autonomous vehicle that implements reactive planner and controller for navigating a race lap. Unlike traditional pla…
NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks
Manish Goyal, Parasara Sridhar Duggirala
In this paper, we propose a framework for performing state space exploration of closed loop control systems. Our approach involves approximating sensitivity and a newly introduced…