Verify - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Microsoft Edge.

# Online Help

###### All Products    Maple    MapleSim

DynamicSystems

 Verify
 verify the content of a system object

 Calling Sequence Verify(sys)

Parameters

 sys - System; system object to verify

Description

 • 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.

Verification Criteria

For a system to be verified, it must meet the following criteria.

 • It must be a module.
 • It must have the exports common to all the system types.
 • It must have the Matrix exports specific to its type.
 • The Matrix exports must have compatible dimensions and correspond to the number of input, output, and, possibly, state variables.
 • The Matrix elements must be of the appropriate type and correspond to a valid linear system.

Examples

 > $\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\left(s\right); 1 input\left(s\right)}}\\ {\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$ (1)
 > $\mathrm{Verify}\left(\mathrm{sys}\right)$

Make the transfer function an expression that is not a rational polynomial in s.

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

 See Also