The Verify command checks the validity of sys, a linear system object.

If the system object is verified, the procedure returns NULL. Otherwise an error message describing the problem is displayed. For some problems, a warning rather than an error is generated.

$\mathrm{with}\left(\mathrm{DynamicSystems}\right)\:$

$\mathrm{sys}≔\mathrm{NewSystem}\left(\frac{a}{s+b}\right)\:$

$\mathrm{PrintSystem}\left(\mathrm{sys}\right)$

$\left[\begin{array}{l}\mathbf{Transfer\; Function}\\ \mathrm{continuous}\\ \mathrm{1\; output(s);\; 1\; input(s)}\\ \mathrm{inputvariable}\=\left[\mathrm{u1}\left(s\right)\right]\\ \mathrm{outputvariable}\=\left[\mathrm{y1}\left(s\right)\right]\\ {\mathrm{tf}}_{1,1}\=\frac{a}{s+b}\end{array}\right.$

$\mathrm{Verify}\left(\mathrm{sys}\right)$

$\mathrm{sys}:-\mathrm{tf}\left[\left[1\,1\right]\right]≔\frac{\exp \left(s\right)}{s^3+5s^2+7s+6}$

${\mathrm{tf}}_{\left[1\,1\right]}≔\frac{{\ⅇ}^s}{s^3+5s^2+7s+6}$

$\mathrm{Verify}\left(\mathrm{sys}\right)$