10 research outputs found
Thomas decompositions of parametric nonlinear control systems
This paper presents an algorithmic method to study structural properties of
nonlinear control systems in dependence of parameters. The result consists of a
description of parameter configurations which cause different control-theoretic
behaviour of the system (in terms of observability, flatness, etc.). The
constructive symbolic method is based on the differential Thomas decomposition
into disjoint simple systems, in particular its elimination properties
Non-linear estimation is easy
Non-linear state estimation and some related topics, like parametric
estimation, fault diagnosis, and perturbation attenuation, are tackled here via
a new methodology in numerical differentiation. The corresponding basic system
theoretic definitions and properties are presented within the framework of
differential algebra, which permits to handle system variables and their
derivatives of any order. Several academic examples and their computer
simulations, with on-line estimations, are illustrating our viewpoint
Thomas Decomposition and Nonlinear Control Systems
This paper applies the Thomas decomposition technique to nonlinear control
systems, in particular to the study of the dependence of the system behavior on
parameters. Thomas' algorithm is a symbolic method which splits a given system
of nonlinear partial differential equations into a finite family of so-called
simple systems which are formally integrable and define a partition of the
solution set of the original differential system. Different simple systems of a
Thomas decomposition describe different structural behavior of the control
system in general. The paper gives an introduction to the Thomas decomposition
method and shows how notions such as invertibility, observability and flat
outputs can be studied. A Maple implementation of Thomas' algorithm is used to
illustrate the techniques on explicit examples
Realization theory for rational systems
In this paper we solve the problem of realization of response maps for rational systems. Sufficient and necessary conditions for a response map to be realizable by a rational system are presented. The properties of rational realizations such as observability, controllability, and minimality are studied. Finally, we briefly discuss the procedures for checking observability and controllability of rational systems and minimality of rational realizations and the procedure for constructing a rational system realizing a response map
Mathématiques pour l'ingénieur
National audience1. Introduction aux distributions. 2. Optimisation et LMI. 3. Systèmes stochastiques. 4. EDO non linéaires. 5. Calcul des variations. 6. Systèmes à retards. 7. Commande algébrique des EDP. 8. Platitude et algèbre différenetielle