arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1909.02868math.OCmath.DGmath.DS
收藏

差平坦性的充要条件

Necessary and Sufficient Conditions for Difference Flatness

Bernd Kolar, Johannes Diwold, Markus Schöberl

摘要:

我们证明了一个非线性离散时间系统的平坦性可以通过计算一个唯一的对合分布序列来检查。众所周知的测试静态反馈线性化作为一种特殊情况。由于分布序列的计算只需要解代数方程,它允许在计算机代数程序中有效地实现。在正结果的情况下,通过利用Frobenius定理对对合分布进行拉直,可以得到平坦输出。

英文摘要:

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.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑