Skip to content

Linear Control Theory

← Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Linear Control Theory.

  • Hautus lemma — A rank-test lemma characterizing controllability, observability, stabilizability, and detectability of linear time-invariant state-space systems at eigenvalues.