Necessary and Sufficient Conditions for Difference Flatness

Abstract

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.

References in corpus (1)

• Flat Sampled Data Systems, an Algorithmic Approach

Cited by in corpus (8)

• A Trajectory-Based Approach to Discrete-Time Flatness
• Flatness Analysis for the Sampled-data Model of a Single Mast Stacker Crane
• On the Exact Linearization and Control of Flat Discrete-time Systems
• A Dual Geometric Test for Forward-Flatness
• Discrete-time Flatness and Linearization along Trajectories
• Duality of Geometric Tests for Forward-Flatness
• Discrete-time Flatness-based Controller Design using an Implicit Euler-discretization
• Discrete-time Flatness-based Control of a Gantry Crane