Search

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.

In this paper, we study the problem of constructing flat inputs for multi-output dynamical systems, in particular, we address the issue of the minimal modification of the initial dynamical system (the measure of modification being the number of equations that have to be changed by adding flat inputs). We show that in the observable case, control vector fields that distort m equations only (where m is the number of measurements) can always be constructed (and this is the minimal possible number of equations that have to be modified by adding flat inputs), while in the unobservable case, the best that we can hope for is that m + 1 equations only are modified such that they involve flat inputs. We discuss when the original output is a flat output of minimal possible differential weight for the minimally modified control system (where by differential weight, we mean the minimal number of derivatives of components of a flat output needed to express all states and controls). We propose a solution for constructing flat inputs leading to a minimally modified control system consistent with the minimal differential weight and, moreover, for which the observable part is affected by the minimal possible number of controls (this last property being important in applications). We show that, in that case, at least 2m − 1 equations have to be affected by the flat inputs.

In this article, we propose two normal forms for nonlinear differential-algebraic control systems (DACSs) under external feedback equivalence, using a notion called maximal controlled invariant submanifold. The two normal forms simplify the system structures and facilitate understanding the various roles of variables for nonlinear DACSs. Moreover, we study when a given nonlinear DACS is internally regularizable, that is, when there exists a state feedback transforming the DACS into a differential-algebraic equation (DAE) with internal regularity, the latter notion is closely related to the existence and uniqueness of solutions of DAEs. We also revise a commonly used method in DAE solution theory, called the geometric reduction method. We apply this method to DACSs and formulate it as an algorithm, which is used to construct maximal controlled invariant submanifolds and to find internal regularization feedbacks. Two examples of mechanical systems are used to illustrate the proposed normal forms and to show how to internally regularize DACSs.

International audience; For observed mechanical systems, we study the problem of constructing flat inputs that are consistent with the mechanical structure of the systems. Such inputs will be called mechanical flat inputs. We show that contrary to flat inputs, that exist (almost) everywhere, in general, for the existence of mechanical flat inputs, additional structural conditions are needed. We provide necessary and sufficient conditions for the existence of mechanical inputs for observed mechanical systems with n degrees of freedom, where n is arbitrary, and n − 1 measurements.

For systems that are not feedback linearizable, a natural question is: how to find the largest feedback linearizable subsystem and, if the partial linearization is not unique, what are the control-theoretic properties of various partial linearizations. In this paper, we will consider the problem of how to choose a partially linearizing output that renders the zero dynamics asymptotically stable and when such an output exists.We will state general results solving completely the problem for systems whose linearizability defect is one by identifying and describing two classes of systems. For the first class, all maximal partial linearizations lead to the same zero dynamics. For the second class, any asymptotic behavior of the zero dynamics can be achieved by a suitable choice of a partially linearizing output. In the second part, we apply our results to mechanical systems with two-degrees-of-freedom and provide a detailed study of their partial linearizations.We illustrate the obtained results by examples of Acrobot (which belongs to the second class) and Pendubot (which belongs to the first class).

In this paper, we study feedback linearization problems for nonlinear differential-algebraic control systems (DACSs). We consider two kinds of feedback equivalences, namely, the external feedback equivalence, which is defined (locally) on the whole generalized state space, and the internal feedback equivalence, which is defined on the locally maximal controlled invariant submanifold (i.e., on the set where solutions exist). Necessary and sufficient conditions are given for the locally internal and the locally external feedback linearizability of DACSs with the help of a notion called the explicitation with driving variables, which attaches a class of ordinary differential equation control systems (ODECSs) to a given DACS. We show that the feedback linearizability of a DACS is closely related to the involutivity of the linearizability distributions of the explicitation systems. Finally, we apply our results of feedback linearization of DACSs to an academical example and a constrained mechanical system., 20 pages

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., 38 pages

In this paper, we study two kinds of linearization (internal and external) of nonlinear differential-algebraic equations DAEs of semi-explicit SE form. The difference of external and internal linearization is illustrated by an example of a mechanical system. Moreover, we define different levels of external equivalence for two SE DAEs. The proposed explicitation procedure allows us to treat a given SE DAE as a control system defined up to feedback transformation (a class of control systems). Then sufficient and necessary conditions, expressed via explicitation procedure, are given to describe when a given SE DAE is level-3 externally equivalent to a linear SE DAE of some specific forms. At last, we show by an example that level-2 external linearization of a DAE can be achieved if its explicitation is level-2 input-output linearizable.

International audience; We present normal forms for nonlinear control systems that are the closest to static feedback linearizable ones, that is, for systems that become feedback linearizable via the simplest dynamic feedback, which is the one‐fold prolongation of a suitably chosen control. They form a particular class of flat systems, namely those of differential weight n + m + 1, where n is the number of states and m is the number of controls. We also show that the dynamic feedback may create singularities in the control space depending on the state and we discuss them. We also address the issue of the normalization of the system only versus that of the system together with a flat output. Finally, we illustrate our results by several examples.

International audience; In this paper we study feedback linearization of multi-input control-affine systems via a particular class of nonregular feedback transformations, namely by reducing the number of controls by one. A complete geometric characterization of systems of that class requires special properties of the linearizability distributions Ɗ0 ⊂ Ɗ1 ⊂ Ɗ 2 ⊂⋯. Contrary to the case of regular feedback linearization, they need not be involutive but the first noninvolutive one has to contain a sufficiently large involutive subdistribution. Recently, we solved the problem of Ɗ0 being noninvolutive. In the present paper, we study the case of Ɗ0 involutive but Ɗ1 noninvolutive. This case is specially interesting because it covers a big class of mechanical control systems. We provide geometric necessary and sufficient conditions describing our class of systems that can be verified by differentiation and algebraic operations only. We illustrate our results by several examples and discuss relations with other linearizability problems (static invertible feedback linearization or dynamic linearization).

The paper addresses the problem of transforming single-output continuous and discrete-time nonlinear dynamical systems into their respective extended observer forms. The output injection term in the extended observer form of degree $I$ depends, besides on the output also on its first $I$ derivatives (in the continuous-time case) or first $I$ past values (in the discrete-time case). Intrinsic necessary and sufficient conditions are given for the existence of the state transformation that transforms the equations into the extended observer form, both for continuous- and discrete-time cases. The conditions can be directly checked from state equations and do not rely on the input-output equation as in the earlier papers.

In this paper, we explain how flatness (in particular, how constructing flat inputs) can be applied to secure communication systems via chaotic models. In order to send confidential messages, we use a transmitter whose dynamics are a flat control system steaming from a dynamical one (with no inputs) originally composed by two independent chaotic subsystems (a Chua and a Rossler circuit, resp.). We explain how from the original dynamical (chaotic) system we can construct a flat control system, the flatness property being achieved by adding control vector fields or, equivalently, inputs. Such inputs are called flat inputs in Waldherr and Zeitz (2008, 2010) since they lead to a flat control system. In our construction, adding inputs is done in a minimal way because they affect only three components of the original dynamical chaotic system. We show numerically that the chaotic behavior of the dynamical system is preserved for the control system (which is crucial for secure communication).

This paper is a survey devoted to the formal approach to the feedback equivalence problem for nonlinear control systems. We show how classical Poincare’s approach, developed for dynamical systems, generalizes to control systems for continuous and discrete-time. We present normal forms and canonical forms for nonlinear control systems (single-input and multi-input, control-affine and general). We use the formal approach to study symmetries of nonlinear control systems as well as discuss special forms: linear and feedforward. We illustrate presented forms by various examples in dimensions 3 and 4.

International audience; In this paper we study the feedback linearization of multi-input control-affine systems via a particular class of nonregu-lar feedback transformations. We give a complete geometric characterization of systems that become static feedback linearizable after a one-fold reduction of a suitably chosen control. That problem can be seen as the dual of the linearization via invertible one-fold prolongation of a suitably chosen control (which is the simplest dynamic feedback). We discuss in detail similarities and differences of both problems. We propose necessary and sufficient conditions describing the class of systems linearizable via a one-fold reduction, and discuss when the proposed conditions can be verified (by differentiation and algebraic operations only). We provide a normal form and illustrate our results by several examples.

International audience; We study the problem of optimal laser-induced population transfer in n-level quantum systems. This problem can be represented as an energy-optimal control problem, related to a sub-Riemannian problem on $SO(n)$ , and it is known (Boscain, Chambrion, Charlot, Gauthier) that for n = 2 and n = 3 the Hamiltonian system associated with the Pontryagin Maximum Principle PMP is integrable. We will show that this changes completely for $n\geqslant 4$ . Specifically, for n = 4, we will prove that the adjoint equation of the PMP does not possess any meromorphic first integral independent of the Hamiltonian on the levels of the Casimir functions. This implies that the system is not B-integrable for any $n\geqslant 4$ . In proving our nonintegrability results we will use differential Galois theory.

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., Small corrections. Watch on YT: https://youtu.be/K3HApRo-V_s 14 pages, 1 figure. Comments are wellcome

We study flatness of two-input control-affine systems, defined on an n -dimensional state-space. We give a complete geometric characterization of systems that become static feedback linearizable after a one-fold prolongation of a suitably chosen control. They form a particular class of flat systems: they are of differential weight n + 3. We give normal forms compatible with the minimal flat outputs and provide a system of first order PDE׳s to be solved in order to find all minimal flat outputs. We illustrate our results by two examples: the induction motor and the polymerization reactor.

International audience; In this paper, we give a complete geometric characterisation of systems locally static feedback equivalent to a triangular form compatible with the chained form, for m = 1, respectively with the m-chained form, for m ≥ 2, where the number of controls is 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 ≥ 2. We illustrate our results by examples, in particular, by an application to a mechanical system: the coin rolling without slipping on a moving table.

We discuss contact geometry naturally related with optimal control problems (and Pontryagin Maximum Principle). We explore and expand the observations of [Ohsawa, 2015], providing simple and elegant characterizations of normal and abnormal sub-Riemannian extremals., A small correction in the statement and proof of Thm 6.15. Watch our publication: https://youtu.be/V04N9X3NxYA and https://youtu.be/jghdRK2IaU8

This thesis is devoted to a study of mechanical control systems, which are defined in local coordinates x = (x¹, . . . , xⁿ) on a smooth configuration manifold Q. They take the form of second-order differential equations¹ … where…are the Christoffel symbols corresponding to Coriolis and centrifugal terms, e(x) is an uncontrolled vector field on Q representing the influence of external positional forces acting on the system (e.g. gravitational or elasticity), and … are controlled vector fields in Q. Equivalently, a mechanical control system can be described by a first-order system on the tangent bundle TQ which is the state space of the system using coordinates (x,y) = (x¹, ..., xⁿ, y¹, ..., yⁿ) : … The main problem considered in this thesis is mechanical feedback linearization (shortly MF-linearization) by applying to the mechanical system the following transformations : (i) changes of coordinates given by diffeomorphisms … (ii) mechanical feedback transformations, denoted (α,β,γ), of the form … such that the transformed system is linear and mechanica., Cette thèse est consacrée à l’étude des systèmes mécaniques de contrôle qui sont définis sur une variété différentielle de configuration Q munie des coordonnées locales x = (x¹, . . . , xⁿ). Dans ces coordonnées, ils prennent la forme d’équation différentielle d’ordre deux¹ : … où les coefficients … sont les symboles de Christoffel correspondant aux forces de Coriolois et centrifuges, e(x) est un champ de vecteurs représentant l’influence des forces externes (par exemple, la gravité ou l’élasticité) et les … sont des champs de vecteurs contrôlés. De manière équivalente nous pouvons décrire les trajectoires d’un système mécanique de contrôle par un système d’équations différentielles ordinaires sur le fibré tangent TQ muni des coordonnées (x,y) = (x¹, ..., xⁿ, y¹, ..., yⁿ) : … Le problème central étudié dans cette thèse est la linéarisation mécanique par bouclage des systèmes mécaniques de contrôle (MF-linéarisation) en appliquant les transformations suivantes : (i) le changement de coordonnées par difféomorphisme … (ii) la transformation par bouclage mécanique (α,β,γ) de la forme … de sorte que le système transformé soit linéaire et mécanique.

In the first part of this thesis, we study linear differential-algebraic equations (shortly, DAEs) and linear control systems given by DAEs (shortly, DAECSs). The discussed problems and obtained results are summarized as follows. 1. Geometric connections between linear DAEs and linear ODE control systems ODECSs. We propose a procedure, named explicitation, to associate a linear ODECS to any linear DAE. The explicitation of a DAE is a class of ODECSs, or more precisely, an ODECS defined up to a coordinates change, a feedback transformation and an output injection. Then we compare the Wong sequences of a DAE with invariant subspaces of its explicitation. We prove that the basic canonical forms, the Kronecker canonical form KCF of linear DAEs and the Morse canonical form MCF of ODECSs, have a perfect correspondence and their invariants (indices and subspaces) are related. Furthermore, we define the internal equivalence of two DAEs and show its difference with the external equivalence by discussing their relations with internal regularity, i.e., the existence and uniqueness of solutions. 2. Transform a linear DAECS into its feedback canonical form via the explicitation with driving variables. We study connections between the feedback canonical form FBCF of DAE control systems DAECSs proposed in the literature and the famous Morse canonical form MCF of ODECSs. In order to connect DAECSs with ODECSs, we use a procedure named explicitation (with driving variables). This procedure attaches a class of ODECSs with two kinds of inputs (the original control input and the vector of driving variables) to a given DAECS. On the other hand, for classical linear ODECSs (without driving variables), we propose a Morse triangular form MTF to modify the construction of the classical MCF. Based on the MTF, we propose an extended MTF and an extended MCF for ODECSs with two kinds of inputs. Finally, an algorithm is proposed to transform a given DAECS into its FBCF. This algorithm is based on the extended MCF of an ODECS given by the explication procedure. Finally, a numerical example is given to show the structure and efficiency of the proposed algorithm. For nonlinear DAEs and DAECSs (of quasi-linear form), we study the following problems: 3. Explicitations, external and internal analysis, and normal forms of nonlinear DAEs. We generalize the two explicitation procedures (with or without driving variable) proposed in the linear case for nonlinear DAEs of quasi-linear form. The purpose of these two explicitation procedures is to associate a nonlinear ODECS to any nonlinear DAE such that we can use the classical nonlinear ODE control theory to analyze nonlinear DAEs. We discuss differences of internal and external equivalence of nonlinear DAEs by showing their relations with the existence and uniqueness of solutions (internal regularity). Then we show that the internal analysis of nonlinear DAEs is closely related to the zero dynamics in the classical nonlinear control theory. Moreover, we show relations of DAEs of pure semi-explicit form with the two explicitation procedures. Furthermore, a nonlinear generalization of the Weierstrass form WE is proposed based on the zero dynamics of a nonlinear ODECS given by the explicitation procedure..., Dans la première partie de cette thèse, nous étudions les équations différentielles algébriques (en abrégé EDA) linéaires et les systèmes de contrôles linéaires associés (en abrégé SCEDA). Les problèmes traités et les résultats obtenus sont résumés comme suit : 1. Relations géométriques entre les EDA linéaires et les systèmes de contrôles génériques SCEDO. Nous introduisons une méthode, appelée explicitation, pour associer un SCEDO à n'importe quel EDA linéaire. L'explicitation d'une EDA est une classe des SCEDO, précisément un SCEDO défini, à un changement de coordonnées près, une transformation de bouclage près et une injection de sortie près. Puis nous comparons les « suites de Wong » d'une EDA avec les espaces invariants de son explicitation. Nous prouvons que la forme canonique de Kronecker FCK d'une EDA linéaire et la forme canonique de Morse FCM d'un SCEDO, ont une correspondance une à une et que leurs invariants sont liés. De plus, nous définissons l'équivalence interne de deux EDA et montrons sa particularité par rapport à l'équivalence externe en examinant les relations avec la régularité interne, i.e., l'existence et l'unicité de solutions. 2. Transformation d'un SCEDA linéaire vers sa forme canonique via la méthode d'explicitation avec des variables de driving. Nous étudions les relations entre la forme canonique par bouclage FCFB d'un SCEDA proposée dans la littérature et la forme canonique de Morse pour les SCEDO. Premièrement, dans le but de relier SCEDA avec les SCEDO, nous utilisons une méthode appelée explicitation (avec des variables de driving). Cette méthode attache à une classe de SCEDO avec deux types d'entrées (le contrôle original et le vecteur des variables de driving) à un SCEDA donné. D'autre part, pour un SCEDO linéaire classique (sans variable de driving) nous proposons une forme de Morse triangulaire FMT pour modifier la construction de la FCM. Basé sur la FMT nous proposons une forme étendue FMT et une forme étendue de FCM pour les SCEDO avec deux types d'entrées. Finalement, un algorithme est donné pour transformer un SCEDA dans sa FCFB. Cet algorithme est construit sur la FCM d'un SCEDO donné par la procédure d'explicitation. Un exemple numérique illustre la structure et l'efficacité de l'algorithme. Pour les EDA non linéaires et les SCEDA (quasi linéaires) nous étudions les problèmes suivants : 3. Explicitations, analyse externe et interne et formes normales des EDA non linéaires. Nous généralisons les deux procédures d'explicitation (avec ou sans variables de driving) dans le cas des EDA non linéaires. L'objectif de ces deux méthodes est d'associer un SCEDO non linéaire à une EDA non linéaire telle que nous puissions l'analyser à l'aide de la théorie des EDO non linéaires. Nous comparons les différences de l'équivalence interne et externe des EDA non linéaires en étudiant leurs relations avec l'existence et l'unicité d'une solution (régularité interne). Puis nous montrons que l'analyse interne des EDA non linéaire est liée à la dynamique nulle en théorie classique du contrôle non linéaire. De plus, nous montrons les relations des EDAS de forme purement semi-explicite avec les 2 procédures d'explicitations. Finalement, une généralisation de la forme de Weierstrass non linéaire FW basée sur la dynamique nulle d'un SCEDO non linéaire donné par la méthode d'explicitation est proposée...

In the first part of this thesis, we study linear differential-algebraic equations (shortly, DAEs) and linear control systems given by DAEs (shortly, DAECSs). The discussed problems and obtained results are summarized as follows. 1. Geometric connections between linear DAEs and linear ODE control systems ODECSs. We propose a procedure, named explicitation, to associate a linear ODECS to any linear DAE. The explicitation of a DAE is a class of ODECSs, or more precisely, an ODECS defined up to a coordinates change, a feedback transformation and an output injection. Then we compare the Wong sequences of a DAE with invariant subspaces of its explicitation. We prove that the basic canonical forms, the Kronecker canonical form KCF of linear DAEs and the Morse canonical form MCF of ODECSs, have a perfect correspondence and their invariants (indices and subspaces) are related. Furthermore, we define the internal equivalence of two DAEs and show its difference with the external equivalence by discussing their relations with internal regularity, i.e., the existence and uniqueness of solutions. 2. Transform a linear DAECS into its feedback canonical form via the explicitation with driving variables. We study connections between the feedback canonical form FBCF of DAE control systems DAECSs proposed in the literature and the famous Morse canonical form MCF of ODECSs. In order to connect DAECSs with ODECSs, we use a procedure named explicitation (with driving variables). This procedure attaches a class of ODECSs with two kinds of inputs (the original control input and the vector of driving variables) to a given DAECS. On the other hand, for classical linear ODECSs (without driving variables), we propose a Morse triangular form MTF to modify the construction of the classical MCF. Based on the MTF, we propose an extended MTF and an extended MCF for ODECSs with two kinds of inputs. Finally, an algorithm is proposed to transform a given DAECS into its FBCF. This algorithm is based on the extended MCF of an ODECS given by the explication procedure. Finally, a numerical example is given to show the structure and efficiency of the proposed algorithm. For nonlinear DAEs and DAECSs (of quasi-linear form), we study the following problems: 3. Explicitations, external and internal analysis, and normal forms of nonlinear DAEs. We generalize the two explicitation procedures (with or without driving variable) proposed in the linear case for nonlinear DAEs of quasi-linear form. The purpose of these two explicitation procedures is to associate a nonlinear ODECS to any nonlinear DAE such that we can use the classical nonlinear ODE control theory to analyze nonlinear DAEs. We discuss differences of internal and external equivalence of nonlinear DAEs by showing their relations with the existence and uniqueness of solutions (internal regularity). Then we show that the internal analysis of nonlinear DAEs is closely related to the zero dynamics in the classical nonlinear control theory. Moreover, we show relations of DAEs of pure semi-explicit form with the two explicitation procedures. Furthermore, a nonlinear generalization of the Weierstrass form WE is proposed based on the zero dynamics of a nonlinear ODECS given by the explicitation procedure...; Dans la première partie de cette thèse, nous étudions les équations différentielles algébriques (en abrégé EDA) linéaires et les systèmes de contrôles linéaires associés (en abrégé SCEDA). Les problèmes traités et les résultats obtenus sont résumés comme suit : 1. Relations géométriques entre les EDA linéaires et les systèmes de contrôles génériques SCEDO. Nous introduisons une méthode, appelée explicitation, pour associer un SCEDO à n'importe quel EDA linéaire. L'explicitation d'une EDA est une classe des SCEDO, précisément un SCEDO défini, à un changement de coordonnées près, une transformation de bouclage près et une injection de sortie près. Puis nous comparons les « suites de Wong » d'une EDA avec les espaces invariants de son explicitation. Nous prouvons que la forme canonique de Kronecker FCK d'une EDA linéaire et la forme canonique de Morse FCM d'un SCEDO, ont une correspondance une à une et que leurs invariants sont liés. De plus, nous définissons l'équivalence interne de deux EDA et montrons sa particularité par rapport à l'équivalence externe en examinant les relations avec la régularité interne, i.e., l'existence et l'unicité de solutions. 2. Transformation d'un SCEDA linéaire vers sa forme canonique via la méthode d'explicitation avec des variables de driving. Nous étudions les relations entre la forme canonique par bouclage FCFB d'un SCEDA proposée dans la littérature et la forme canonique de Morse pour les SCEDO. Premièrement, dans le but de relier SCEDA avec les SCEDO, nous utilisons une méthode appelée explicitation (avec des variables de driving). Cette méthode attache à une classe de SCEDO avec deux types d'entrées (le contrôle original et le vecteur des variables de driving) à un SCEDA donné. D'autre part, pour un SCEDO linéaire classique (sans variable de driving) nous proposons une forme de Morse triangulaire FMT pour modifier la construction de la FCM. Basé sur la FMT nous proposons une forme étendue FMT et une forme étendue de FCM pour les SCEDO avec deux types d'entrées. Finalement, un algorithme est donné pour transformer un SCEDA dans sa FCFB. Cet algorithme est construit sur la FCM d'un SCEDO donné par la procédure d'explicitation. Un exemple numérique illustre la structure et l'efficacité de l'algorithme. Pour les EDA non linéaires et les SCEDA (quasi linéaires) nous étudions les problèmes suivants : 3. Explicitations, analyse externe et interne et formes normales des EDA non linéaires. Nous généralisons les deux procédures d'explicitation (avec ou sans variables de driving) dans le cas des EDA non linéaires. L'objectif de ces deux méthodes est d'associer un SCEDO non linéaire à une EDA non linéaire telle que nous puissions l'analyser à l'aide de la théorie des EDO non linéaires. Nous comparons les différences de l'équivalence interne et externe des EDA non linéaires en étudiant leurs relations avec l'existence et l'unicité d'une solution (régularité interne). Puis nous montrons que l'analyse interne des EDA non linéaire est liée à la dynamique nulle en théorie classique du contrôle non linéaire. De plus, nous montrons les relations des EDAS de forme purement semi-explicite avec les 2 procédures d'explicitations. Finalement, une généralisation de la forme de Weierstrass non linéaire FW basée sur la dynamique nulle d'un SCEDO non linéaire donné par la méthode d'explicitation est proposée...