EBIF: Exact Bilinearization Iterative Form for Control-Affine Nonlinear Systems

TL;DR

This paper introduces EBIF, a novel iterative method that transforms control-affine nonlinear systems into exact finite-dimensional bilinear forms, simplifying analysis and control design.

Contribution

The paper presents the EBIF framework, providing necessary and sufficient conditions for exact bilinearization of nonlinear systems using algebraic and geometric tools.

Findings

EBIF enables exact finite-dimensional bilinear representations.

The approach facilitates reachability analysis and control synthesis.

Numerical simulations confirm the effectiveness of EBIF.

Abstract

In this paper, we develop a novel framework, Exact Bilinearization Iterative Form (EBIF), for transforming a nonlinear control-affine system into an exact finite-dimensional bilinear representation. In contrast to most existing approaches which generally lead to an infinite-dimensional representation, the proposed EBIF approach yields an iterative procedure for constructing a finite set of smooth coordinate functions that define an embedding, enabling an exact bilinear representation of the original nonlinear dynamics. Leveraging tools from algebra and differential geometry, we establish both necessary and sufficient conditions for a nonlinear system to be exactly bilinearizable. We further illustrate how the EBIF-induced bilinear systems facilitate reachability analysis and control design. Through theoretical analysis and numerical simulations, we demonstrate the effectiveness of the EBIF framework and highlight its potential in simplifying control synthesis for nonlinear systems.