Text this: The algoritms of determination of structural invariants of causality, controllability, reachability, observebility and restorability for controlled inputoutput dynamic systems