Searcharxiv⌕ Search

arXiv subjects

Witold Respondek

Publications and source records attributed to Witold Respondek.

17 recordsLinked to original sources
arXiv2025

Dynamic feedback linearization of two-input control systems via successive one-fold prolongations

In this paper, we propose a constructive algorithm to dynamically linearize two-input control systems via successive one-fold prolongations of a control that has to be suitably chosen at each step of the algorithm. Linearization via successive one-fold prolongations requires special properties of the linearizability distributions $\mathcal{D}^0 \subset \mathcal{D}^1 \subset\mathcal{D}^2 \subset \cdots$. Contrary to the case of static feedback linearizability, they need not be involutive but the first noninvolutive one has to contain an involutive subdistribution of corank one. The main idea of the proposed algorithm is to replace, at each step, the first noninvolutive distribution by its involutive subdistribution of corank one, thus for the prolonged system we gain at least one new involutive distribution. Our algorithm is constructive, gives sufficient conditions for flatness, and can be seen as the dual of the dynamic feedback linearization algorithm of Battilotti and Califano [2003, 2005].

math.OC↗
arXiv2023

Input-output linearization and decoupling of mechanical control systems

In this work, we present a problem of simultaneous input-output feedback linearization and decoupling (non-interacting) for mechanical control systems with outputs. We show that the natural requirement of preserving mechanical structure of the system and of transformations imposes supplementary conditions when compared to the classical solution of the same problem for general control systems. These conditions can be expressed using objects on the configuration space only. We illustrate our results with several examples of mechanical control systems.

math.OC↗
arXiv2023

Trivialisable control-affine systems revisited

The purpose of this paper is to explore the concept of trivial control systems, namely systems whose dynamics depends on the controls only. Trivial systems have been introduced and studied by Serres in the the context of control-nonlinear systems on the plane with a scalar control. In our work, we begin by proposing an extension of the notion of triviality to control-affine systems with arbitrary number of states and controls. Next, our first result concerns two novel characterisations of trivial control-affine systems, one of them is based on the study of infinitesimal symmetries and is thus geometric. Second, we derive a normal form of trivial control-affine systems whose Lie algebra of infinitesimal symmetries possesses a transitive almost abelian Lie subalgebra. Third, we study and propose a characterisation of trivial control-affine systems on $3$-dimensional manifolds with scalar control. In particular, we give a novel proof of the previous characterisation obtained by Serres. Our characterisation is based on the properties of two functional feedback invariants: the curvature (introduced by Agrachev) and the centro-affine curvature (used by Wilkens). Finally, we give several normal forms of control-affine systems, for which the curvature and the centro-affine curvature have special properties.

math.OC↗
arXiv2023

Normal forms for x-flat two-input control-affine systems in dimension five

In this paper, we give normal forms for flat two-input control-affine systems in dimension five that admit a flat output depending on the state only (we call systems with that property x-flat systems). We discuss relations of x-flatness in dimension five with static and dynamic feedback linearization and show that if a system is x-flat it becomes linearizable via at most three prolongations of a suitably chosen control. Therefore x-flat systems in dimension five can be, in general, brought into normal forms generalizing the Brunovsky canonical form. If a system becomes linear via at most two-fold prolongation, the normal forms are structurally similar to the Brunovsky form: they have a special triangular structure consisting of a linear chain and a nonlinear one with at most two nonlinearities. If a system becomes linear via a three-fold prolongation, we obtain not only triangular structures but also a nontriangular one, and face new interesting phenomena.

math.DS↗
arXiv2022

Mechanical feedback linearization of single-input mechanical control systems

We present a new type of feedback linearization that is tailored for mechanical control systems. We call it a mechanical feedback linearization. Its basic feature is preservation of the mechanical structure of the system. For mechanical systems with a scalar control, we formulate necessary and sufficient conditions that are verifiable using differentiations and algebraic operations only. We illustrate our results with several examples.

math.OC↗
arXiv2022

Null-forms of conic systems in $\mathbb{R}^3$ are determined by their symmetries

We address the problem of characterisation of null-forms of conic $3$-dimensional systems, that is, control-affine systems whose field of admissible velocities forms a conic (without parameters) in the tangent space. Those systems have been previously identified as the simplest control systems under a conic nonholonomic constraint or as systems of zero curvature. In this work, we propose a direct characterisation of null-forms of conic systems among all control-affine systems by studying the Lie algebra of infinitesimal symmetries. Namely, we show that the Lie algebra of infinitesimal symmetries characterises uniquely null-forms of conic systems.

math.OC↗
arXiv2022

Conic nonholonomic constraints on surfaces and control systems

This paper addresses the equivalence problem of conic submanifolds in the tangent bundle of a smooth 2-dimensional manifold. Those are given by a quadratic relation between the velocities and are treated as nonholonomic constraints whose admissible curves are trajectories of the corresponding control systems, called quadratic systems. We deal with the problem of characterising and classifying conic submanifolds under the prism of feedback equivalence of control systems, both control-affine and fully nonlinear. The first main result of this work is a complete description of non-degenerate conic submanifolds via a characterisation under feedback transformations of the novel class of quadratic control-affine systems. This characterisation can explicitly be tested on structure functions defined for any control-affine system and gives a normal form of quadratizable systems and of conic submanifolds. Then, we consider the classification problem of regular conic submanifolds (ellipses, hyperbolas, and parabolas), which is treated via feedback classification of quadratic control-nonlinear systems. Our classification includes several normal forms of quadratic systems (in particular, normal forms not containing functional parameters as well as those containing neither functional nor real parameters), and, as a consequence, gives a classification of regular conic submanifolds.

math.OC↗
arXiv2021

Geometric analysis of nonlinear differential-algebraic equations via nonlinear control theory

For nonlinear differential-algebraic equations (DAEs), we define two kinds of equivalences, namely, the external and internal equivalence. Roughly speaking, the word "external" means that we consider a DAE (locally) everywhere and "internal" means that we consider the DAE on its (locally) maximal invariant submanifold (i.e., where its solutions exist) only. First, we revise the geometric reduction method in DAEs solution theory and formulate an implementable algorithm to realize that method. Then a procedure named explicitation with driving variables is proposed to connect nonlinear DAEs with nonlinear control systems and we show that the driving variables of an explicitation system can be reduced under some involutivity conditions. Finally, due to the explicitation, we will use some notions from nonlinear control theory to derive two nonlinear generalizations of the Weierstrass form.

math.OC↗
arXiv2021

From Morse Triangular Form of ODE Control Systems to Feedback Canonical Form of DAE Control Systems

In this paper, we relate the feedback canonical form \textbf{FNCF} of differential-algebraic control systems (DACSs) with the famous Morse canonical form \textbf{MCF} of ordinary differential equation control systems (ODECSs). First, a procedure called an explicitation (with driving variables) is proposed to connect the two above categories of control systems by attaching to a DACS a class of ODECSs with two kinds of inputs (the original control input $u$ and a vector of driving variables $v$). Then, we show that any ODECS with two kinds of inputs can be transformed into its extended \textbf{MCF} via two intermediate forms: the extended Morse triangular form and the extended Morse normal form. Next, we illustrate that the \textbf{FNCF} of a DACS and the extended \textbf{MCF} of the explicitation system have a perfect one-to-one correspondence. At last, an algorithm is proposed to transform a given DACS into its \textbf{FBCF} via the explicitation procedure and a numerical example is given to show the efficiency of the proposed algorithm.

math.OC↗
arXiv2020

Geometric analysis of differential-algebraic equations via linear control theory

We consider linear differential-algebraic equations DAEs and the Kronecker canonical form KCF of the corresponding matrix pencils. We also consider linear control systems and their Morse canonical form MCF. For a linear DAE, a procedure named explicitation is proposed, which attaches to any linear DAE a linear control system defined up to a coordinates change, a feedback transformation and an output injection. Then we compare subspaces associated to a DAE in a geometric way with those associated (also in a geometric way) to a control system, namely, we compare the Wong sequences of DAEs and invariant subspaces of control systems. We prove that the KCF of linear DAEs and the MCF of control systems have a perfect correspondence and that their invariants are related. In this way, we connect the geometric analysis of linear DAEs with the classical geometric linear control theory. Finally, we propose a concept named internal equivalence for DAEs and discuss its relation with internal regularity, i.e., the existence and uniqueness of solutions.

eess.SY↗
arXiv2018

A comparison of vakonomic and nonholonomic dynamics with applications to non-invariant Chaplygin systems

We study relations between vakonomically and nonholonomically constrained Lagrangian dynamics for the same set of linear constraints. The basic idea is to compare both situations at the level of variational principles, not equations of motion as has been done so far. The method seems to be quite powerful and effective. In particular, it allows to derive, interpret and generalize many known results on non-Abelian Chaplygin systems. We apply it also to a class of systems on Lie groups with a left-invariant constraints distribution. Concrete examples of the unicycle in a potential field, the two-wheeled carriage and the generalized Heisenberg system are discussed.

math.DG↗
arXiv2017

Why are normal sub-Riemannian extremals locally minimizing?

It is well-known that normal extremals in sub-Riemannian geometry are curves which locally minimize the energy functional. Most proofs of this fact do not make, however, an explicit use of relations between local optimality and the geometry of the problem. In this paper, we provide a new proof of that classical result, which gives insight into direct geometric reasons of local optimality. Also the relation of the regularity of normal extremals with their optimality becomes apparent in our approach.

math.DG↗
arXiv2014

Multi-input control-affine systems static feedback equivalent to a triangular form and their flatness

In this paper, we give a complete geometric characterization of control systems, with m+1 inputs, locally static feedback equivalent to a triangular form compatible with the chained form, for m=1, respectively with the m-chained form, for m>1. They are x-flat systems. We provide a system of first order PDE's to be solved in order to find all x-flat outputs, for m=1, respectively all minimal x-flat outputs, for m>1. We illustrate our results by examples, in particular by an application to a mechanical system: the coin rolling without slipping on a moving table.

math.OC↗
arXiv2000

Contact systems and corank one involutive subdistributions

We give necessary and sufficient geometric conditions for a distribution (or a Pfaffian system) to be locally equivalent to the canonical contact system on Jn(R,Rm), the space of n-jets of maps from R into Rm. We study the geometry of that class of systems, in particular, the existence of corank one involutive subdistributions. We also distinguish regular points, at which the system is equivalent to the canonical contact system, and singular points, at which we propose a new normal form that generalizes the canonical contact system on Jn(R,Rm) in a way analogous to that how Kumpera-Ruiz normal form generalizes the canonical contact system on Jn(R,R), which is also called Goursat normal form.

math.DG↗
arXiv2000

Nilpotentization of the kinematics of the n-trailer system at singular points and motion planning through the singular locus

We propose in this paper a constructive procedure that transforms locally, even at singular configurations, the kinematics of a car towing trailers into Kumpera-Ruiz normal form. This construction converts the nonholonomic motion planning problem into an algebraic problem (the resolution of a system of polynomial equations), which we illustrate by steering the two-trailer system in a neighborhood of singular configurations. We show also that the n-trailer system is a universal local model for all Goursat structures and that all Goursat structures are locally nilpotentizable.

math.OC↗
arXiv1999

On the geometry of Goursat structures

A Goursat structure on a manifold of dimension n is a rank two distribution D such that dim D(i)=i+2, for i=0,...,n-2, where D(i) denotes the derived flag of D, which is defined by D(0)=D and D(i+1)=D(i)+[D(i),D(i)]. Goursat structures appeared first in the work of E. von Weber and E. Cartan, who have shown that on an open and dense subset they can be converted into the so-called Goursat normal form. Later, Goursat structures have been studied by Kumpera and Ruiz. Contact structures on three manifolds and Engel structures on four manifolds are examples of Goursat structures. In the paper, we introduce a new invariant for Goursat structures, called the singularity type, and prove that the growth vector and the abnormal curves of all elements of the derived flag are determined by this invariant. Then we show, using a generalized version of Backlund's theorem, that abnormal curves of all elements of the derived flag do not determine the local equivalence class of a Goursat structure if n>8. We also propose a new proof of a classical theorem of Kumpera and Ruiz. All results are illustrated by the n-trailer system, which, as we show, turns out to be a universal model for all local Goursat structures.

math.DG↗