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…