Login / Signup

BDD for Complete Characterization of a Safety Violation in Linear Systems with Inputs.

Manish GoyalDavid BergmanParasara Sridhar Duggirala
Published in: CoRR (2023)
Keyphrases
  • linear systems
  • sufficient conditions
  • dynamical systems
  • linear equations
  • numerical solution
  • coefficient matrix
  • sparse linear systems
  • genetic algorithm
  • boolean functions