ControllableModelQ

ControllableModelQ[sys]
yields True if the state-space model sys is controllable, and False otherwise.

ControllableModelQ[{sys,sub}]
yields True if the subsystem sub is controllable.

Details and OptionsDetails and Options

  • ControllableModelQ is also known as a reachable model.
  • A state-space model is said to be controllable if for any initial state and any final state there exists some control input that drives the state from to in finite time.
  • The system sys can be a standard or descriptor StateSpaceModel or AffineStateSpaceModel.
  • The following subsystems sub can be specified: »
  • Allwhole system
    "Fast"fast subsystem
    "Slow"slow subsystem
    {λ1,}subsystem with eigenmodes
  • The and subsystems primarily apply to descriptor state-space models as described in KroneckerModelDecomposition.
  • The eigenmodes are described in JordanModelDecomposition.
  • ControllableModelQ accepts a Method option with the following settings:
  • Automaticautomatically choose the appropriate test
    "Distribution"test if the controllability distribution has full rank
    "Gramian"test if the controllability Gramian is positive definite
    "Matrix"test if the controllability matrix has full rank
    "PBH"use the PopovBelevitchHautus rank test
Introduced in 2010
(8.0)
| Updated in 2014
(10.0)