Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Necessary and Sufficient Conditions for Difference Flatness   We show that the flatness of a nonlinear discrete-time system can be checked
by computing a unique sequence of involutive distributions. The well-known test
for static feedback linearizability is included as a special case. Since the
computation of the sequence of distributions requires only the solution of
algebraic equations, it allows an efficient implementation in a computer
algebra program. In case of a positive result, a flat output can be obtained by
straightening out the involutive distributions with the Frobenius theorem. The
resulting coordinate transformation can be used to transform the system into a
structurally flat implicit triangular form. We illustrate our results by an
example.

7
The categories of this paper are: hep-th
4
The categories of this paper are: cond-mat
9
The categories of this paper are: nlin
17
The categories of this paper are: q-fin
16
The categories of this paper are: stat
31
The categories of this paper are: ao-sci
27
The categories of this paper are: comp-gas
23
The categories of this paper are: solv-int
30
The categories of this paper are: q-alg
10
The categories of this paper are: q-bio
11
The categories of this paper are: hep-lat
32
The categories of this paper are: atom-ph
26
The categories of this paper are: bayes-an
15
The categories of this paper are: nucl-ex
37
The categories of this paper are: supr-con
24
The categories of this paper are: dg-ga