1 citations · 1 across the 3 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2023
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…
eess.SY2020
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…