On the decomposition of two-dimensional behaviors
In the paper, a decomposition theorem for autonomous two-dimensional (2D) behaviors, stating that every such behavior can be expressed as the sum of a (uniquely determined) square autonomous behavior and of some finite dimensional autonomous behavior, is introduced. As a result, the well-known decomposition theorem for general complete 2D behaviors [4] can be further investigated, thus leading to a more detailed analysis of the properties of the admissible decompositions.
autonomous controllable behaviors square/finite dimensional autonomous behaviors characteristic cones laurent varieties