Dissertations / Theses on the topic 'Systèmes à sortie binaire'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Systèmes à sortie binaire.'
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.
Goudjil, Abdelhak. "De l'identification des systèmes (hybrides et à sortie binaire) à l'extraction de motifs." Thesis, Normandie, 2017. http://www.theses.fr/2017NORMC240/document.
In this thesis, we deal with the identification of systems and the extraction of patterns from data. In the context of system identification, we focus precisely on the identification of hybrid systems and the identification of linear systems using binary sensors. Two very popular classes of hybrid systems are switched linear systems and piecewise affine systems. First, we give an overview of the different approaches available in the literature for the identification of these two classes. Then, we propose a new real-time identification algorithm for switched linear systems, it's based on an Outer Bounding Ellipsoid (OBE) type algorithm suitable for system identification with bounded noise. We then present several extensions of the algorithm either for the identification of piecewise affine systems, the identification of switched linear systems described by an output error model and the identification of MIMO switched linear systems. After this, we address the problem of the identification of linear systems using binary sensors by introducing an original point of view. We formulate the identification problem as a classification problem. This formulation allows the use of supervised learning algorithms such as Support Vector Machines (SVMs) for the identification of discrete time systems and the identification of continuous-time systems using binary sensors. In the context of pattern extraction, we first present an overview of the different pattern extraction algorithms and clustering techniques available in the literature. Next, we propose an algorithm for extracting patterns from data based on clustering techniques
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.
This thesis focuses on parametric modeling of invariant linear systems from binary output measurements. This identification problem is addressed via the use ofsubspace methods. These methods allow the estimation of state-space models, an added benefit of these methods being the fact that their implementation doesnot require the prior knowledge of the order of the system. These methods are initially adapted to high resolution data processing, the objective of this thesis istherefore their adaptation to the identification using binary measurements. In this thesis we propose three subspace methods. Convergence properties of two ofthem are established. Monte Carlo simulation results are presented to show the good performance, but also limits, of these methods
Oualla, Hicham. "Contributions à l'identification en boucle ouverte/fermée des systèmes à base de données binaires." Electronic Thesis or Diss., Normandie, 2022. http://www.theses.fr/2022NORMC229.
This thesis is devoted to the identification of systems based on binary data. First, a brief presentation of all the methods of identification of systems based on the use of binary data existing in the literature is given. In the following, we are interested in the problem of open loop identification of systems with binary output and input. We propose methods for the identification of FIR systems and more complex IIR systems with binary input and output. These methods are analyzed and tested by numerical examples. In the rest of this work, we propose first solutions to the problems of closed-loop identification of systems based on binary data. The first solutions are dedicated to binary output systems, the closed loop excitation is assumed to be high resolution. Finally, two methods are proposed for closed loop systems with binary output and input. These solutions are tested on numerical examples to quantify their performances
Tlich, Mohamed. "Augmentation des performances des systèmes DSL par allocation dynamique de spectre." Phd thesis, Télécom ParisTech, 2006. http://pastel.archives-ouvertes.fr/pastel-00001889.
Fortin, Francis. "Systèmes binaire : formation, évolution et environnement." Thesis, Université de Paris (2019-....), 2019. http://www.theses.fr/2019UNIP7071.
Accreting binary systems are stellar couples in which a compact object (white dwarf, neutron star, black hole) feeds on a regular star. This accretion phase in the life of a binary shows characteristic high-energy emission, and can cause the formation of relativistic jets as well as a transient behavior which goes from violent outbursts to quiescent periods. These objects contribute significantly to the X-ray and gamma radiation in the universe, and since 2015 we know they are the progenitors of spectacular collisions between compact objects, which at the end of their lives radiate gravitationnal waves. Because more than half of the stars in our Galaxy spend at least a part of their lives within a binary, studying these systems is key to better understand stellar evolution in general. This thesis starts from an intial questioning about the origin of binary systems, of their diversity and the different evolutionnary paths they take, as well as the intricacy of their local environment. The tools we use to adress these topics are mainly observation-oriented. In particular, we will try to make full use of the multi-wavelength properties of binaries in the studies we present. The first part is a general introduction which covers the basics of stellar evolution, the processes taking place within binary systems, and also introduces practical aspects about observations such as the messengers and the observables that are associated. The second part is about a project of census concerning accreting binaries. We correlate previous catalogues with the Centre de Données Astronomiques de Starsbourg to update some of the information about the binaries, and also try to find counterparts of high-mass X-ray binaries (HMXB) among the detections of the Gaia satellite. This census will be used in a project studying the natal kick of HMXBs and will also be the starting point to look for progenitors of compact binaries which will be detected by the gravitationnal satellite LISA. The third part aims to actively participate in the census of X-ray binaries by determining the nature of unidentified INTEGRAL sources (IGR). We present the analysis of spectrophotometric data in near-infrared acquired with VLT/ISAAC on 14 IGR sources. Among them, we identified 9 new accreting binaries and 5 active galactic nuclei. The fourth part focuses on a particular system. IGR J16318-4848 is an obscured supergiant B[e] high-mass X-ray binary, and posesses a complex environment which we aim to characterize. We report on spectroscopic acquisitions with VLT/X-Shooter which allow us to probe the dynamics of the stellar wind from the supergiant star, the orbital motion of the dusty circumbinary disk as well as its own metal-rich wind. By modeling the broadband spectral energy distribution down to the far-infrared (Spitzer, Herschel), we determine the temperature of the emitting media as well as their absolute scales. The fifth part is a study on a transient source, the microquasar Swift J1745-26, made of a low-mass star orbiting a black hole. It was detected in X-rays down to radio waves late 2012 during outburst, and was observed again five months later during its decay. We use photometric data from VLT/FORS2, ISAAC in optical and near-infrared as well as soft and hard X-ray measurements (Swift/BAT, XRT) in order to compare the broadband spectral energy distributions at these two epochs. The variations in luminosity can be especially explained by a change in the internal radius of an accretion disk around the black hole. We conclude this manuscript by doing a summary of the results we brought on these topics, and also do a short review of the future prospects in the field of accreting binaries
Lwafi, Hassan. "Sur la stabilisation entrée sortie des systèmes non linéaires." Poitiers, 1999. http://www.theses.fr/1999POIT2375.
Danhane, Baparou. "Contrôlabilité en sortie." Electronic Thesis or Diss., Université de Lorraine, 2022. http://www.theses.fr/2022LORR0246.
This thesis focuses on the output controllability of linear systems. In general, the concept of controllability when mentioned, refers to the state of the system. More precisely, the main question is whether or not it is possible to send (in finite time) the system from an arbitrarily chosen initial state to a prescribed final state. However, in some situations, one may be interested in controlling a variable other than the state (e.g. a combination of the system state and the system input). This is the case, for example, if one wants to control the difference in position between two cars, or if one has coupled differential equations and aims to control certain variables of the system.The concept of output controllability was introduced in the 60's by J. Bertram and P. Sarachick to address this kind of problem. In this framework, instead of controlling the state, the idea is to control a variable called output which is a combination of the state and the input of the system. Unfortunately, this concept did not get the same infatuation as that of the state. Consequently, there are very few results in the literature on this subject and well-known controllability criteria in the state framework for linear systems have not been extended to the output framework.The first goal of this thesis will be to complete and refine the existing results in the literature for linear systems. We will establish necessary and sufficient conditions for finite-time controllability of the output and when the system is output controllable, we will show how to construct the appropriate inputs to achieve the desired output values in finite time.The second part of this thesis is devoted to the output controllability of linear systems whose dynamics depend on a parameter. Such systems frequently appear in practical life.For example, in the case of the cars mentioned above, their dynamics depend on their mass, which varies according to the number of people carried. We can think, in a general way, of any physical system whose dynamics depend on a parameter which is inherent to it and which is not precisely known.The purpose of this last part will be to establish conditions for which any output trajectory (trajectory here refers to a function of the parameter) can be "reached" in finite time with parameter independent inputs. Necessary and/or sufficient conditions will be established with applications to averaged controllability
Grospeaud, Olivier. "Contribution à l'identification en boucle fermée par erreur de sortie." Poitiers, 2000. http://www.theses.fr/2000POIT2343.
Di, Benedetto Maria Domenica. "Poursuite de modèle et régulation de sortie des systèmes non linéaires." Paris 11, 1987. http://www.theses.fr/1987PA112115.
Astolfi, Daniele. "Observateurs et régulation de sortie robuste pour des systèmes non linéaires." Thesis, Paris Sciences et Lettres (ComUE), 2016. http://www.theses.fr/2016PSLEM091/document.
Observers and output regulation are two central topics in nonlinear control system theory. Although many researchers have devoted their attention to these issues for more than 30 years, there are still many open questions. In the observer theory a key role is played by the so called high-gain observers. The purpose of the first part of the thesis is to study novel techniques which allow to overcome or at least to mitigate some of the main drawbacks characterizing this class of observers. We propose a novel class of high-gain observers, denoted as ``low-power'', which allows to overcome numerical problems, to avoid the peaking phenomenon and to improve the sensitivity properties to high-frequency measurement noise. The second part of the thesis addresses the output regulation problem, solved for linear systems during the 70's by Francis and Wonham who coined the celebrated ``internal model principle''. Constructive solutions have also been proposed in the nonlinear framework but under restrictive assumptions that reduce the class of systems to which this methodology can be applied. In this thesis we focus on the output regulation problem in presence of periodic disturbances and we propose a novel approach which allows to consider a broader class of nonlinear systems. The resulting design is robust in the sense defined by Francis and Wonham
Colmenares, William. "Sur la robustesse des systèmes linéaires incertains : approche quadratique, retour de sortie." Phd thesis, Université Paul Sabatier - Toulouse III, 1996. http://tel.archives-ouvertes.fr/tel-00139742.
Ticlea, Alexandru Ioan. "Techniques d'immersion pour l'estimation non linéaire : application aux systèmes de puissance." Grenoble INPG, 2006. http://www.theses.fr/2006INPG0101.
This work lies within the scope of the nonlinear estimation problem. Its contributions mainly concern the transformations through immersion (for the purpose of constructing an observer), which generalize the transformations through diffeomorphism in the way that the dimension of the state spa ce is not necessarily preserved; it may increase. First, we resort to the use of output injection in order to enlarge the class of the systems that can be immersed into a state affine form and we indicate some heuristic ways to construct the immersion. Second, we show that a possibility to obtain a rigorous characterization of the immersion conditions, regardless the presence of output injection, is to tolerate in some way the nonlinearities. Without output injection, the corresponding immersion procedure is systematic. Finally, for the form that results through immersion we present a high gain observer whose synthesis does not rely on the uniform observability assumption
Andrieu, Vincent. "Bouclage de sortie et observateur." Phd thesis, École Nationale Supérieure des Mines de Paris, 2005. http://pastel.archives-ouvertes.fr/pastel-00001530.
Chetoui, Manel. "Identification de systèmes par modèle non entier à partir de signaux d'entrée sortie bruités." Phd thesis, Université Sciences et Technologies - Bordeaux I, 2013. http://tel.archives-ouvertes.fr/tel-00989549.
Al-Tahir, Ali Abdul Razzaq. "Synthèse d’observateur d'état et commande non-linéaire à retour de sortie des systèmes électriques." Caen, 2016. http://www.theses.fr/2016CAEN2070.
The research work developed in this thesis has been mainly devoted to the observation and sensorless control problems of electrical systems. Three major contributions have been carried out using the high - gain concept and output feedback adaptive nonlinear control for online UPS. In this thesis, we dealt with synthesis of sampled high - gain observers for nonlinear systems application to PMSMs and DFIGs. We particularly focus on two constraints: sampling effect and tracking unmeasured mechanical and magnetic state variables. The first contribution consists in a high gain observer design that performs a relatively accurate estimation of both mechanical and magnetic state variable using the available measurements on stator currents and voltages of PMSM. We propose a global exponential observer having state predictor for a class of nonlinear globally Lipschitz system. In second contribution, we proposed a novel non – standard HGO design for non-injective feedback relation application to variable speed DFIG based WPGS. Meanwhile, a reduced system model is analyzed, provided by observability test to check is it possible synthesis state observer for sensorless control. In last contribution, an adaptive observer for states and parameters estimation are designed for a class of state - affine systems application to output feedback adaptive nonlinear control of three-phase AC/DC boost power converter for online UPS systems. Basically, the problem focused on cascade nonlinear adaptive controller that is developed making use Lyapunov theory. The parameters uncertainties are processed by the practical control laws under backstepping design techniques with capacity of adaptation
Bertrand, Jean-Marc. "Analyse structurelle et commande par découplage entrée-sortie des modèles bond graphs." Lille 1, 1997. http://www.theses.fr/1997LIL10207.
Nicolau, Florentina. "Géométrie et platitude des systèmes de contrôle de poids différentiel minimal." Thesis, Rouen, INSA, 2014. http://www.theses.fr/2014ISAM0014/document.
Firstly, we study flatness of multi-input control-affine systems. 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, that is of differential weight equal to n+m+l, where n is the dimension of the state-space and m is the number of controls. We illustrate our results by several examples. Secondly, we give a complete geometric characterization of systems locally static feedback equivalent to a triangular form compatible with the m-chained form. We analyze and solve their flatness. We discuss singularities and provide a system of first order PDE's to be solved in order to find all x-flat outputs. We illustrate our results by an application to a mechanical system: the coin rolling without slipping on a moving table
Rivaille, Pierre-Yves. "Contribution aux systèmes modulaires de représentation des nombres : conversion vers binaire et addition modulaire multi-opérande." Paris 6, 2007. http://www.theses.fr/2007PA066502.
Karim, Abdelali. "Contribution au découplage entrée-sortie et au rejet de perturbation des modèles bond graphs : approche non régulière." Lille 1, 2002. https://pepite-depot.univ-lille.fr/RESTREINT/Th_Num/2002/50376-2002-367.pdf.
Manouan, Aka. "Commande modale par retour statique de sortie : application au pilote automatique d'un avion de transport moderne." Toulouse, ENSAE, 1994. http://www.theses.fr/1994ESAE0017.
Medles, Abdelkader. "Codage et traitement de signal avancé pour les systèmes MIMO." Phd thesis, Télécom ParisTech, 2004. http://pastel.archives-ouvertes.fr/pastel-00000785.
Mohand, Oussaïd Linda. "Conception et vérification formelles des interfaces homme-machine multimodales : applications à la multimodalité en sortie." Thesis, Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique, 2014. http://www.theses.fr/2014ESMA0022/document.
Multimodal Human-Computer Interfaces (HCI) offer to users the possibility to combine interaction modalities in order to increase user interface robustness and usability. Specifically, output multimodal HCI allow system to return to the user, the information generated by the functional core by combining semantically different modalities. In order to design such interfaces for critical systems, we proposed a formal model for the design of output multimodal interfaces. The proposed model consists of two models: the semantic fission model describes the decomposition of the information to return into elementary information and the allocation model specifies the allocation of the elementary information with modalities and media. We have also developed a detailed Event B formalization for the two models: semantic fission and allocation. This formalization has been instantiated on case studies and generalized in an Event B development process framework including semantic fission and allocation models. This formalization allows to carry out safety, liveness and usability properties verification
Michel, Luc. "Contributions à la traduction binaire dynamique : support du parallélisme d'instructions et génération de traducteurs optimisés." Thesis, Grenoble, 2014. http://www.theses.fr/2014GRENM101/document.
Computing units embedded into modern integrated systems are com-plex, heterogeneous and numerous. Simulation widely used during both software and hardware designof these systems is becoming a real challenge. The simulator performance ismainly driven by the processors instruction set simulation approach, among which Dynamic BinaryTranslation (DBT) is one of the most promising technique. DBT aims at transla-ting on the fly instructions of the simulated processor (the target) into instructions that canbe understood by the computer running the simulation (the host). This technique is fast,but designing a simulator based on it is complex. Indeed, the number of target architecturesis limited, and furthermore, implementing a simulator is a complicated process because oflong and error prone development.This PhD contributes to solve two major issues. The first contribution tackles the problem ofsupporting Very Long Instruction Word (VLIW) architectures as simulation targets,by studying their architecture peculiarities with regards to DBT. Some of these specificities,like explicit instruction parallelism make the translation to scalar hosts nontrivial. Thesolutions we propose bring simulation speed gains of two orders of magnitude compared tointerpreter based simulators. The second contribution addresses the problem of automaticgeneration of DBT based simulators. With both target and host architectural descriptions,we produce a simulator optimised for this pair. This optimisation is done with an instructionsmatching process that finds host instruction candidates to simulate a target instruction.Although being experimental, our generator gives very promising results. It is able toproduce a simulator for the MIPS architecture whose performances are close to a hand writtenimplementation
Kobi, Abdessamad. "Diagnostic de processus continus : application à la détection de valeurs aberrantes dans les signaux d'entrée et de sortie de systèmes." Vandoeuvre-les-Nancy, INPL, 1994. http://www.theses.fr/1994INPL070N.
Slimani, Sai͏̈d. "Etude spatiotemporelle des phénomènes non linéaires de propagation : application à la convection d'un fluide binaire." Aix-Marseille 1, 1994. http://www.theses.fr/1994AIX11032.
Sentouh, Chouki. "Analyse du risque et détection de situations limites : application au développement des systèmes d'alerte au conducteur." Phd thesis, Université d'Evry-Val d'Essonne, 2007. http://tel.archives-ouvertes.fr/tel-00419414.
Faravelon, Antoine. "Accélération des accès mémoire dans la traduction binaire dynamique." Thesis, Université Grenoble Alpes (ComUE), 2018. http://www.theses.fr/2018GREAM050/document.
In this thesis we are interested in the acceleration of memory accesses in dynamic binary translation.For this, we base ourselves on methods whose main purpose is to manage the target's address space with the host's hardware.Two main methods for this have been explored, one based on hardware assisted virtualization, and the other on a Linux module.In the case of hardware assisted virtualization, we used the simulator as a specific guest.This one playing a role similar to that of an OS, in addition to its role of simulator, for the target.In particular, it is responsible for creating an enmbedded address space that can be used directly, without software simulation of an MMU.In the case of a method based on a Linux module, the same purpose is pursued.But the simulator continues to operate as a normal process.On the other hand, it now has a companion module, with which it can communicate through ioctl.This module is responsible for manipulating the host's virtual memory management to create an embedded address space for the target.These methods have been implemented in Qemu and Linux and lead to significant performance gains
Siellez, Karelle. "Les systèmes binaires compacts comme sources de multimessagers : taux, distribution, émissions." Thesis, Nice, 2015. http://www.theses.fr/2015NICE4055.
The coalescence of compact binaries (two neutron stars or a neutron star and a black hole) emits gravitational waves and are thought to produce a short Gamma-Ray Burst (sGRB). With the second generation of gravitational waves detector, the detection in coincidence of both electromagnetic and gravitational emission will open a new window in astrophysics; the multimessenger area. It will allow the understanding of this phenomena, their progenitor and central engine. The goal of this thesis was to made an estimation of the coincident rate for different instruments, using two different method. The first one was based on the oberservations. Thus, I selected a sample of 31 sGRBs of known redshift based on specific criteria. After studying the spectral, temporal and host properties, I derived the isotropic local rate corrected from all known biases. This result was then applied to different satellites and gravitational detectors. After that I simulated this population to confirm this coincident rate with the Monte Carlo simulations. The difference between the two results is explained by a low-redshift population that can't be reproduce by the simulations, and was underestimated before. After tested different parameters for the model, I conclude that this non reproducible population of faint sGRBs at low redshift might be due to an other sort of progenitor. This thesis shows the feasibility of a coincident detection and the observational strategy that should be adopted. The understanding of our sample of sGRB is crucial in the preparation of this coincident detection
Aberkane, Samir. "Systèmes tolérant aux défauts : analyse et synthèse stochastiques." Phd thesis, Université Henri Poincaré - Nancy I, 2006. http://tel.archives-ouvertes.fr/tel-00151379.
Couturier, Bérengère. "Organisation de la sortie d'hospitalisation et de la continuité des soins en aval." Thesis, Paris 6, 2016. http://www.theses.fr/2016PA066571.
Organization of hospital discharge and impact on patient health outcomes. We made a systematic review of the literature with the aim of exploring associations between components of the hospital-discharge process–including continuity of care thereafter–and patients’ health outcomes in the post-discharge period. Results indicate that none of the studies reported a statistically significant association between the presence of a component or an intervention likely improving the quality of hospital-discharge process and mortality. As regards rehospitalizations or emergency department visits, the analysis of the literature provides a more balanced response. At the same time, the wide heterogeneity observed across the studies prevents from performing a meaningful meta-analysis and no consistent statistical association between components of the hospital-discharge process including continuity of care thereafter and patient health outcomes could be identified.Patients’ opinions on the hospital discharge process. Taking advantage of the SENTIPAT trial, we undertook an ancillary study that compared two methods for collecting patients’ opinions on the discharge process: questionnaire self-completion on a dedicated internet website versus a telephone interview. Although the internet patients’ response rate was lower than that of the telephone patients, estimates of patient satisfaction on the discharge process issued from both modes of administration of the questionnaire were similar. Results advocate for establishing a permanent information system that would enable volunteering patients to express their opinions on hospital discharge and for developing the concept of sentinel patient
Oter-Duthoit, Liliane. "Application des méthodes de la théorie des systèmes à la simulation de l'évolution des flux thermiques sur les faces d'entrée et de sortie d'une paroi multicouche." Lille 1, 1985. http://www.theses.fr/1985LIL10062.
Mihaita, Adriana. "Approche probabiliste pour la commande orientée évènement des systèmes stochastiques à commutation." Thesis, Grenoble, 2012. http://www.theses.fr/2012GRENT036/document.
Hybrid systems are dynamical systems, characterized by a dual behaviour, a continuousinteraction between a discrete and a continuous functioning part. The center ofour work is represented by a particular class of hybrid systems, more specific by thestochastic switching systems which we model using continuous time Markov chains anddifferential equations.The random behaviour of such systems requires a special command which adapts tothe arbitrary events that can completely change the evolution of the system. We chose anevent-based control policy which is triggered only when it’s necessary (on an unforeseenevent - for example when a threshold that is reached), and until certain functioningconditions are met (the system returns in the normal state).Our approach aims to develop a probabilistic model that calculates a performancecriterion (in this case the energy of the system) for the proposed control policy. We startby proposing a discrete event simulation for the controlled stochastic switching system,which gives us the opportunity of applying a direct optimisation of the control command.It also allows us to compare the results with the ones obtained by the analytical modelswe have built when the event-based control is applied.An analytical model for computing the energy consumed by the system to apply thecontrol is designed by using the exit probabilities of the control region, respectively, thesojourn times of the Markov chain before and after reaching the control limits. The lastpart of this work presents the results we have obtained when comparing the analyticaland the simulation method
Maia, Carlos Andrey. "Identification et commande de systèmes à évènements discrets dans l'algèbre (max,+)." Angers, 2003. http://www.theses.fr/2003ANGE0008.
Timed Event Graphs are a subclass of Petri nets suitable to describe Discrete Event Systems subject to synchronization phenomena. Although these systems have nonlinear time bahavior in conventional algebra they are described by linear equations in dioid algebra. This thesis deals with identification and control problems of such systems. The chapter 3 proposes a parametric estimation method for (max,+)-linear SISO models. The estimation algorithm is developed by assuming the knowledge of the structure of a model represented by an input-output transfer function. The chapter 4 deals with the model-reference control stated in a Just-in-Time context. This approach proposes a control structure based on a precompensator and a feedback controllers which allows to obtain the desired performances for the controlled system. It is shown That this approach always leads to an optimal bahavior of the closed-loop system and that the existence of the optimal controller is independent of the model reference choice (unlike previous approaches found in the literature). These results are used to solve the stabilization problem of timed event graphs
Mihaita, Adriana, and Adriana Mihaita. "Approche probabiliste pour la commande orientée évènement des systèmes stochastiques à commutation." Phd thesis, Université de Grenoble, 2012. http://tel.archives-ouvertes.fr/tel-00770325.
Boutelier, Martin. "Etude des Oscillations Quasi Périodiques dans les systèmes binaires X de faible masse." Phd thesis, Université Paul Sabatier - Toulouse III, 2009. http://tel.archives-ouvertes.fr/tel-00444379.
Marquez-Martinez, Luis Alejandro. "Analyse et commande de systèmes non linéaires à retards." Phd thesis, Université de Nantes, 2000. http://tel.archives-ouvertes.fr/tel-00269005.
On recherche des solutions causales pour divers problèmes de la commande, pouvant être mises en oeuvre sans faire appel aux prédicteurs d'état.
Pour ce faire, une nouvelle approche mathematique adaptée à cette classe de systèmes à été introduite. Elle est établie de façon naturelle à partir des connaissances standard sur les systèmes non linéaires sans retard et sur les systèmes linéaires à retards.
Cette nouvelle approche est, en fait, une contribution majeure de ce travail de thèse. Elle nous a permis d'étudier quelques propriétés des systèmes non linéaires à retards, telles que l'accessibilité ou l'inversion, mais aussi de proposer des conditions vérifiables et constructives sous lesquelles il existe des solutions causales à plusieurs problèmes de la commande, tels que le rejet de perturbation, la linéarisation entrée-sortie et la poursuite de trajectoire.
Melin, Julie. "Synthèse de lois de commande pour les systèmes à commutations avec contraintes de performances." Phd thesis, Institut National Polytechnique de Lorraine - INPL, 2011. http://tel.archives-ouvertes.fr/tel-00616844.
Revue, Alexandre. "Contribution des systèmes d'information géographiques à la sécurité routière : approche multicapteurs pour l'évaluation de configurations à risques." Paris, ENMP, 2003. http://www.theses.fr/2003ENMP1147.
Marx, Swann. "Méthodes de stabilisation de systèmes non-linéaires avec des mesures partielles et des entrées contraintes." Thesis, Université Grenoble Alpes (ComUE), 2017. http://www.theses.fr/2017GREAT040/document.
This thesis is about the stabilization of nonlinear systems with partial measurements and constrained input. The two first chapters deals with saturated inputs in the contex of infinite-dimensional systems for nonlinear abstract equations and for a particular partial differential equation, the Korteweg-de Vries equation. The third chapter provides an output feedback design for two Korteweg-de Vries equations using the backstepping method. The fourth chapter is about the output feedback design of nonlinear finite-dimensional systems for which there exists a hybrid controller. A high-gain observer strategy is used
Millo, Jean-Vivien. "Ordonnancements périodiques dans les réseaux de processus : Application à la conception insensible aux latences." Phd thesis, Université de Nice Sophia-Antipolis, 2008. http://tel.archives-ouvertes.fr/tel-00507498.
Chouchene, Wissem. "Vers une reconfiguration dynamique partielle parallèle par prise en compte de la régularité des architectures FPGA-Xilinx." Thesis, Lille 1, 2017. http://www.theses.fr/2017LIL10135/document.
This work proposes two complementary design flows allowing the broadcast of a partial bitstream to a set of identical Partially Reconfigurable Regions (PRRs). These two design flows are applicable with FPGAs - Xilinx. The first one called ADForMe (Automatic DPPR Flow For Multi-RPRs Architecture) allows the automation of the traditional flow of Xilinx RDP through the automation of the floorplanning phase. This floorplanning is carried out by the AFLORA (Automatic Floorplanning For Multi-RPRs Architectures) algorithm which we have designed that allows the same allocation of these RPRs in terms of geometric shape taking into account the technological parameters of the FPGA and the architectural parameters of the design in order to allow the relocation of bitstream. The second proposed flow aims to promote the 1D and 2D relocation technique in order to allow the broadcast of a partial bitstream (functionality) to a set of RPRs for a system configuration. Therefore, this flow allows optimizing the size of the bitstream memory. We have also proposed suitable hardware architecture capable of performing this broadcast. The experimental results have been performed on the recent Xilinx FPGAs and have proved the speed of execution of our AFLORA algorithm as well as the efficiency of the results obtained by the application of the automation of the bitstream relocation technique flow. These two flows allow flexibility and reusability of IP components embedded in Multi-RPRs architectures to reduce complexity in design time and improve design productivity
Nhan, Nhat-Quang. "Optimisation de précodeurs linéaires pour les systèmes MIMO à récepteurs itératifs." Thesis, Brest, 2016. http://www.theses.fr/2016BRES0062/document.
The long-term evolution (LTE) and the LTE-Advanced (LTE-A) standardizations are predicted to play essential roles in the future fifth-generation (5G) mobile networks. These standardizations require high data rate and high quality of service, which assures low error-rate and low latency. Besides, as discussed in the recent surveys, low complexity communication systems are also essential in the next 5G mobile networks. To adapt to the modern trend of technology, in this PhD thesis, we investigate the multiple-input multiple-output (MIMO) wireless communication schemes. In the first part of this thesis, low-complex forward error correction (FEC) codes are used for low complexity and latency. By considering iterative receivers at the receiver side, we exploit MIMO linear precoding and mapping methods to optimize the error-rate performance of these systems. In the second part of this thesis, non-binary low density parity check (NB-LDPC) codes are investigated. We propose to use MIMO precoders to reduce the complexity for NB-LDPC encoded MIMO systems. A novel low complexity decoding algorithm for NB-LDPC codes is also proposed at the end of this thesis
Lazrag, Ayadi. "Théorie de contrôle et systèmes dynamiques." Thesis, Nice, 2014. http://www.theses.fr/2014NICE4060/document.
This thesis is devided into three parts. In the first part we begin by describing some well known results in geometric control theory such as the Chow Rashevsky Theorem, the Kalman rank condition, the End-Point Mapping and the linear test. Moreover, we define and study briefly local controllability around a reference control at first and second order. In the second part we provide an elementary proof of the Franks lemma for geodesic flows using basic tools of geometric control theory. In the last part, given a compact Riemannian manifold, we prove a uniform Franks' lemma at second order for geodesic flows and apply the result in persistence theory. In this part we introduce with more details notions of local controllability at first and second order. In fact, we provide a second order controllability result whose proof is long and technical
Girod, Jean-Pierre. "Extraction de primitives en traitement d'images par modélisation des systèmes visuels biologiques." Nancy 1, 1994. http://www.theses.fr/1994NAN10211.
Baysse, Arnaud. "Contributions à l'identification paramétrique de modèles à temps continu : extensions de la méthode à erreur de sortie, développement d'une approche spécifique aux systèmes à boucles imbriquées." Thesis, Toulouse, INPT, 2010. http://www.theses.fr/2010INPT0047/document.
The research works presented in this thesis are about contributions in continuous time model parametric identication. The rst work is the development of an output error method applied on linear models, in open and closed loop. The algorithms are presented for continuous time models, using in-line or oine approaches. The method is extended to the case of the linear systems containing pure time delay. The developed method is applied to several systems and compared to the best existing methods. The second contribution is the development of a new identication approach for cascaded loop systems. This approach is developed for identifying electromechanical systems. It is based on the use of a generic parametric model of electromechanical drives in closed loop, on the knowledge of the movement laws applied and called excitations, and on the analyse of the time internal signals and their correlations with the parameters to identify. This approach is developed for identifying direct current and synchronous drives. The approach is applied with simulations and experimental tests. The obtained results are compared to best identifying known methods
Ben, Chikha Haithem. "Etude et Amélioration de Turbo-Codage Distribué pour les Réseaux Coopératifs." Thesis, Valenciennes, 2012. http://www.theses.fr/2012VALE0011/document.
Diversity provides an efficient method for combating multipath fading in mobile radio systems. One of the most common forms of spatial diversity is multiple-input multipleoutput (MIMO), where full diversity is obtained. However, embedding multiple antennas at the transmitter or the receiver can sometimes be expensive. As an alternative to collocated antennas, cooperative diversity in wireless multi-hop networks confirms their ability to achieve spatial diversity gains by exploiting the spatial diversity of the traditional MIMO techniques, without each node necessarily having multiple antennas. In addition, cooperative diversity has been shown to provide the network with importantthroughput, reduced energy requirements and improved access coverage.In light of this, the objective of this thesis is to devise coding schemes suitable for relay channels that aim at showing the best compromise between performance of diversity and coding gains. Firstly, we investigate a distributed turbo coding scheme dedicated to L-relay channels operating in the soft-decode-and-forward mode. Then, we present a proposed distributed turbo coded cooperative (DTCC) scheme, called parallel concatenated convolutional-based distributed coded cooperation. Finally, we investigate antenna/soft-relaying selection for DTCC networks in order to improve their end-to-end performance. Assuming BPSK transmission for fully interleaved channels with ideal channel state information, we define the explicit upper bounds for error probability inRayleigh fading channels with independent fading. Both theoretical limits and simulation results are presented to demonstrate the performances
Watbled, Ludivine. "Impact des dispositifs techniques sur l'activité de production, transmission de courriers de sortie d'hospitalisation." Thesis, Lille 2, 2018. http://www.theses.fr/2018LIL2S013/document.
In today’s society, technical devices are expected to increase the quality and speed of task execution. The healthcare field is no exception. Healthcare establishments are investing heavily in technical devices capable of achieving certain performance objectives. When France’s High Commission for Healthcare (Haute Autorité de Santé) recommended that discharge letters should be sent out more rapidly, hospitals digitized the production and dispatching of this document. However, none of the hospitals planned ahead of time for potential negative effects of the digitization of discharge letter production (longer delays, for example). In fact, one can legitimately question whether technical devices improve discharge letter production. This matter is especially important because discharge letters ensure continuity of care and the patient’s safety.We therefore sought to determine the effect of technical devices on the speed of discharge letter production and dispatching. To address this question, we studied the work situation as a whole (i.e. technical devices, organizations, stakeholders, and their interactions) using a human factors approach. Our starting hypothesis was as follows: it is difficult to accurately interpret scientific studies of the effects of these devices without taking account of and understanding technical, organizational and stakeholder-related characteristics that are rarely described in the literature.To address the research question, we identified and described all the technical, organizational and stakeholder-related characteristics, and analyzed their effects on the speed of discharge letter production and dispatching. We first considered using the IPAQSS data that French public-sector hospitals have to collect. However, we had to exclude this variable from our research because it is not valid and does not adequately reflect reality. We therefore decided to measure the time intervals at each step in the letter production/dispatching process, in order to be as close as possible to the true situation and thus answer our research question. We performed statistical analyses on a total of 440 letters generated by seven departments at Lille University Medical Centre.Our main results showed that a digital device does not necessarily accelerate thesteps in discharge letter production; it is essential to focus on the device'stechnical characteristics when seeking to determine whether or not production isfaster.Moreover, the time intervals for the steps vary as a function of contextual variables (i.e. organizational and stakeholder-related factors) and not just under the influence of the technical device per se.Furthermore, our results showed that knowledge of the work context enables one to interpret the data obtained. This knowledge makes it possible to modify technical, organizational and stakeholder-related factors and achieve the objectives set by hospitals and institutions. Our human factors approach generated a methodology for helping hospitals and institutions to check whether a technical device can achieve the expected objectives, i.e. by monitoring the influence of the above-mentioned variables on the device’s effect
Chambon, Emmanuel. "Commande de systèmes linéaires sous contraintes fréquentielles et temporelles : Application au lanceur flexible." Thesis, Toulouse, ISAE, 2016. http://www.theses.fr/2016ESAE0031/document.
Ln control design problems, both frequency- and time-domain requirements are usually considered such that the resulting control law satisfies the specifications. Novel non-smooth optimization techniques can be used to achieve multiple frequency-domain specifications over a family of linear models. However, enforcing time-domain constraints on a given output or state is more challenging Since translating them into frequency-domain requirements may be inaccurate. This motivates the study of an additional approach to the Hinf control design techniques. When time-domain constraints are satisfied, the nominal control law reduces to a controller satisfying the frequency-domain constraints. Upon violation of the ime-domain constraint, an additional tool named OIST is used to saturate the controller output so as to restrict the reachable set of the constrained system output. Stability guarantees are obtained for minimum phase systems. Further developments proposed therein allow the consideration of uncertain systems With incomplete state measurements. This is he OISTeR approach. The method uses certified bounds on the considered system state as provided by an interval observer. he theory of interval observers is well-established. ln the case of linear systems, the most common approach is to consider an intermediate cooperative system on which the interval observer can be built. The novel SCorplO design method proposed in this work is used to compute such cooperative representation. ln this thesis, the considered application is the atmospheric control of a flexible launch vehicle under a time-domain constraint on the angle of attack and in the presence of wind gusts
Mantovani, Alessandro. "An Analysis of Human-in-the-loop Approaches for Reverse Engineering Automation." Electronic Thesis or Diss., Sorbonne université, 2022. https://accesdistant.sorbonne-universite.fr/login?url=https://theses-intra.sorbonne-universite.fr/2022SORUS052.pdf.
In system and software security, one of the first criteria before applying an analysis methodology is to distinguish according to the availability or not of the source code. When the software we want to investigate is present in binary form, the only possibility that we have is to extract some information from it by observing its machine code, performing what is commonly referred to as Binary Analysis (BA). The artisans in this sector are in charge of mixing their personal experience with an arsenal of tools and methodologies to comprehend some intrinsic and hidden aspects of the target binary, for instance, to discover new vulnerabilities or to detect malicious behaviors. Although this human-in-the-loop configuration is well consolidated over the years, the current explosion of threats and attack vectors such as malware, weaponized exploits, etc. implicitly stresses this binary analysis model, demanding at the same time for high accuracy of the analysis as well as proper scalability over the binaries to counteract the adversarial actors. Therefore, despite the many advances in the BA field over the past years, we are still obliged to seek novel solutions. In this thesis, we take a step more on this problem, and we try to show what current paradigms lack to increase the automation level. To accomplish this, we isolated three classical binary analysis use cases, and we demonstrated how the pipeline analysis benefits from the human intervention. In other words, we considered three human-in-the-loop systems, and we described the human role inside the pipeline with a focus on the types of feedback that the analyst ``exchanges'' with her toolchain. These three examples provided a full view of the gap between current binary analysis solutions and ideally more automated ones, suggesting that the main feature at the base of the human feedback corresponds to the human skill at comprehending portions of binary code. This attempt to systematize the human role in modern binary analysis approaches tries to raise the bar towards more automated systems by leveraging the human component that, so far, is still unavoidable in the majority of the scenarios. Although our analysis shows that machines cannot replace humans at the current stage, we cannot exclude that future approaches will be able to fill this gap as well as evolve tools and methodologies to the next level. Therefore, we hope with this work to inspire future research in the field to reach always more sophisticated and automated binary analysis techniques
Folin, Théo. "Synthèse d’observateur et robot marcheur." Caen, 2016. http://www.theses.fr/2016CAEN2048.
This CIFRE thesis result from collaboration between the company Bodycap and the University of Caen Normandy at GREYC laboratory. The main thesis objective is observer synthesis for classes of non-linear system. Firstly, we study an adaptive observer for a state affine system with output injection. This observer estimate the system output from its sampling while estimating the parameters and system states. The difficulty of this observer is the dependence of a non-linear term both on the output and on estimated parameters. Secondarily, we study a high gain observer allowing the states estimation of a triangular system from its sampled and delayed output. Because delays are a recurring phenomenon for most physical systems, its understanding and studying is of a major importance. The difficulty of this observer resides in the implication of its non-delayed and continuous output in the internal operation of the system without having access there. Finally, we study a biped robot model to use an observer to measure walking parameters on a subject. Thus, we use a plane biped robot model to simulate a walking cycle composed of an oscillating phase and an impact phase. This simulation allows us to test the super-twisting algorithm to estimate the angular velocity parameters from the angular positions without knowing: the control applied to the system and without knowledge of the system model