Littérature scientifique sur le sujet « Réplication de la machine d'état »

(francuski) Cet article trouve son point d?part dans une note de Mille plateaux, o? Deleuze et Guattari sugg?rent l'id?e que le secret ne trouve pas son origine dans un appareil d'?tat mais dans la ?machine de guerre?, ruinant du m?me coup l'apparente homog?n?it? entre le secret et l'appareil d'?tat. Cette th?se d?coule de la n?cessit? logique de ne plus d?finir le secret ? partir de la position d'un contenu cach? (toujours perceptible en droit). L'exposition de cette exigence logique permettra d'assigner une forme primitive et une forme d?riv?e du secret, dont l'enjeu est ici triple: (1) montrer le rapport sp?cifique de l'Etat au secret: l'Etat ne produit du secret qu'en le maintenant dans des limites qui pervertissent sa nature; (2) appr?hender les modalit?s selon lesquelles l'appareil d'Etat organise la perception du secret d'Etat: l'appareil d'Etat ne fonctionne au secret d'Etat qu'? condition d'en hi?rarchiser pr?cis?ment la perception, selon des seuils dont la communication est r?gl?e; (3) connecter l'id?e de secret ? sa potentialit? r?volutionnaire, toujours susceptible de miner l'organisation d'un appareil d'Etat: parce que le secret a son origine dans la machine de guerre - qui est formellement ext?rieure ? l'appareil d'?tat - et il introduit dans celui-ci un facteur de tension.

Résumé Depuis le début des années 70, le Canada montre un vif intérêt pour tout ce qui touche le traitement électronique du langage. Le projet TAUM MÉTÉO et la banque de terminologie TERMWM en sont d'excellents exemples. Le Secrétariat d'État se livre maintenant à l'essai, en milieu opérationnel, de deux outils de traduction haute technologie, soit du logiciel de TAO LOGOS et du poste de travail du traducteur (PTT). Les expériences menées jusqu'à ce jour ont donné lieu à diverses évaluations techniques ainsi qu'à des études linguistiques et ergonomiques, notamment à l'établissement d'une typologie des textes pouvant se prêter au traitement machine. Le Secrétariat d'État travaille dorénavant en étroite collaboration avec la société Logos et avec le centre de recherche responsable de la conception du PTT afin d'améliorer les prototypes à la lumière des besoins et des recommandations des traducteurs. Outre les deux grands projets-pilotes susmentionnés, le Secrétariat d'État vient également de doter l'ensemble de ses 800 traducteurs de micro-ordinateurs haut de gamme et il procède actuellement à la création d'une trousse d'ouvrages électroniques. De plus, il collabore à la mise au point d'une station de travail pour terminologue appelée LATTER (L'ATelier du TERminologue), dont le premier prototype sera mis à l'essai à l'été 1992. Toutes ces entreprises tendent vers un but à long terme, soit l'intégration en un seul et même système des meilleures aides à la traduction disponibles sur le marché. C'est ainsi que le traducteur de demain pourra, de son poste de travail, communiquer directement avec son client, consulter toutes les sources de documentation et les bases de données terminologiques électroniques nécessaires, confier la traduction de certains passages à un logiciel de traduction et, le cas échéant, procéder à l'éditique de son texte. Les possibilités sont immenses dans le domaine du traitement des langues naturelles, et le Secrétariat d'État du Canada déploie des efforts soutenus afin de demeurer à la tête du peloton.

Cette étude s'inscrit dans des programmes de recherche visant à surveiller spatialement l'effet des apports de produits résiduaires organiques sur les stocks de carbone des sols, et nécessitant pour cela le recueil de données spatialisées sur les systèmes de culture. L'objectif de cette étude est celui d'évaluer, au niveau d'organisation spatiale des parcelles culturales, l'apport des images satellitaires de Très Haute Résolution Spatiale (THRS) Pléiades à l'identification des cultures à des stades de développement précoce d'une part, à la détection des changements d'état de surface des sols nus liés aux opérations culturales, d'autre part. La région d'étude, vaste d'environ 4000 ha, dont 2100 ha de surface agricole utile, est située à l'ouest du territoire périurbain francilien de la Plaine de Versailles et du Plateau des Alluets (PVPA) (Yvelines). Environ 100 parcelles culturales ont fait l'objet d'observations de terrain synchrones des prises de vue des deux images Pléiades acquises les 3 et 24 avril 2013 et d'une image SPOT4 acquise le 2 avril 2013. La structuration géomatique de ces données acquises sur le terrain a servi à délimiter des zones susceptibles de servir à l'entraînement ou la validation des résultats de classification assistée par machine à support de vecteurs à noyau polynomial (pSVM). La classification pSVM a été mise en œuvre sur les 4 bandes spectrales assorties du NDVI pour les images monodates, et pour les 8 bandes spectrales assorties de 2 bandes NDVI pour l'image bi-temporelle Pléiades. Pour les classifications monodates des cultures, la précision totale atteint 87% pour l'image SPOT4 du 2 avril (6 classes), 79% pour l'image Pléiades du 3 avril (6 classes) et 85% pour celle du 24 avril (7 classes). Pour la classification bitemporelle (7 classes), la précision totale est de près de 80%, avec des cultures d'hiver très bien discriminées tandis que les confusions opèrent entre l'orge de printemps aux stades 2-3 feuilles et les sols nus préparés pour les autres cultures de printemps. A la date la plus précoce (2-3 avril), l'image Pléiades discrimine bien les opérations culturales (précisions utilisateur et producteur >77%), les jachères et les prairies et renseigne sur l'hétérogénéité spatiale des stades de développement des cultures, tandis que les céréales d'hiver et le colza sont mieux détectés sur l'image SPOT4 (précisions utilisateur et producteur >70%). Les images Pléiades apportent donc des informations complémentaires à celles des images multispectrales de haute résolution spatiale.

De nombreux protocoles Total Order Broadcast uniformes ont été conçus au cours des 30 dernières années. Ils peuvent être classés en deux catégories: ceux qui visent une faible latence, et ceux qui visent à haut débit. Latence mesure le temps nécessaire pour effectuer un seul message diffusé sans prétention, alors que le débit mesure le nombre d'émissions que les processus peuvent compléter par unité de temps quand il y a discorde. Tous les protocoles qui ont été conçus pour autant faire l'hypothèse que le réseau sous-jacent ne sont pas partagées par d'autres applications en cours d'exécution. Ceci est une préoccupation majeure à condition que dans les centres de données modernes (aka Clouds), l'infrastructure de mise en réseau est partagée par plusieurs applications. La conséquence est que, dans de tels environnements, le total des protocoles afin de diffusion uniformes présentent des comportements instables.Dans cette thèse, j'ai conçu et mis en œuvre un nouveau protocole pour la Total Order Broadcast uniforme qui optimise la performance lorsqu'il est exécuté dans des environnements multi-Data Centers et le comparer avec plusieurs algorithmes de l'état de l'art.Dans cette thèse, je présente deux contributions. La première contribution est MDC-Cast un nouveau protocole pour Total Order Broadcast dans lesquelles il optimise les performances des systèmes distribués lorsqu'ils sont exécutés dans des environnements multi-centres de données. MDC-Cast combine les avantages de la multidiffusion IP dans les environnements de cluster et unicast TCP/IP pour obtenir un algorithme hybride qui fonctionne parfaitement entre les centres de données.La deuxième contribution est un algorithme conçu pour déboguer les performances dans les systèmes distribués en boîte noire. L'algorithme n'est pas encore publié car il nécessite plus de tests pour une meilleure généralisation
Many uniform total order broadcast protocols have been designed in the last 30 years. They can be classified into two categories: those targeting low latency, and those targeting high throughput. Latency measures the time required to complete a single message broadcast without contention, whereas throughput measures the number of broadcasts that the processes can complete per time unit when there is contention. All the protocols that have been designed so far make the assumption that the underlying network is not shared by other applications running. This is a major concern provided that in modern data centers (aka Clouds), the networking infrastructure is shared by several applications. The consequence is that, in such environments, uniform total order broadcast protocols exhibit unstable behaviors.In this thesis, I provide two contributions. The first contribution is MDC-Cast a new protocol for total order broadcasts in which it optimizes the performance of distributed systems when executed in multi-data center environments. MDC-Cast combines the benefits of IP-multicast in cluster environments and TCP/IP unicast to get a hybrid algorithm that works perfectly in between datacenters.The second contribution is an algorithm designed for debugging performance in black-box distributed systems. The algorithm is not published yet due to the fact that it needs more tests for a better generalization

Dans cette thèse, nous abordons trois défis majeurs dans la conception des systèmes de blockchain en particulier et des systèmes distribués tolérants aux pannes à grande échelle en général. Ce travail vise à améliorer directement la performance de tels systèmes, ainsi qu'à fournir des outils utiles pour le développement futur d'algorithmes distribués.Premièrement, nous explorons les limites de ce qui peut être réalisé avec une synchronisation minimale en concevant CryptoConcurrency—un système de transfert d'actifs qui, au lieu d'ordonner totalement toutes les requêtes des utilisateurs, traite les requêtes concurrentes en parallèle autant que possible. Contrairement à d'autres systèmes similaires, dans CryptoConcurrency, nous permettons aux utilisateurs d'avoir des comptes partagés et ne faisons pas l'hypothèse irréaliste qu'un compte d'utilisateur honnête n'est jamais accédé simultanément depuis deux dispositifs. CryptoConcurrency explore de nouveaux terrains théoriques en abordant les conflits de transactions de manière dynamique et non par paires, permettant aux propriétaires de chaque compte de choisir indépendamment leur mécanisme préféré de résolution de conflits.Ensuite, nous améliorons la performance du consensus—le problème de synchronisation au cœur de la plupart des systèmes distribués pratiques. Nous construisons le premier protocole de consensus qui parvient à combiner deux propriétés souhaitables : une terminaison extrêmement rapide dans des condi- tions favorables et une récupération élégante lorsque ces conditions ne sont pas remplies. La conception implique un nouveau type de preuves cryptographiques, avec une implémentation pratique et efficace.Enfin, nous nous attaquons au problème de la conception de protocoles distribués efficaces avec une participation pondérée. À cette fin, nous définissons plusieurs nouveaux problèmes d'optimisation, liés à la réduction ou, en d'autres termes, à la quantification des poids des participants d'une manière qui préserve d'importantes propriétés structurelles. Nous montrons comment les appliquer pour créer des variantes pondérées d'un large éventail de protocoles distribués avec très peu de surcharge par rapport à leurs homologues dans le modèle non pondéré plus simple. Pour ces problèmes d'optimisation, nous prouvons des bornes supérieures, fournissons un solveur pratique open-source approximatif qui satisfait ces bornes, et effectuons une étude empirique sur les distributions de poids provenant de systèmes de blockchain réels
In this dissertation, we address three major challenges in the design of blockchain systems in particular and large-scale fault-tolerant distributed systems in general. This work aims at improving the performance of such systems directly, as well as providing useful tools for future development of distributed algorithms.First, we explore the limits of what can be done with minimal synchronization by designing CryptoConcurrency—an asset transfer system that, instead of totally ordering all users' requests, processes concurrent requests in parallel as much as possible. Unlike other similar systems, in CryptoConcurrency, we allow the users to have shared accounts and do not make the unrealistic assumption that an honest user's account is never accessed from two devices concurrently. CryptoConcurrency explores novel theoretical grounds by addressing transaction conflicts in a dynamic, non-pairwise manner, allowing the owners of each account to independently choose their preferred mechanism for conflict resolution. Then, we improve the performance of consensus—the synchronization problem at the heart of most practical distributed systems. We build the first consensus protocol that manages to combine two desirable properties: extremely fast termination in favorable conditions and graceful recovery when such conditions are not met. The design involves a novel type of cryptographic proofs, with an efficient practical implementation.Finally, we set out to tackle the problem of designing efficient distributed protocols with weighted participation. To this end, we define several new optimization problems, related to reducing or, in other words, quantizing the weights of the participants in a way that preserves important structural properties. We show how to apply them to make weighted-model variants of a large class of distributed protocols with very little overhead compared to their counterparts in the simpler non-weighted model. For these optimization problems, we prove upper bounds, provide a practical open-source approximate solver that satisfies these upper bounds, and perform an empirical study on the weight distributions from real-world blockchain systems

Le travail présenté dans cette thèse apporte, entre autres, une contribution aux méthodes d'analyse et de synthèse de la commande robuste des Machines Asynchrones à Double Alimentation (MADA) alimentées par deux onduleurs de tension avec deux bus continus distincts. Nous introduisons, dans un premier chapitre, la commande vectorielle classique de la MADA munie de capteurs mécaniques. Ce chapitre se distingue par une nouvelle approche pour assurer le découplage des courants de la MADA dans un repère (d-q) conduisant à des fonctions de transfert simples, et par conséquent, un calcul simplifié des correcteurs. Ce chapitre se termine par une étude prouvant la robustesse du découplage et de la commande vis-à-vis des variations paramétriques de la machine. La commande robuste de la MADA, par l'approche H∞, est ensuite abordée en faisant une comparaison entre quatre stratégies de contrôle : la sensibilité mixte, une variante de la sensibilité mixte, le loop-shaping et la m-synthèse. Une étude par m-analyse de la robustesse en stabilité et en performance offre un critère de choix du correcteur. La réalisabilité du correcteur sera à son tour un critère déterminant du choix de la méthode de correction. Dans une dernière partie, nous centrons notre intérêt sur la commande robuste de la MADA sans capteurs mécaniques en travaillant sur des méthodes d'estimation de la vitesse et de l'angle mécanique. Nous limitons cette étude à l'introduction de deux méthodes d'estimation : La MRAS, éventuellement associée à un filtre de KALMAN, et l'injection d'une composante haute fréquence associée à un traitement numérique (FFT – STFT) pour en déduire la vitesse. La première approche est simple à implanter mais elle est très sensible aux variations paramétriques, surtout la résistance statorique, tandis que la deuxième est complètement insensible à ces variations mais très lourde en calcul. Dans cette partie, nous nous intéressons aussi à la commande numérique de la MADA.

Dans ce travail, l'auteur met au point une strategie de controle de vitesse d'une machine asynchrone. L'objectif poursuivi est de s'affranchir de certaines hypotheses emises dans les commandes classiques de tels processus: utilisation d'un capteur mecanique, separation des modes electriques et mecaniques, et flux stationnaire. La prise en compte du couplage des modes conduit alors a une modelisation non lineaire du processus. L'absence de capteur de vitesse necessite l'observation de celle-ci et du couple de charge. Dans ce contexte, la definition de la strategie de commande a demande au prealable une etude des reperes de modelisation, une comparaison des methodes d'observation deterministes et stochastiques, ainsi qu'une analyse detaillee de l'observabilite. La commande proposee est constituee d'un filtre de kalman etendu et d'une regulation non lineaire basee sur la methode du decouplage entree-sortie. Le filtre etendu permet l'estimation robuste des courants, des flux, de la vitesse et du couple de charge pour un fonctionnement avec ou sans capteur de vitesse. La regulation non lineaire garantit une commande precise de la vitesse en presence d'un flux variable. Ces etudes ont abouti a la realisation d'un variateur asynchrone, dont la commande a ete implantee sur un microprocesseur a structure risc (dsp32c). Les resultats obtenus montrent de tres bonnes performances statiques et dynamiques du variateur et confirment la robustesse de la commande sur toute la plage de vitesse meme en l'absence d'un capteur de vitesse

State machine replication (SMR) is a software technique for tolerating failures using commodity hardware. The critical service to be made fault-tolerant is modeled by a state machine. Several, possibly different, copies of the state machine are then deployed on different nodes. Clients of the service access the replicas through a SMR protocol which ensures that, despite concurrency and failures, replicas perform client requests in the same order. Two objectives underly the design and implementation of a SMR protocol: robustness and performance. Robustness conveys the ability to ensure availability (liveness) and one-copy semantics (safety) despite failures and asynchrony. On the other hand, performance measures the time it takes to respond to a request (latency) and the number of requests that can be processed per time unit (throughput). In this thesis, we present two contributions to state machine replication. The first contri- bution is LCR, a uniform total order broadcast (UTO-broadcast) protocol that is throughput optimal in failure-free periods. LCR can be used to totally order the requests received by a replicated state machine. LCR has been designed for small clusters of homogeneous machines interconnected by a local area network. It relies on a perfect failure detector and tolerates the crash failures of all but one replicas. It is based on a ring topology and only relies on point-to-point inter-process communication. We benchmark an implementation of LCR against two of the most widely used group communication packages and show that LCR provides higher throughput than them, over a large number of setups. The second contribution is Abstract, a new abstraction to simplify the design, proof and implementation of SMR protocols. Abstract focuses on the most robust class of SMR protocols, i.e. those tolerating arbitrary (client and replica) failures. Such protocols are called Byzantine Fault Tolerant (BFT) protocols. We treat a BFT protocol as a composition of instances of our abstraction. Each instance is developed and analyzed independently. To illustrate our approach, we first show how, with our abstraction, the benefits of a BFT protocol like Zyzzyva could have been developed using less than 24% of the actual code of Zyzzyva. We then present Aliph, a new BFT protocol that outperforms previous BFT protocols both in terms of latency (by up to 30%) and throughput (by up to 360%).

Les machines électriques sont omniprésentes dans nos vies. Il y en a dans nos ordinateurs et appareils ménagers, elles entraînent les machines-outils et les robots dans nos usines et déplacent trains et navires. Suite aux progrès importants en électronique de puissance ces dernières années, les entraînements à vitesse variable ont aussi connu une popularité croissante. Cependant, leur utilisation à grande échelle pollue le réseau électrique avec des harmoniques indésirables qui troublent le fonctionnement d'équipements sensibles, tels les ordinateurs et les systèmes de télécommunications. L'impact des entraînements à vitesse variable sur le réseau électrique qui les alimente doit donc être analysé à l'aide d'outils de simulation. De plus, la conception des entraînements de grande puissance bénéficierait aussi d'un outil permettant de développer les prototypes des contrôleurs associés à ces entraînements. Le but de cette thèse est donc de développer l'outil en question, soit un simulateur d'entraînements électriques entièrement numérique en temps réel. Ce simulateur permettrait aux ingénieurs chargés de la conception des entraînements d'effectuer des batteries de tests sur un prototype de contrôleur, sans avoir besoin dès le départ du véritable convertisseur et de la véritable machine. Ces premiers essais pourraient donc se faire dans des installations beaucoup plus modestes et de façon plus sécuritaire. Notre travail est basé sur la modélisation des entraînements électriques à l'aide de l'approche par variables d'état. Nous décrivons d'abord une méthode permettant d'obtenir automatiquement les équations d'état de tout système électrique linéaire, les composantes non-linéaires étant simulées à l'extérieur de la représentation d'état. La méthode est basée sur la théorie des graphes linéaires et comporte beaucoup de calcul matriciel, lequel est réalisé efficacement dans l'environnement Matlab. Une technique originale de mise à jour des équations d'état suite à un changement d'état d'interrupteurs est utilisée, ainsi qu'une méthode permettant d'obtenir une représentation d'état unique de tout l'étage de puissance. Cette dernière méthode permet une solution simultanée de toutes les équations dynamiques du système. Une implantation de la discrétisation trapézoïdale adaptée aux systèmes variant dans le temps est ensuite décrite et comparée à une méhtode d'intégration récemment développée pour la simulation en temps réel des systèmes rigides. Enfin, les diverses techniques exposées sont implantées afin de permettre la simulation en temps réel d'un entraînement industriel sur un ordinateur parallèle. D'excellents résultats sont obtenus avec un pas de calcul de l'ordre de 60µs, incluant les communications interprocesseur et les acquisitions des entrées et sorties.

Lustre est un langage de programmation spécialement conçu pour la réalisation des systèmes réactifs. Le besoin de garantir que ces systèmes ont un comportement conforme a celui attendu nécessite de définir et de mettre en œuvre des méthodes de vérification formelle des programmes lustre, qui sont relatées dans cette thèse. La vérification d'un système consiste a contrôler que tous ses comportements sont corrects vis-a-vis de ses spécifications. Les comportements d'un programme lustre peuvent classiquement être représentés par une machine d'états finis, dont la génération permet de vérifier ses spécifications. La methode standard mettant en œuvre ce principe est limitée par le probleme d'explosion de la machine générée, qui n'est pas minimale. Un nouvel algorithme évitant ce probleme est présenté. Son implémentation nécessite l'emploi d'une technique de représentation et de manipulation symbolique de la machine (bdds), dont le cout d'utilisation est largement abaisse grâce a de nombreuses optimisations. Basées sur cette technique, deux autres implémentations originales de la methode standard et de la nouvelle methode proposée ci-dessus sont décrites. Les aspects de diagnostic correspondant au cas ou les programmes sont incorrects vis-a-vis de leurs spécifications sont aussi abordes

Le travail de recherche effectu'e dans cette thèse a été principalement consacré aux problèmes d'observation et de commande des moteurs asynchrones sans capteurs mécaniques. Deux contributions principale ont été faites en exploitant judicieusement le concept de grand gain. La première contribution est un observateur du type grand gain qui permet de réaliser une estimation relativement pr'ecise des variables d'état mécaniques et magnétiques des moteurs asynchrones à partir des mesures disponibles des courants et tensions statoriques. Le gain d'observation a été judicieusement modifié pour des considérations de faisabilité des calculs lorsque le moteur est amené à fonctionner dans des conditions incompatibles avec sa condition d'observabilité. Cet observateur a été particulièrement utilisé pour concevoir un asservissement des moteurs asynchrones sans capteur mécaniques à partir d'un système de commande avec retour d'état du type grand gain. La seconde contribution est une synthèse d'observateurs adaptatifs du type grand gain qui permettent d'estimer conjointement les variables d'état et un ensemble de combinaisons des paramètres d'un moteur asynchrone à partir des mesures des courants et tentions statoriques avec et sans mesure de la vitesse mécanique. Un observateur adaptatif a été particulièrement combiné avec un système de commande avec retour d'état du type grand gain pour concevoir un système de commande adaptative permettant de préserver les performances requises en asservissement des moteurs asynchrones sans capteurs magnétiques en dépit d'une méconnaissance de leurs paramètres.

Les travaux développés dans ce rapport traitent de la modélisation, de l'observation et de la commande avec et sans capteur de vitesse de la machine asynchrone. Tout d'abord, un observateur non linéaire de type grand gain a été synthétisé en vue de l'estimation de quelques grandeurs électriques et mécaniques de la machine. Ensuite, nous proposons une nouvelle loi de commande avec retour d'état incorporant un observateur du type grand gain pour deux classes de systèmes non linéaires uniformément observables et commandables incluant le modèle du moteur asynchrone. La synthèse de cette loi de commande, du type grand gain, exploite le concept de dualité observabilité/commande. Dans le but de réaliser une compensation robuste des perturbations d'état et de sortie de type échelon, une action intégrale filtrée y a été incorporée. Enfin, la loi de commande proposée a été validée en simulation sur le modèle du moteur puis expérimentalement sur un banc d'essais de moteurs asynchrones monté autour d'un processeur numérique de signal DSpace 1104.

Ce manuscrit décrit la modélisation et la régulation de la température au sein d’un dispositif expérimental développé initialement pour valider les principes de conception adoptés pour une nouvelle machine de mesure de cylindricité au Laboratoire Commun de Métrologie du Laboratoire national de métrologie et d’essais – Conservatoire national des arts et métiers.L’appareil a été équipé de 19 sondes à résistance de platine raccordées à une référence nationale afin d’étudier l’influence sur son comportement des perturbations thermiques générées par des sources de chaleur internes et externes. L’investigation de l’influence de ces perturbations sur les mesures réalisées avec des capteurs de déplacement capacitifs a également été menée. Les perturbations thermiques internes simulant les puissances dissipées par les éléments de guidage mécaniques ont été générées par l’intermédiaire de trois films chauffants. Une modélisation par éléments finis du dispositif expérimental a été réalisée et les résultats numériques comparés à des résultats expérimentaux réalisés dans les mêmes conditions. Les écarts obtenus, de l’ordre de 0,1 °C, sont trop élevés pour que ce modèle soit adopté pour l’élaboration d’une régulation thermique en temps réel. Dans la suite, un modèle réduit a été développé à partir des données expérimentales à l’aide de la méthode d’identification modale (MIM). Le résidu obtenu lors de la comparaison des résultats issus de ce modèle et expérimentalement est inférieur à 0,003 °C. Finalement, une régulation thermique à mieux que le centième de degré a été mise en oeuvre en utilisant une commande prédictive associée à un filtre de Kalman
This thesis describes the modelling and real-time regulation of the temperature inside an apparatus developed to validate the design principles of a cylindricity measurement machine at the Laboratoire Commun de Métrologie du Laboratoire national de métrologie et d’essais – Conservatoire national des arts et métiers. To study the effect of internal and external perturbations on the behaviour of the system, the apparatus is equipped with 19 platinum resistance thermometers calibrated with respect to the national standard. The effect of perturbations on the behaviour of capacitive displacement sensors has also been studied. The effect of internal perturbations generated by the mechanical guide rails was simulated using three film resistive heaters. Finite element modeling of the system temperature was carried out and the numerical results compared with experiment. The offsets about 0.1°C are too large for the model to be used for real-time temperature control. Subsequently, a reduced model wasdeveloped based on experimental data using the modal identification method (MIM). The residual obtained when its results are compared with experiment is 0.003°C. Finally, a temperature servo implemented using predictive control combined with a Kalman filter