Log in

Relevant bibliographies by topics / Modèles d'états / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Modèles d'états.

Dissertations / Theses on the topic 'Modèles d'états'

Author: Grafiati

Published: 9 November 2024

Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Modèles d'états.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Bréhélin, Laurent. "Modèles de Markov cachés et apprentissage pas fusions d'états : algorithmes, applications, utilisations pour le test de circuits intégrés." Montpellier 2, 2001. http://www.theses.fr/2001MON20051.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Bogaerts, Philippe. "Contribution à la modélisation mathématique pour la simulation et l'observation d'états des bioprocédés." Doctoral thesis, Universite Libre de Bruxelles, 1999. http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/211915.

Full text

Abstract:

Les bioprocédés ont connu un essor considérable au cours de ces dernières années et sont promis à un bel avenir. Qu'il s'agisse de la production de vaccins, de la fermentation de levures pour l'industrie alimentaire ou encore de l'épuration biologique des eaux usées, les applications sont nombreuses et les produits sont d'un intérêt capital pour l'être humain. Étant donnés le coût et le temps de mise en oeuvre de ces procédés, il est particulièrement utile de construire des simulateurs permettant de reproduire le comportement macroscopique des cultures cellulaires utilisées. Ces simulateurs pe

APA, Harvard, Vancouver, ISO, and other styles

3

Courtial, Estelle. "Commande prédictive et estimation d'état de systèmes non linéaires." Lyon 1, 1996. http://www.theses.fr/1996LYO10093.

Full text

Abstract:

Dans ce travail, on propose une approche alternative de la commande et de l'estimation d'état pour une classe de systèmes non linéaires soumis à des contraintes sur les variables d'état et de commande. Ces deux problèmes sont traités en terme d'optimisation sous contraintes en dimension finie. Basée sur la structure éprouvée de commande à modèle interne (CMI), l'objectif de poursuite de trajectoire de référence est formulé en terme de minimisation d'un critère sur un horizon de prédiction fini glissant. Afin de tenir compte des exigences de l'application en ligne de cette commande prédictive (

APA, Harvard, Vancouver, ISO, and other styles

4

Kalantari, Saman. "Introduction de fonctionnalités de changements d'états topologiques dans le formalisme de modélisation et de simulation CORDIS-ANIMA." Thesis, Grenoble, 2014. http://www.theses.fr/2014GRENS004.

Full text

Abstract:

Dans cette recherche, nous étudions les problèmes de modélisation de discontinuités topologiques d'objets physiques déformables. Parmi toutes les discontinuités topologiques possibles, nous nous intéressons à celles que nous avons qualifiées de « discontinuités de 1 vers N » dans le contexte de la modélisation physique. Entrent dans cette catégorie les phénomènes de fractures, de cassures, de déchirures et de fissures. De nombreux travaux se sont intéressés à la modélisation et la simulation de ce type de phénomènes. Plusieurs méthodes ont été proposées, à partir de systèmes de modélisation di

APA, Harvard, Vancouver, ISO, and other styles

5

Nakkar, Osman. "Modélisation espace d'états de la dynamique des séries temporelles : traitement automatique des données du marché du cuivre." Montpellier 1, 1994. http://www.theses.fr/1994MON10027.

Full text

Abstract:

Le modele espace d'etats et le filtre de kalman, utilises a l'origine en automatique applique, ont ete employes recemment en econometrie pour modeliser les series temporelles et pour estimer les modeles lineaires a coefficients variables. Apres avoir presente le model espace d'etats et le filtre de kalman qui lui est associe, nous abordons les problemes lies a l'identification et a l'estimation de ce modele. Nous proposons dans ce but de combiner les deux methodes de l'algorithme e. M. Et de la factorisation de la matrice de hankel. Pour modeliser les series temporelles non stationnaires, nous

APA, Harvard, Vancouver, ISO, and other styles

6

Karam, Margot. "Génération de test de circuits intégrés fondée sur des modèles fonctionnels." Phd thesis, Grenoble INPG, 1991. http://tel.archives-ouvertes.fr/tel-00339935.

Full text

Abstract:

Cette thèse concerne l'utilisation de modèles fonctionnels dans le test de circuits intégrés complexes. Dans la première partie, des vecteurs de test sont générés pour les automates d'états finis a partir de leurs spécifications de synthèse. Un premier ensemble de vecteurs de test est calcule en parcourant tous les arcs du graphe de contrôle. Les valeurs d'entrées non spécifiées sur les transitions sont fixées afin d'accroitre la couverture. Il est montre que ce test a une excellente couverture par rapport a sa longueur. Les fautes résiduelles sont détectées par une methode de distinction sur

APA, Harvard, Vancouver, ISO, and other styles

7

El, Assoudi Abdellatif. "Observation et commande des systèmes mécaniques." Lyon 1, 1994. http://www.theses.fr/1994LYO10039.

Full text

Abstract:

Dans ce travail on s'interesse aux problemes de l'observation et de la commande des systemes mecaniques. Ce travail comporte essentiellement quatre parties. Dans la premiere partie, on s'interesse a la stabilisation des systemes mecaniques chariot-pendule et pont-roulant autour d'un point de fonctionnement ; la commande est basee sur la minimisation de l'energie totale du systeme (hamiltonien). Dans la deuxieme, nous donnons un observateur pour tout systeme mecanique sachant que toutes les positions sont mesurees. Dans le cas du pont-roulant, un des problemes techniquement mal resolu est celui

APA, Harvard, Vancouver, ISO, and other styles

8

Ducrozet, Guillaume. "Modélisation des processus non-linéaires de génération et de propagation d'états de mer par une approche spectrale." Phd thesis, Université de Nantes, 2007. http://tel.archives-ouvertes.fr/tel-00263596.

Full text

Abstract:

L'analyse des processus non-linéaires de génération et de propagation de la houle a constitué le cadre de cette thèse. Afin d'améliorer la compréhension de ces phénomènes, une méthode numérique dite High-Order Spectral (HOS), résolvant le problème de façon non-linéaire, a été développée. Cette méthode, avec une formulation surfacique et résolue de manière spectrale, associe précision et efficacité. <br /><br />Un traitement original de la génération de houle non-linéaire est proposé. Il permet l'accès à des simulations de champs de vagues tridimensionnels complexes, fortement cambrés, dans un

APA, Harvard, Vancouver, ISO, and other styles

9

Ben, Amor Selwa. "Observation et commande de systèmes non linéaires temps-discret." Lyon 1, 1997. http://www.theses.fr/1997LYO10124.

Full text

Abstract:

Le travail presente dans ce memoire porte sur les themes suivants : i) le probleme de stabilisation des systemes non lineaires temps-discret : dans le cas temps-continu, ce probleme a ete aborde par plusieurs auteurs (kawski, hermes, coron,. . . ). Le probleme consiste a trouver des lois de commande permettant de stabiliser globalement le systeme non lineaire homogene. Apres avoir introduit et discute le caractere intrinseque de l'homogeneite, on a montre qu'un systeme homogene localement stabilisable l'est globalement, soit par un retour d'etat statique ou encore par un retour d'etat dynamiqu

APA, Harvard, Vancouver, ISO, and other styles

10

Stojanovic, Alexandre. "Sur la distribution limite des valeurs propres dans des matrices aléatoires." Paris 7, 2003. http://www.theses.fr/2003PA077184.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Chorot, Thierry. "Modélisation commande et observation des systèmes mécaniques hamiltoniens : application à un pont roulant." Lyon 1, 1991. http://www.theses.fr/1991LYO10200.

Full text

Abstract:

Les systèmes mécaniques constituent une part importante des applications de l'automatique. De plus, leur intérêt a connu un développement considérable depuis l'avènement de la robotique. Les modèles mathématiques de ces systèmes sont des équations différentielles tirées des équations d'Euler-Lagrange ou de Hamilton-Jacobi. Ceux-ci ont la propriété d'être affine en le vecteur de commande, celui-ci étant constitué des forces ou couples extérieurs appliqués au procédé. De tels systèmes ont déjà été largement étudiés à l'aide des outils géométriques de la géométrie différentielle. Notre travail pr

APA, Harvard, Vancouver, ISO, and other styles

12

Luong, Hong-Viet. "Construction Incrémentale de Spécifications de Systèmes Critiques intégrant des Procédures de Vérification." Phd thesis, Université Paul Sabatier - Toulouse III, 2010. http://tel.archives-ouvertes.fr/tel-00527631.

Full text

Abstract:

Cette thèse porte sur l'aide à la construction de machines d'états UML de systèmes réactifs. Elle vise à définir un cadre théorique et pragmatique pour mettre en oeuvre une approche incrémentale caractérisée par une succession de phases de construction, évaluation et correction de modèles. Ce cadre offre des moyens de vérifier si un nouveau modèle est conforme à ceux définis durant les étapes précédentes sans avoir à demander une description explicite des propriétés à vérifier. Afin de pouvoir analyser les machines d'états, nous leur associons une sémantique LTS ce qui nous a conduit à définir

APA, Harvard, Vancouver, ISO, and other styles

13

Ait, Yahia Ali. "Réduction de modèles d'état de systèmes thermiques." Marne-la-vallée, ENPC, 1998. http://www.theses.fr/1998ENPC9819.

Full text

Abstract:

On définit la base singulière. Une méthode de réduction de modèles d'état de systèmes thermiques linéaires et invariants utilisant cette représentation est présentée. La solution du problème d'évolution thermique s'exprime sous la forme d'une combinaison linéaire des éléments de cette base. Une solution approchée est reconstituée en considérant un sous-espace dominant de l'espace solution. Il est obtenu par troncature de la base en gardant un nombre réduit de directions dominantes. La méthode est appliquée dans une approche de réduction directe et modulaire.

APA, Harvard, Vancouver, ISO, and other styles

14

Cheng, Qi. "Contribution à l'estimation d'état dans des modèles non linéaires." Paris 11, 2009. http://www.theses.fr/2009PA112076.

Full text

Abstract:

Cette thèse est consacrée à l'estimation d'état dans des modèles non linéaires. Dans la première partie de ce mémoire, nous traitons les modèles linéaires et les modèles non linéaires dans un cadre unifié en prenant trois points de vue différents: la méthode des moindres carrés, l'approche Bayésiene et l'approche de la théorie de l'information. Nous présentons ensuite le principe du filtrage particulaire. Le filtre particulaire peut être considéré comme une approximation du filtre Bayésien récursif. Les performances du filtre particulaire dépendent fortement du choix de la distribution d'impor

APA, Harvard, Vancouver, ISO, and other styles

15

Bonnet, Olivier. "Le modèle Kelsenien d'état de droit fonctionnel." Paris 13, 1995. http://www.theses.fr/1995PA131005.

Full text

Abstract:

Kelsen subatitue au principe de separation des pouvoirs une division fonctionnelle, aux fins de representer l'etat comme un "tout". Faut-il apprehender le "tout" comme une unite ou bien comme une multitude de parties se referent les unes aux autres? les deux demarches se presupposent mais ne peuvent etre pratiquees en meme temps car l'ensemble n'existe qu'une fois et pas deux. Kelsen fonde son systeme normatif sur le principe de "relations fonctionnelles" qui font interagir les parties du "tout etatique" avec le "tout" lui-meme. Il en resulte toute une dynamtique logique de nature dualiste. No

APA, Harvard, Vancouver, ISO, and other styles

16

Kettani, Omar. "Modèles du calcul sans changement d'état : quelques développements et résultats." Aix-Marseille 2, 1989. http://www.theses.fr/1989AIX24005.

Full text

Abstract:

Le modele etudie, voisin de la machine de turing fait disparaitre l expression de l etat dans l algorithme par notation sur le ruban. La methode consiste a se munir d alphabets riches pour noter a la fois donnees et structures algorithmiques. L auteur presente d abord deux demonstrations d equivalence avec la machine de turing. Il envisage ensuite un modele dit parallele qui consiste a se deplacer en bloc sur une suite de cases, et en donne quelques applications sur des problemes classiques. La caracteristique de ces machines est de deplacer la tete de lecture a cheval sur deux cellules de mem

APA, Harvard, Vancouver, ISO, and other styles

17

Srinivasarengan, Krishnan. "Estimation d'état, estimation paramétrique et identifiabilité des modèles quasi-LPV." Thesis, Université de Lorraine, 2018. http://www.theses.fr/2018LORR0059/document.

Full text

Abstract:

Dans cette thèse, deux problèmes liés aux approches basées sur des modèles pour le diagnostic de défauts et l'estimation du niveau de dégradation des équipements dans un bâtiment sont étudiés: la conception d'observateurs adaptatifs pour l'estimation de l'état et des paramètres, et l'analyse de l'identifiabilité des paramètres. La classe des modèles considérés est celle des modèles quasi-linéaires à paramètres variants dans le temps (quasi-LPV) avec paramétrisation affine des matrices d'état. Utilisant l'approche polytopique de Takagi-Sugeno (T-S), deux types d'observateurs sont proposés, un p

APA, Harvard, Vancouver, ISO, and other styles

18

Srinivasarengan, Krishnan. "Estimation d'état, estimation paramétrique et identifiabilité des modèles quasi-LPV." Electronic Thesis or Diss., Université de Lorraine, 2018. http://www.theses.fr/2018LORR0059.

Full text

Abstract:

Dans cette thèse, deux problèmes liés aux approches basées sur des modèles pour le diagnostic de défauts et l'estimation du niveau de dégradation des équipements dans un bâtiment sont étudiés: la conception d'observateurs adaptatifs pour l'estimation de l'état et des paramètres, et l'analyse de l'identifiabilité des paramètres. La classe des modèles considérés est celle des modèles quasi-linéaires à paramètres variants dans le temps (quasi-LPV) avec paramétrisation affine des matrices d'état. Utilisant l'approche polytopique de Takagi-Sugeno (T-S), deux types d'observateurs sont proposés, un p

APA, Harvard, Vancouver, ISO, and other styles

19

Tine, Houari. "Notion d'état et modèle à objets : réflexion et contribution." Lyon, INSA, 1999. http://www.theses.fr/1999ISAL0120.

Full text

Abstract:

Les langages objets décrivent les aspects statiques d'une entité d'une façon très satisfaisante, mais délaissent les aspects dynamiques, qui sont pris en compte dans de nombreux travaux: les acteurs, les vues, les rôles, etc. Dans cet esprit, la notion d'état (abstrait) a été considérée, mais elle est confrontée à des problèmes d'ordre conceptuel et pratique : les anomalies d'héritage, encapsulation et réutilisation limitées, etc. En plus, notre travail introduit 1' anomalie de type et d'identité pour prouver que la multiplicité des interfaces dans les approches à états classiques est un leurr

APA, Harvard, Vancouver, ISO, and other styles

20

Paquette, Simon. "Évaluation symbolique de systèmes probabilistes à espace d'états continu." Thesis, Université Laval, 2005. http://www.theses.ulaval.ca/2005/22827/22827.pdf.

Full text

Abstract:

Nous présentons une méthode symbolique pour représenter des modèles probabilistes à espace d’états continu (LMP). Ces modèles représentent des systèmes de transitions qui ont un nombre d’états non-dénombrable. L’objectif de l’utilisation d’une méthode symbolique est de consommer moins de mémoire lors de l’enregistrement du modèle. Notre technique pour enregistrer symboliquement les modèles est l’utilisation des diagrammes de décision binaire à terminaux multiples (MTBDD). Ces diagrammes offrent la possibilité d’enregistrer des fonctions à variables booléennes, ainsi que des graphes, de façon p

APA, Harvard, Vancouver, ISO, and other styles

21

Phan, Thanh-Liêm. "Développement incrémental de spécifications d'architectures en UML intégrant des procédures de vérification." Thesis, Montpellier 2, 2013. http://www.theses.fr/2013MON20267/document.

Full text

Abstract:

Le langage UML est devenu un standard de fait, y compris pour le développement de systèmes critiques. Néanmoins, les outils actuels apportent peu d'aide pour exploiter et vérifier les modèles proposés, surtout en cours de développement. Cette thèse se concentre sur l'aide à la construction d'architectures en UML durant les phases d'analyse et de conception de systèmes réactifs. Elle vise à développer un cadre théorique et pragmatique pour mettre en œuvre une approche incrémentale. Ce cadre fournit un outil permettant de vérifier les architectures durant leur modélisation. Les architectures son

APA, Harvard, Vancouver, ISO, and other styles

22

Matignon, Denis. "Représentations en variables d'état de modèles de guides d'ondes avec dérivation fractionnaire." Paris 11, 1994. http://www.theses.fr/1994PA112332.

Full text

Abstract:

Le but de ce travail est l'etablissement de procedures systematiques d'ecriture explicite de modeles physiques de resonateurs d'instruments a vent en vue d'une synthese sonore de qualite. La representation en variables d'etat (ve) est choisie car, s'implantant facilement et permettant une estimation parametrique a posteriori, elle allie les avantages des modeles de signaux et des modeles physiques. Nous developpons une ecriture modulaire des systemes de propagation d'ondes interconnectes, et une procedure de construction recurrente de la representation en ve de reseaux de systemes elementaires

APA, Harvard, Vancouver, ISO, and other styles

23

Saad, Olfa. "Comportement à très basses énergies de la densité d'états intégrée." Paris 13, 2003. http://www.theses.fr/2003PA132032.

Full text

Abstract:

On établit une formule précise donnant l'asymptotique de la densité d'états intégrée à des énergies très basses (? → - ∞) du modèle d'Anderson non borné inférieurement et à potentiel à simple site assez régulier. Sous certaines conditions sur la fonction de répartition des variables aléatoires F, on obtient des asymptotiques complètes. Les premiers termes de cette asymptotique reprèsentent la probabilité que l'énergie de l'état fondamentale de l'opérateur à simple site, soit inférieure à ?. A ce stade de décroissance de la fonction F, la densité d'états ne voit pas l'effet tunnel et la matrice

APA, Harvard, Vancouver, ISO, and other styles

24

Kamdem, Simo Freddy. "Model-based federation of systems of modelling." Thesis, Compiègne, 2017. http://www.theses.fr/2017COMP2374.

Full text

Abstract:

L'ingénierie des systèmes complexes et systèmes de systèmes conduit souvent à des activités de modélisation (MA) complexes. Les problèmes soulevés par les MA sont notamment : comprendre le contexte dans lequel elles sont exécutées, comprendre l'impact sur les cycles de vie des modèles qu'elles produisent, et finalement trouver une approche pour les maîtriser. L'objectif principal de cette thèse est d'élaborer une approche formelle pour adresser ce problème. Dans cette thèse, après avoir étudié les travaux connexes en ingénierie système et plus spécifiquement ceux qui portent sur la co-ingénier

APA, Harvard, Vancouver, ISO, and other styles

25

Schreck, Cédric. "Modélisation statistique des transferts thermo-aérauliques dans les bâtiments." Electronic Thesis or Diss., Chambéry, 2024. http://www.theses.fr/2024CHAMA019.

Full text

Abstract:

Le bâtiment doit s’adapter pour faire face aux conditions climatiques futures, notamment des périodes caniculaires plus fréquentes, plus longues et plus intenses. Afin de garantir le confort thermique des occupants, le rafraichissement naturel par ouverture de fenêtre constitue une solution bioclimatique, gratuite en carbone et en énergie. Or, son potentiel de réduction du besoin de rafraîchissement par climatisation dépend de la valeur du taux de renouvellement en air extérieur. Une estimation fiable de ce taux de renouvellement d’air pourrait promouvoir la prise en compte du bénéfice apporté

APA, Harvard, Vancouver, ISO, and other styles

26

Kanso, Bilal. "Modélisation et validation des systèmes à base d'états." Phd thesis, Ecole Centrale Paris, 2011. http://tel.archives-ouvertes.fr/tel-00659305.

Full text

Abstract:

La thèse s'inscrit dans le domaine de la modélisation et de la validation des systèmes modernes complexes. Les systèmes actuels sont en fait d'une complexité sans cesse croissante et formés de plus en plus de composants de natures différentes. Ceci rend leur processus de conception et de validation coûteux et difficile. Il semble être la simple façon permettant de faire face à cette hétérogénéité et à cette complexité est l'approche orientée composant. Suivant cette approche, le système est une entité formée par un ensemble des composants interconnectés. Les composants définissent une interfac

APA, Harvard, Vancouver, ISO, and other styles

27

López, Estrada Francisco Ronay. "Model-based fault diagnosis observer design for descriptor LPV system with unmeasurable gain scheduling." Electronic Thesis or Diss., Université de Lorraine, 2014. http://www.theses.fr/2014LORR0162.

Full text

Abstract:

Ce mémoire de thèse est consacré à la conception de méthodes de diagnostic à base de modèles fondées sur les observateurs pour les systèmes non linéaires modélisés comme des systèmes singuliers (D) linéaires à paramètres variants (LPV), notés D-LPV (Descriptor-Linear Parameter Varying). Les systèmes D-LPV constituent une classe particulière de systèmes approximant avec un certain degré de précision la dynamique des systèmes complexes non linéaires à partir d’une combinaison de modèles linéaires locaux pondérés par des fonctions convexes d'ordonnancement. Dans le contexte de l’apparition de déf

APA, Harvard, Vancouver, ISO, and other styles

28

Quagliaro, Laurence. "Une nouvelle méthode pour l'analyse quantitative de la sûreté de fonctionnement des systèmes : la méthode des graphes fictifs." Compiègne, 1993. http://www.theses.fr/1993COMPD657.

Full text

Abstract:

L'analyse quantitative de la sûreté de fonctionnement des systèmes complexes (de part leur taille ou leur topologie) se heurte à un problème d'explosion combinatoire qui ne peut être résolu que par l'utilisation d'approximations : regroupements de composants, agrégation d'états,. . . Ces approximations peuvent conduire à des résultats erronés si elles sont utilisées sans discernement et en dehors de leur domaine de validité, souvent mal connu. Nous proposons une nouvelle méthode de simplification des systèmes modélisés par graphe de Markov : la méthode des graphes fictifs qui nous permet l'éla

APA, Harvard, Vancouver, ISO, and other styles

29

Boukerrou, Hamid. "Design of New Finite State Dynamical Systems Admitting a Matrix Representation : Application to Cryptography." Electronic Thesis or Diss., Université de Lorraine, 2023. http://www.theses.fr/2023LORR0069.

Full text

Abstract:

L'essor considérable des technologies de l'information et de la communication, dans le contexte actuel de la révolution numérique et de l'Internet des Objets, nécessite de renforcer la sécurité des données et des systèmes. Dans ce contexte, la cryptographie joue un rôle important. Les machines à état fini (FSM pour Finite State Machines en anglais) sont des briques élémentaires couramment utilisées en cryptographie symétrique, en particulier pour le chiffrement par flot (Stream Ciphering en anglais). Ces objets mathématiques sont également usuels en automatique pour décrire des systèmes discre

APA, Harvard, Vancouver, ISO, and other styles

30

Mestrah, Ali. "Identification de modèles sous forme de représentation d'état pour les systèmes à sortie binaire." Electronic Thesis or Diss., Normandie, 2023. http://www.theses.fr/2023NORMC255.

Full text

Abstract:

Cette thèse porte sur la modélisation paramétrique des systèmes linéaires invariants à partir de mesures binaires de la sortie. Ce problème demodélisation est abordée via l’usage des méthodes des sous-espaces. Ces méthodes permettent l’estimation de modèles sous forme de représentation d’état,un des avantages de ces méthodes étant que leur mise en œuvre ne nécessite pas la connaissance préalable de l’ordre du système. Ces méthodes ne sontinitialement pas adaptées au traitement de données binaires, l’objectif de cette thèse est ainsi leur adaptation à ce contexte d’identification. Dans cette th

APA, Harvard, Vancouver, ISO, and other styles

31

Bara, Gabriela Iuliana. "Estimation d'état des systèmes linéaires à paramètres variants." Vandoeuvre-les-Nancy, INPL, 2001. http://www.theses.fr/2001INPL591N.

Full text

Abstract:

La reconstruction, partielle ou entière, de l'état d'un système à l'aide d'un observateur est une étape importante qui intervient dans les domaines de la commande, du diagnostic et de la surveillance des systèmes. Notre travail de recherche porte sur l'estimation d'état de systèmes linéaires à paramètres variants dans le temps (LPV). Lorsque nous souhaitons élaborer une stratégie d'estimation d'état pour des systèmes LPV, l'utilisation d'observateurs linéaires à temps invariant n'est pas appropriée et les résultats de synthèse correspondant sont trop pessimistes. Afin de réduire ce conservatis

APA, Harvard, Vancouver, ISO, and other styles

32

Hocine, Abdelfettah. "Estimation d'état et diagnostic de systèmes à commutation par filtrage multi-modèle." Phd thesis, Institut National Polytechnique de Lorraine - INPL, 2006. http://tel.archives-ouvertes.fr/tel-00135049.

Full text

Abstract:

Ce travail concerne la détection de défauts sur les systèmes sujets à des changements de mode de fonctionnement. Le système réel est modélisé par un système à commutation markovienne qui est représenté par un ensemble de modèles de fonctionnement (fonctionnements normaux et anormaux) et par une matrice de probabilité de transition de Markov qui contient les probabilités de passage d'un modèle de fonctionnement à un autre. Cette représentation offre un cadre idéal à l'application des méthodes d'estimation multi-modèle. L'intérêt d'utiliser ce type d'estimateurs réside dans le fait qu'en plus de

APA, Harvard, Vancouver, ISO, and other styles

33

Hocine, Abdelfettah. "Estimation d'état et diagnostic de systèmes à commutation par filtrage multi-modèle." Electronic Thesis or Diss., Vandoeuvre-les-Nancy, INPL, 2006. http://www.theses.fr/2006INPL093N.

Full text

Abstract:

Ce travail concerne la détection de défauts sur les systèmes sujets à des changements de mode de fonctionnement. Le système réel est modélisé par un système à commutation markovienne qui est représenté par un ensemble de modèles de fonctionnement (fonctionnements normaux et anormaux) et par une matrice de probabilité de transition de Markov qui contient les probabilités de passage d'un modèle de fonctionnement à un autre. Cette représentation offre un cadre idéal à l'application des méthodes d'estimation multi-modèle. L'intérêt d'utiliser ce type d'estimateurs réside dans le fait qu'en plus de

APA, Harvard, Vancouver, ISO, and other styles

34

Ramasso, Emmanuel. "Reconnaissance de séquences d'états par le Modèle des Croyances Transférables. Application à l'analyse de vidéos d'athlétisme." Phd thesis, Université Joseph Fourier (Grenoble), 2007. http://tel.archives-ouvertes.fr/tel-00260770.

Full text

Abstract:

Cette thèse porte sur la problématique de reconnaissance automatique de systèmes dynamiques. Une méthodologie basée sur des modèles de séquences d'états est employée : les états permettent de décrire le système à un instant particulier tandis que des transitions permettent au système d'évoluer au cours du temps. Dans le cadre de la thèse, deux nouvelles méthodes de représentation et de reconnaissance de séquences d'états basées sur le Modèle des Croyances Transférables, modèle non probabiliste de raisonnement incertain basé sur les fonctions de croyance, sont proposées. La première méthode est

APA, Harvard, Vancouver, ISO, and other styles

35

Boimond, Jean-Louis. "Commande à modèle interne en représentation d'état. : Problèmes de synthèse d'algorithme de commande." Lyon, INSA, 1990. http://www.theses.fr/1990ISAL0102.

Full text

Abstract:

Les travaux présentés dans ce mémoire portent sur l'étude de la commande à modèle interne (C. M. I. ). Le premier chapitre présente les principales propriétés de cette structure qui allie les avantages de la commande en boucle ouverte (correcteur proche de l'inverse du modèle) et de la boucle fermée (prise en compte des erreurs de modélisation et des perturbations extérieures). Une rapide comparaison est faite avec la commande en boucle fermée. Dans le second chapitre, un critère de précision asymptotique est introduit. Les conditions que doivent vérifier les différents blocs de la C. M. I. Po

APA, Harvard, Vancouver, ISO, and other styles

36

Viel, Frédéric. "Stabilité des systèmes non linéaires contrôlés par retour d'état estimé. Application aux réacteurs de polymérisation et aux colonnes à distiller." Rouen, 1994. http://www.theses.fr/1994ROUES017.

Full text

Abstract:

Cette thèse est consacrée à la synthèse d'observateurs grand gain, observateurs à convergence exponentielle de systèmes non linéaires et à leur utilisation dans des lois de commande par feedback. Un principe de séparation est obtenu : il est montré qu'un feedback stabilisant (au sens de la stabilité asymptotique globale) qui utilise les estimations d'état fournies par un observateur à convergence exponentielle conserve sa propriété nominale de stabilisation sous une hypothèse de bornitude des trajectoires du système contrôleur-observateur. La méthodologie dégagée pour la construction d'observa

APA, Harvard, Vancouver, ISO, and other styles

37

Flórez-Valencia, Leonardo. "Modèle d'état de cylindre généralisé et la quantification de sténoses artérielles en imagerie 3D." Lyon, INSA, 2006. http://theses.insa-lyon.fr/publication/2006ISAL0038/these.pdf.

Full text

Abstract:

Dans cette thèse, nous nous intéressons à l'utilisation d'un modèle d'état de cylindre généralisé pour l'analyse semi-automatique d'images vasculaires tridimensionnelles. Ce modèle est utilisé à deux niveaux : pour la segmentation des images et pour la quantification du degré de sténose. Le modèle est incorporé dans une stratégie de suivi de structures tubulaires fondée sur l'estimateur d'état de Kalman, associée à la segmentation de contours plans par l'algorithme d'ensembles de niveaux dit "fast marching". L'interprétation du modèle comme objet géométrique continu donne accès aux formules an

APA, Harvard, Vancouver, ISO, and other styles

38

Raissi, Tarek. "Méthodes ensemblistes pour l'estimation d'état et de paramètres." Paris 12, 2004. https://athena.u-pec.fr/primo-explore/search?query=any,exact,990002154520204611&vid=upec.

Full text

Abstract:

Cette thèse est dédiée au développement et è l'application de méthodes ensemblistes pour estimation d'état et de paramètres pour des systèmes non-linéaires. Dans ce travail, nous avons développé une arithmétique des intervalles complexes basée sur la représentation polaire. Cette bibliothèque a été associée aux méthodes d'inversion ensembliste dans le cadre de l'estimation de paramètres de modèles diélectriques, d'une part. Et pour l'identification de paramètres thermophysiques d'autre part. Dans la deuxième partie de cette thèse, des algorithmes d'estimation d'état pour des systèmes décrits p

APA, Harvard, Vancouver, ISO, and other styles

39

Akhbari, Mahsa. "Analyse des intervalles ECG inter- et intra-battement sur des modèles d'espace d'état et de Markov cachés." Thesis, Université Grenoble Alpes (ComUE), 2016. http://www.theses.fr/2016GREAT026.

Full text

Abstract:

Les maladies cardiovasculaires sont l'une des principales causes de mortalité chez l'homme. Une façon de diagnostiquer des maladies cardiaques et des anomalies est le traitement de signaux cardiaques tels que le ECG. Dans beaucoup de ces traitements, des caractéristiques inter-battements et intra-battements de signaux ECG doivent être extraites. Ces caractéristiques comprennent les points de repère des ondes de l’ECG (leur début, leur fin et leur point de pic), les intervalles significatifs et les segments qui peuvent être définis pour le signal ECG. L'extraction des points de référence de l'E

APA, Harvard, Vancouver, ISO, and other styles

40

Pastor, Jilian. "Détermination de l'équation d'état de la matière nucléaire dans des modèles relativistes non linéaires : résultats et applications." Bordeaux 1, 2004. http://www.theses.fr/2004BOR12856.

Full text

Abstract:

Nous avons déterminé l'équation d'état de la matière nucléaire dans des modèles relativistes non linéaires. Nous nous sommes plus particulièrement intéressés à la région haute densité haute température dans laquelle les fonctions thermodynamiques ont des comportements très différents selon les modèles considérés. Le comportement à haute densité est, par exemple, un ingrédient fondamental pour la détermination de la masse maximale des étoiles à neutrons. Comme application, nous avons étudié les processus d'annihiltion de deux pions en paires e+e- dans la matière dense et chaude. Pour cela, nous

APA, Harvard, Vancouver, ISO, and other styles

41

Dautin, Sophie. "Réduction de modèles thermiques de bâtiments : amélioration des techniques par modélisation des sollicitations météorologiques." Poitiers, 1997. http://www.theses.fr/1997POIT2326.

Full text

Abstract:

Cette etude traite du probleme de la reduction de modeles thermiques de batiments lineaires et invariants. Son but est de montrer les resultats des techniques existantes et d'effectuer des modifications afin d'ameliorer la prise en compte des sollicitations typiques des batiments : la temperature exterieure et le flux solaire. La methodologie comporte plusieurs etapes : ? mise au point des modeles de connaissance detailles, couplee a une validation experimentale sur deux types de cellules de tests. Mise en evidence de la necessite de modeliser la tache solaire. ? application de quelques techni

APA, Harvard, Vancouver, ISO, and other styles

42

Ho, Thi Thu Suong. "Développement d'une nouvelle équation d'état applicable aux solutions d'électrolytes." Palaiseau, Ecole polytechnique, 2012. http://www.theses.fr/2012EPXX0006.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Tendeng, Léna. "Etude de modèles de transmission de la Schistosomiase: Analyse mathématique, reconstruction des variables d'état et estimation des paramètres." Phd thesis, Université de Lorraine, 2013. http://tel.archives-ouvertes.fr/tel-00843687.

Full text

Abstract:

L'objectif de cette thèse est l'analyse mathématique et l'estimation des paramètres de modèles de métapopulation de la bilharziose. A partir du modèle de base de Macdonald, nous expliquons en détail comment ces modèles sont construits. Nous faisons leur analyse mathématique complète à partir du calcul du nombre de reproduction de base R0. Nous montrons que si R0 est inférieur ou égal à 1 alors l'équilibre sans maladie est globalement asymptotiquement stable. Dans le cas où R0 est strictement plus grand que 1 nous montrons l'existence et l'unicité de l'équilibre endémique et prouvons ensuite qu

APA, Harvard, Vancouver, ISO, and other styles

44

Tendeng, Ndéye Léna. "Étude de modèles de transmission de la Schistosomiase : analyse mathématique, reconstruction des variables d'état et estimation des paramètres." Thesis, Université de Lorraine, 2013. http://www.theses.fr/2013LORR0110/document.

Full text

Abstract:

L'objectif de cette thèse est l'analyse mathématique et l'estimation des paramètres de modèles de métapopulation de la bilharziose. A partir du modèle de base de Macdonald, nous expliquons en détail comment ces modèles sont construits. Nous faisons leur analyse mathématique complète à partir du nombre de reproduction du calcul du nombre de reproduction de base R0. Nous montrons que si R0 est inférieur ou égal à 1 alors l'équilibre sans maladie est globalement asymptotiquement stable. Dans le cas où R0 est strictement plus grand que 1 nous montrons l'existence et l'unicité de l'équilibre endémi

APA, Harvard, Vancouver, ISO, and other styles

45

Tendeng, Ndéye Léna. "Étude de modèles de transmission de la Schistosomiase : analyse mathématique, reconstruction des variables d'état et estimation des paramètres." Electronic Thesis or Diss., Université de Lorraine, 2013. http://www.theses.fr/2013LORR0110.

Full text

Abstract:

L'objectif de cette thèse est l'analyse mathématique et l'estimation des paramètres de modèles de métapopulation de la bilharziose. A partir du modèle de base de Macdonald, nous expliquons en détail comment ces modèles sont construits. Nous faisons leur analyse mathématique complète à partir du nombre de reproduction du calcul du nombre de reproduction de base R0. Nous montrons que si R0 est inférieur ou égal à 1 alors l'équilibre sans maladie est globalement asymptotiquement stable. Dans le cas où R0 est strictement plus grand que 1 nous montrons l'existence et l'unicité de l'équilibre endémi

APA, Harvard, Vancouver, ISO, and other styles

46

Dimster, Sylvie. "Aide informatique à la modélisation de systèmes non linéaires dans l'espace d'état." Lille 1, 1985. http://www.theses.fr/1985LIL10025.

Full text

Abstract:

L'étude des systèmes non linéaires pose encore plus que dans le cas linéaire, le problème du choix de la représentation. En effet, les résultats obtenus différent selon qu'un même critère (de stabilité, par exemple) est appliqué à une modélisation plutôt qu'à une autre. D'autre part, sur une même modélisation, deux critères différents peuvent conduire à des conditions de stabilité différentes. Il n'existe pas, à ce jour, de méthode générale déterminant "le meilleur modèle" à choisir afin d'obtenir une synthèse optimale d'un processus. Il est donc nécessaire de définir plusieurs modèles du syst

APA, Harvard, Vancouver, ISO, and other styles

47

Bel, Liliane. "Sur la réduction des modèles linéaires : analyse de données en automatique." Paris 11, 1985. http://www.theses.fr/1985PA112306.

Full text

Abstract:

Nous étudions ici deux méthodes de réduction dans l’espace d’état : l’agrégation et la troncature dans la base d’équilibre. Dans le cas de l’agrégation on propose une nouvelle méthode de sélection des valeurs propres qui est à la fois géométrique et séquentielle. Des problèmes de robustesse sont soulevés et résolus dans quelques cas particuliers. La base d’équilibre est abordée par le biais des degrés de commandabilité et d’observabilité. La notion de degré de perturbabilité est introduite. On étudie ensuite l’application de ces deux méthodes à la détermination d’une commande d’ordre réduit. E

APA, Harvard, Vancouver, ISO, and other styles

48

Petiet, Florence. "Réseau bayésien dynamique hybride : application à la modélisation de la fiabilité de systèmes à espaces d'états discrets." Thesis, Paris Est, 2019. http://www.theses.fr/2019PESC2014/document.

Full text

Abstract:

L'analyse de fiabilité fait partie intégrante de la conception et du fonctionnement du système, en particulier pour les systèmes exécutant des applications critiques. Des travaux récents ont montré l'intérêt d'utiliser les réseaux bayésiens dans le domaine de la fiabilité, pour modélisation la dégradation d'un système. Les modèles graphiques de durée sont un cas particulier des réseaux bayésiens, qui permettent de s'affranchir de la propriété markovienne des réseaux bayésiens dynamiques. Ils s'adaptent aux systèmes dont le temps de séjour dans chaque état n'est pas nécessairement distribué exp

APA, Harvard, Vancouver, ISO, and other styles

49

Ngassaki, Athanase. "Pour un nouveau modèle de gestion du secteur public marchand au Congo : l'exemple des entreprises d'état." Paris 9, 1988. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=1988PA090006.

Full text

Abstract:

En dépit de la persistance des contreperformances, l'entreprise d'état au Congo demeure un instrument privilégié de la politique économique. Gérée suivant les règles d'efficacité, elle constitue une base indispensable d'accumulation nationale en effet, pour qu'elle soit une pièce maitresse dans une économie démunie de capitaux privés, il convient de la gérer avec de nouveaux critères. Son efficacité dépendra des conditions de création de la valeur ajoutée d'une part, et de l'affectation de cette valeur à un usage interne, c'est à dire la rémunération prioritaire des facteurs de production, d'a

APA, Harvard, Vancouver, ISO, and other styles

50

Chnib, Echrak. "Study and Development of an Adaptive Vertical Farm." Electronic Thesis or Diss., Université de Lorraine, 2025. http://www.theses.fr/2025LORR0016.

Full text

Abstract:

La population mondiale devrait atteindre près de 10 milliards d'ici 2050, entraînant une hausse attendue de la demande alimentaire due à la croissance démographique, au développement économique et à l'urbanisation. Pour répondre à cette demande de manière durable, les systèmes de cultures en serre, notamment l'agriculture verticale, se sont imposés comme une solution prometteuse, offrant des rendements élevés par unité de surface cultivée. La Serre Verticale Adaptative (SVA) est une serre verticale industrielle innovante qui ajuste dynamiquement la distance entre ses étagères empilées, optimis

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!