Loading…

Finite determination of accessibility and singular points of nonlinear systems: An algebraic approach

Exploiting tools from algebraic geometry, the problem of determination of accessibility/strong accessibility is investigated for polynomial systems and also for analytic systems that are immersible into polynomial systems. The results are constructive, and algorithms are given to find the maximum de...

Full description

Saved in:
Bibliographic Details
Published in:Systems & control letters 2020-02, Vol.136, p.104600, Article 104600
Main Authors: Sarafrazi, Mohammad Amin, Kotta, Ülle, Bartosiewicz, Zbigniew
Format: Article
Language:English
Subjects:
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Exploiting tools from algebraic geometry, the problem of determination of accessibility/strong accessibility is investigated for polynomial systems and also for analytic systems that are immersible into polynomial systems. The results are constructive, and algorithms are given to find the maximum depth of Lie brackets necessary for deciding accessibility/strong accessibility of the system at any point, called here accessibility/strong accessibility index of the system, and known as the degree of non-holonomy in the literature. Alternatively, upper bounds on the accessibility/strong accessibility index are obtained, which can be computed easier. In each approach, the entire set of accessibility/strong accessibility singular points are obtained, as a limiting algebraic set of a strictly increasing chain of ideals, that stabilizes in finite time. Several examples demonstrate the applicability of the results using computer algebra tools. •Maximum depth of Lie brackets necessary for deciding accessibility is determined.•Set of singular points can be determined using computer algebra tools and algorithms.•The entire set of accessibility singular points is an algebraic set.•This set is maximal zero measure invariant set of the system.
ISSN:0167-6911
1872-7956
DOI:10.1016/j.sysconle.2019.104600