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.
