### D.11.2 control_lib

Library:
  control.lib
Purpose:
  Algebraic analysis tools for System and Control Theory

Authors:
  Oleksandr Iena, yena@mathematik.uni-kl.de
  Markus Becker, mbecker@mathematik.uni-kl.de
  Viktor Levandovskyy, levandov@mathematik.uni-kl.de

Support:
  Forschungsschwerpunkt 'Mathematik und Praxis' (Project of Dr. E. Zerz and V. Levandovskyy), University of Kaiserslautern

Procedures:

> D.11.2.1 control |  | analysis of controllability-related properties of R (using Ext modules)
> D.11.2.2 controlDim |  | analysis of controllability-related properties of R (using dimension)
> D.11.2.3 autonom |  | analysis of autonomy-related properties of R (using Ext modules)
> D.11.2.4 autonomDim |  | analysis of autonomy-related properties of R (using dimension)
> D.11.2.5 leftKernel |  | a left kernel of R
> D.11.2.6 rightKernel |  | a right kernel of R
> D.11.2.7 leftInverse |  | a left inverse of R
> D.11.2.8 rightInverse |  | a right inverse of R
> D.11.2.9 colrank |  | a column rank of M as of matrix
> D.11.2.10 genericity |  | analysis of the genericity of parameters
> D.11.2.11 canonize |  | Groebnerification for modules in the output of control or autonomy procs
> D.11.2.12 iostruct |  | computes an IO-structure of behavior given by a module R
> D.11.2.13 findTorsion |  | generators of the submodule of a module R, annihilated by the ideal I
> D.11.2.14 controlExample |  | set up an example from the mini database inside of the library
> D.11.2.15 view |  | well-formatted output of lists, modules and matrices

User manual for Singular version 4.4.1, 2025, generated by texi2html.