no code implementations • 26 Nov 2023 • Manish Goyal, David Bergman, Parasara Sridhar Duggirala
But given higher requirements on control design, a designer is expected to satisfy other specification such as safety or temporal logic specification as well, and a naive control design might not satisfy such specification.
no code implementations • 8 Jul 2022 • 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.
no code implementations • 16 Sep 2021 • Bineet Ghosh, Parasara Sridhar Duggirala
In this paper, we provide two different techniques to compute statistical approximate reachable set.
no code implementations • 16 Sep 2021 • Bineet Ghosh, Parasara Sridhar Duggirala
To the best of the authors' knowledge, this is the first work to: (i) extend perturbation theory to compute reachable sets of linear uncertain systems, (ii) leverage the relationship between the reachable set of a linear system and the maximum singular values to determine the effect of uncertainties and (3) estimate the threshold of robustness that can be tolerated by the system while remaining safe.
no code implementations • 25 May 2021 • Edward Kim, Stanley Bak, Parasara Sridhar Duggirala
To this end, we investigate two techniques for generating the template directions.
no code implementations • 3 May 2021 • Stanley Bak, Sergiy Bogomolov, Parasara Sridhar Duggirala, Adam R. Gerlach, Kostiantyn Potomkin
Reachability analysis of nonlinear dynamical systems is a challenging and computationally expensive task.