La digestion anaérobie est un procédé permettant de transformer les déchets organiques en énergie utile, telle que le biogaz. Ce procédé fait intervenir des organismes vivants dont le comportement spécifique est fortement non linéaire. Par ailleurs, il est connu pour être sensible aux perturbations et naturellement instable. Ainsi, le développement de méthodologies efficaces pour sa commande et sa supervision est essentiel afin d’obtenir des résultats satisfaisants. Par conséquent, l’objet de cette thèse porte sur la modélisation de ce système complexe, la synthèse d’observateurs et de lois de commande afin d’améliorer le fonctionnement du procédé dans les stations de biogaz. Une modélisation formelle du procédé est alors proposée où des degrés de liberté additionnels ont été introduits dans la commande de production de biogaz. En effet, deux entrées de commande supplémentaires viennent compléter le modèle standard AM2 (Acidogenèse Methanogenesis, 2 étapes), reflétant l’ajout de substrats stimulants (acides et alcalinité) qui améliorent la qualité et la quantité du biogaz. Par la suite, l’identification des paramètres du modèle non linéaire résultant est traitée, ainsi que l’analyse de la positivité et la bornitude des variables d’état. Sur la base du modèle mathématique dérivé et des résultats de l’analyse, différents observateurs sont alors étudiés afin de surmonter le manque de capteurs fiables, autonomes et bons marché. En effet, deux observateurs sont alors développés, le premier dit invariant et le second non linéaire de la même forme que l’observateur généralisé d’Arcak. En outre, dans le but de rendre la conception d’observateurs plus robuste aux perturbations, le critère H∞ est introduit dans la synthèse. Une extension de la méthodologie est proposée pour les systèmes discrets ainsi qu’aux systèmes non linéaires avec sorties non linéaires. Pour la synthèse des différents observateurs, le théorème des accroissements finis est appliqué, ce qui permet de transformer la dynamique non linéaire de l’erreur d’estimation en un système linéaire à paramètres variants. La condition de Lipschitz est alors conjointement utilisée avec la fonction classique de Lyapunov pour la synthèse des conditions de stabilité sous forme d’Inégalités Matricielles Linéaires (LMIs). Enfin, afin d’améliorer la faisabilité de ces dernières conditions, une reformulation judicieuse de l’inégalité de Young est alors introduite. Concernant la commande du procédé, une commande par retour d’état pour le suivi d’une trajectoire de référence est choisie. Prenant en compte la disponibilité partielle des mesures du vecteur d’état, un observateur exponentiel non linéaire est introduit dans la synthèse de la loi de commande. Ainsi, une commande par retour d’état basée observateur est obtenue. Pour effectuer l’analyse de stabilité du système en boucle fermée composée du procédé, de l’observateur et du contrôleur, le lemme de Barbalat est alors utilisé conjointement avec les techniques déjà mentionnées pour la synthèse d’observateurs. Enfin, deux différentes méthodes pour le calcul des paramètres du contrôleur et de l’observateur sont proposées. Séparément, dans un premier temps. Puis simultanément dans un second temps / In this thesis, we propose a formal modelling framework for the anaerobic digestion process, where we add more degrees of freedom in the control of biogas production. Indeed, we add two additional control inputs to the standardized AM2 (Acidogenesis Methanogenesis, 2 steps) model, reflecting addition of stimulating substrates which enhance the biogas quality and quantity. Then, we describe how the parameters of the resulted nonlinear model can be identified, and we analyse the positiveness and boundedness of its state variables. Based on the derived mathematical model and the analysis results, we design different software sensors to overcome the lack of reliable and cheap sensors. Indeed, we present a general class of systems to which the considered process model belongs. Then, we design an LMI-based invariant like observer as well as an LMI-based nonlinear observer of the same form as the generalized Arcak’s observer. Furthermore, with the aim to render the observer design more robust to disturbances, we include the H∞ criterion in its synthesis. Also, to promote the use of the proposed observers in real applications, we extend the methodology to the discrete time case and to the case of nonlinear systems with nonlinear outputs. For the different observers design, we use the differential mean value theorem which allows the transformation of the nonlinear estimation error to a linear parameter varying system. Then, we use the Lipschitz conditions and the Lyapunov standard function to synthesize the stability conditions in the form of linear matrix inequalities. Finally, we enhance the feasibility of the later conditions by using a judicious reformulation of the Young’s inequality. In the thesis, we also deal with the process control where we propose a control strategy to track an admissible reference trajectory planned by the plant operator. Moreover, to account for the partial availability of the state vector measurements, we include an exponential nonlinear observer in the control synthesis. Thus, we design an observer based tracking control scheme. To perform the stability analysis of the closed loop system, composed of the system, the observer and the controller, we use the Barbalat’s lemma conjointly with the techniques already mentioned for the observers design. Finally, we propose two different methods to compute the controller and the observer parameters. In the first one, we propose to compute them separately. While, in the second one we compute the parameters simultaneously
Identifer | oai:union.ndltd.org:theses.fr/2017LORR0128 |
Date | 07 July 2017 |
Creators | Chaib Draa, Khadidja |
Contributors | Université de Lorraine, Université du Luxembourg, Darouach, Mohamed, Voos, Holger |
Source Sets | Dépôt national des thèses électroniques françaises |
Language | English |
Detected Language | French |
Type | Electronic Thesis or Dissertation, Text |
Page generated in 0.0023 seconds