• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 50
  • 47
  • 11
  • 1
  • Tagged with
  • 123
  • 32
  • 25
  • 22
  • 17
  • 15
  • 15
  • 12
  • 11
  • 10
  • 10
  • 10
  • 9
  • 8
  • 8
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.

A self-configuaration framework enabling an overlay control plane for autonomic systems

Watts, Elizabeth Catherine Lilian January 2008 (has links)
No description available.

Methodology and architectures for system-on-chip real-time control

Sancho-Pradel, Dario Luis January 2006 (has links)
Control systems are being embedded in an ever-increasing number of applications, many of them unfeasible prior to the joined advances in control, solid state technology and microelectronics design. In the era of information, communication and technology, society continuously absorbs new technologies and quickly demands new tools, services and commodities that require challenging control techniques operated at high sample rates. However, the implementation of modern control systems is by no means straightforward and requires multidisciplinary knowledge in fields of control, hardware and software design. Complex control laws with demanding real-time constraints are usually implemented using high-end devices combined with some custom logic in project-dependent, hence non-reusable solutions. Such high-end devices are intended to be flexible enough to cover a wide range of applications and therefore their architectural complexity often leads to inefficient control solutions in terms of power consumption, area and even performance. Furthermore, in order to fulfil the real-time requirements, complex device-dependent arithmetic routines have to be usually hand crafted in assembly language as most modern compilers are unable to make use of the narrow data vector instructions that are especially tailored for signal processing applications, and sometimes, the required performance can only be reached by a number of these devices running in parallel. This thesis presents a comprehensive study of embedded real-time control implementations, bringing together hardware/software co-design, development tools and controller formulation aspects under a common framework that leads to a novel design methodology.

Contribution au contrôle des paramètres climatiques sous serre / Design and implementation of control strategies for greenhouse environmental

El Afou, Youssef 16 June 2014 (has links)
L’objectif de ce travail de thèse est de présenter des résultats expérimentaux ducontrôle de la température au sein d’une serre. Des techniques de commande de types PIDet LQG, ajustées à l’aide de l’identfication et des techniques de commande sans modèle sontappliquées au processus complexe de régulation des paramètres climatiques sous serre. Les résultatsobtenus nous ont permis d’envisager à terme une meilleure maîtrise des paramètresclimatiques. La mise en oeuvre de ces contrôleurs requiert généralement la réalisation d’undispositif électronique piloté par ordinateur doté d’une carte d’acquisition et de restitution desdonnées. Cette carte qui est aussi associée aux circuits électroniques permet de réaliser l’acquisition,le traitement et le stockage des données climatiques (température, humidité relativede l’air, et teneur en CO2). Elle permet en outre une meilleure adaptation de la puissancefournie aux différents actionneurs installés au sein de la serre. Des interfaces graphiques ontété développées, en utilisant le logiciel SIMULINK/Matlab. Ces derniers rassemblent à la foisune rapidité de fonctionnement, une facilité d’utilisation et une interactivité et une puissancede traitement en temps réel de l’ensemble des données. / The principal aim of this thesis is to present the experimental results for controllingtemperature under greenhouse. The PID and LQG controllers are inevitably adjusted by theidentification and the model free control also was implemented to the complex system in orderto regulate the climatic parameters under greenhouse. The obtained results shows the goodperformances for monitoring these parameters. The greenhouse environment is automated withseveral actuators and sensors that are connected to an acquisition and control system basedon a personal computer . This later is associated with electronic circuits allows to protectthe acquisition card against overvoltages and perform the acquisition, treatment and storageof climate data (temperature, relative humidity of the air, and content of CO2). It permitsfurthermore to obtain a good adaptation power given to the actuators that installed in thegreenhouse. Graphical interfaces have been developed using the Simulink/Matlab software.these later bring together both speed foncionnement, ease of use and interactivity and powerof processing the data in real-time.

Evolutionary design automation for control systems with practical constraints

Feng, Wenyuan January 2000 (has links)
The aim of this work is to explore the potential and to enhance the capability of evolutionary computation in the development of novel and advanced methodologies that enable control system structural optimisation and design automation for practical applications. Current design and optimisation methods adopted in control systems engineering are in essence based upon conventional numerical techniques that require derivative information of performance indices. These techniques lack robustness in solving practical engineering problems, which are often of a multi-dimensional, multi-modal nature. Using those techniques can often achieve neither global nor structural optimisation. In contrast, evolutionary mechanism learning tools have the ability to search in a multi-dimensional, multi-modal space, but they can not approach a local optimum as a conventional calculus-based method. The first objective of this research is to develop a reliable and effective evolutionary algorithm for engineering applications. In this thesis, a globally optimal evolutionary methodology and environment for control system structuring and design automation is developed, which requires no design indices to be differentiable. This is based on the development of a hybridised GA search engine, whose local tuning is tremendously enhanced by the incorporation of Hill-Climbing (HC), Simulated Annealing (SA) and Simplex techniques to improve the performance in search and design. A Lamarckian inheritance technique is also developed to improve crossover and mutation operations in GAs. Benchmark tests have shown that the enhanced hybrid GA is accurate, and reliable. Based on this search engine and optimisation core, a linear and nonlinear control system design automation suite is developed in a Java based platform-independent format, which can be readily available for design and design collaboration over corporate Intranets and the Internet. Since it has also made cost function unnecessary to be differentiable, hybridised indices combining time and frequency domain measurement and accommodating practical constraints can now be incorporated in the design. Such type of novel indices are proposed in the thesis and incorporated in the design suite. The Proportional plus Integral plus Derivative (PID) controller is very popular in real world control applications. The development of new PID tuning rules remains an area of active research. Many researchers, such as Åström and Hägglund, Ho, Zhuang and Atherton, have suggested many methods. However, their methods still suffer from poor load disturbance rejection, poor stability or shutting of the derivative control etc. In this thesis, Systematic and batch optimisation of PID controllers to meet practical requirements is achieved using the developed design automation suite. A novel cost function is designed to take disturbance rejection, stability in terms of gain and phase margins and other specifications into account in-the same time. Comparisons made with Ho's method confirm that the derivative action can play an important role to improve load disturbance rejection yet maintaining the same stability margins. Comparisons made with Åström’s method confirm that the results from this thesis are superior not only in load disturbance rejection but also in terms of stability margins. Further robustness issues are addressed by extending the PID structure to a free form transfer function. This is realised by achieving design automation. Quantitative Feedback Theory (QFT), method offers a direct frequency-domain design technique for uncertain plants, which can deal non-conservatively with different types of uncertainty models and specifications. QFT design problems are often multi-modal and multi-dimensional, where loop shaping is .the most challenging part. Global solutions can hardly be obtained using analytical and convex or linear programming techniques. In addition, these types of conventional methods often impose unrealistic or unpractical assumptions and often lead to very conservative designs. In this thesis, GA-based automatic loop shaping for QFT controllers suggested by the Research Group is being furthered. A new index is developed for the design which can describe stability, load rejection and reduction of high frequency gains, which has not been achieved with existing methods. The corresponding prefilter can also be systematically designed if tracking is one of the specifications. The results from the evolutionary computing based design automation suite show that the evolutionary technique is much better than numerical methods and manual designs, i.e., 'high frequency gain' and controller order have been significantly reduced. Time domain simulations show that the designed QFT controller combined with the corresponding prefilter performs more satisfactorily.

Architecture et déploiement de services d'aide à la personne / Architecture and deployment of services of assistance to the person

Darwish, Molham 12 September 2016 (has links)
Le vieillissement de la population européenne a encouragé la communauté à favoriser larecherche de solutions pour soutenir cette évolution. Dans ce contexte, plusieurs questions (liéesaux services de soins de santé et aux établissements de santé, coûteux, et à capacités limitées)doivent être abordées.Ainsi, plusieurs projets de recherche et des solutions industrielles ont été proposés pour remédier àces problèmes. La plupart de ces solutions sont basées sur l'utilisation des derniers développementstechniques en matière de TIC permettant ainsi de fournir des solutions qui améliorent le bien-êtredes personnes âgées et de garantir leur indépendance dans leurs propres espaces de vie. Lessolutions technologiques fournies doivent être garanties contre les défauts potentiels deséquipements qui peuvent conduire à l'échec des systèmes et avoir un impact sur les besoins etl'indépendance des utilisateurs.Dans ce travail, nous proposons une représentation du système d'automatisation de la maison, surla base des besoins qui consiste à fournir des solutions continues et viables et répondant auxattentes des utilisateurs (tout en assurant la disponibilité des services des systèmes).Dans cet objectif, nous proposons de développer un cadre de modélisation représentant lesystème reconfigurable domotique et permettant l'examen de l'approche de la tolérance depanne, sur la base de la définition de scénarios alternatifs (assurant la délivrance continue desservices). Dans ce workflow, nous décrivons les éléments structurels du système (décrits commedes services et composants) en vue de la modélisation conceptuelle. Des règles de transformationde modèle permettent de générer un modèle d'analyse et un modèle de comportement. Lemodèle d'analyse permet de prendre une décision à propos de la sélection des élémentsalternatifs pour remplacer les éléments défectueux. Ce modèle d'analyse est défini sur la base dela notion d'approche d’arbre de défaillances, qui adopte la probabilité d'échec descomposantes pour évaluer l’état global du système considéré. Le modèle de comportement estresponsable de la simulation de l'exécution des services du système pour assurer que les scénariosconduisent à la délivrance du système.Par ailleurs, nous proposons de définir une caractéristique permettant d’évaluer l'importanceempirique (vue par le concepteur) des composantes d'un système dans le cadre d’un servicedonné. Ensuite, nous proposons une nouvelle approche, fondée sur l'intégration du facteur del'importance dans l'approche d’arbre de défaillances pour étudier la criticité du composant, encas d'échec, ainsi que la continuité de service. Un cadre de validation expérimentale, basé surplusieurs objectifs de validation est finalement proposé pour conclure ce travail de recherche. / The ageing of the European population encouraged the community to search for solutions tosupport this evolution. In this context, several issues (related to the expensive and limited healthcare services and health facilities capacities) need to be addressed.Thus, several projects, research and industrial solutions have been proposed to address these issues.Most of these projects and industrial developments are based on the use of the latest ICT technicaldevelopments to provide solutions that ameliorate the well-being of the targeted ageing groupand to guaranty their independence in their own living spaces. The provided technologicalsolutions need to be guaranteed against potential faults which may lead to the systems failure andimpact the users’ needs and independency.In this work, we propose a home automation system representation, based on the user’s needs toprovide continuous and viable solutions that meets the users’ expectations, and ensuring theavailability of system’s services.For this goal, we propose to develop an integrated modeling framework allowing therepresentation of the home automation reconfigurable system with the consideration of a faulttolerance approach (based on the alternative definition of scenarios of system servicesdeliverance).In the proposed workflow, we describe the system structural elements (described as services andcomponents) in the design modeling view, and, we lead model transformation rules allowinggenerating an analysis model and a behavior model. The analysis model allows making a decisionabout the alternative elements selection in order to substitute the faulty elements. The analysismodel definition is based on the notion of Fault Tree Analysis approach (adopting the probabilityof events failure in order to evaluate a given system status).The behavior model is in charge of simulating the execution of the system services ensuring, thus,that the proposed scenarios lead to system services deliverance.Moreover, we propose to define an expert based feature measuring the importance of a system’scomponent within the service context. In this framework, we propose a new approach, based onthe joint integration of the importance factor into the Fault Tree Analysis approach in order to studythe criticality of the component, in case of failure, on the service continuity.We propose an experimental validation framework, based on several validation objectives toevaluate the proposed work in this research

A specification method for the scalable self-governance of complex autonomic systems

Randles, Martin J. January 2007 (has links)
IBM, amongst many others, have sought to endow computer systems with selfmanagement capabilities by delegating vital functions to the software itself and proposed the Autonomic Computing model. Hence inducing the so-called self-* properties including the system's ability to be self-configuring, self-optimising, self-healing and self-protecting. Initial attempts to realise such a vision have so far mostly relied on a passive adaptation whereby Design by Contract and Event-Condition-Action (ECA) type constructs are used to regulate the target systems behaviour: When a specific event makes a certain condition true then an action is triggered which executes either within the system or on its environment Whilst, such a model works well for closed systems, its effectiveness and applicability of approach diminishes as the size and complexity of the managed system increases, necessitating frequent updates to the ECA rule set to cater for new and/or unforeseen systems' behaviour. More recent research works are now adopting the parametric adaptation model, where the events, conditions and actions may be adjusted at runtime in response to the system's observed state. Such an improved control model works well up to a point, but for large scale systems of systems, with very many component interactions, the predictability and traceability of the regulation and its impact on the whole system is intractable. The selforganising systems theory, however, offers a scaleable alternative to systems control utilising emerging behaviour, observed at a global level, resulting from the low-level interactions of the distributed components. Whereby, for instance, key signals (signs) for ECA style feedback control need no longer be recognised or understood in the context of the design time system but are defined by their relevance to the runtime system. Nonetheless this model still suffers from a usually inaccessible control model with no intrinsic meaning assigned to data extraction from the systems operation. In other words, there is no grounded definition of particular observable events occurring in the system. This condition is termed the Signal Grounding Problem. This problem cannot usually be solved by analytical or algorithmic methods, as these solutions generally require precise problem formulations and a static operating domain. Rather cognitive techniques will be needed that perform effectively to evaluate and improve performance in the presence of complex, incomplete, dynamic and evolving environments. In order to develop a specification method for scalable self-governance of autonomic systems of systems, this thesis presents a number of ways to alleviate, or circumvent, the Signal Grounding Problem through the utilisation of cognitive systems and the properties of complex systems. After reviewing the specification methods available for governance models, the Situation Calculus dialect of first order logic is described with the necessary modalities for the specification of deliberative monitoring in partially observable environments with stochastic actions. This permits a specification method that allows the depiction of system guards and norms, under central control, as well as the deliberative functions required for decentralised components to present techniques around the Signal Grounding problem, engineer emergence and generally utilise the properties of large complex systems for their own self-governance. It is shown how these large-scale behaviours may be implemented and the properties assessed and utilised by an Observer System through fully functioning implementations and simulations. The work concludes with two case studies showing how the specification would be achieved in practice: An observer based meta-system for a decision support system in medicine is described, specified and implemented up to parametric adaptation and a NASA project is described with a specification given for the interactions and cooperative behaviour that leads to scale-free connectivity, which the observer system may then utilise for a previously described efficient monitoring strategy.

Ανάπτυξη μεθόδων μηχανικής όρασης για βιομηχανικές επιθεωρήσεις με παράδειγμα την αυτόματη επιθεώρηση ξύλου

Stojanovic, Radovan 11 December 2009 (has links)
- / -

Guidage Gestuel pour des Robots Mobiles / Gestural Control for Mobile Robots

Taralle, Florent 09 November 2016 (has links)
Utiliser une interface visuo-tactile peut être une gêne lorsqu'il est nécessaire de rester mobile et conscient de son environnement. Cela s'avère particulièrement problématique en milieu hostile comme pour la commande d'un drone militaire de contact.Dans ces travaux nous faisons l'hypothèse que le geste est une modalité de commande moins contraignante puisqu'elle n'impose pas de visualiser ni de manipuler une interface physique.Ainsi, différents travaux nous ont permis de confirmer d'une part, les avantages pratiques, et d'autre part, la faisabilité technique de la commande d'un robot mobile par geste.Tout d'abord, l'étude théorique du geste a permis de construire un modèle d'interaction. Celui-ci consiste en l'activation de commandes automatiques par la réalisation de gestes sémaphoriques normalisés. Des messages sonores permettent de renseigner l'opérateur et un mécanisme de confirmation sécurise l'interaction.Ensuite, le dictionnaire des gestes à utiliser a été constitué. Pour cela, une méthodologie a été proposée et appliquée : des utilisateurs proposent puis élisent les gestes les plus pertinents.Notre modèle d'interaction et le vocabulaire gestuel ont ensuite été évalués. Une étude en laboratoire nous a permis de montrer que l'interaction gestuelle telle que proposée est simple à apprendre et utiliser et qu'elle permet de conserver une bonne conscience de l'environnement.Un système interactif complet a ensuite été développé. Son architecture a été déduite du modèle d'interaction et une brique de reconnaissance gestuelle a été mise en oeuvre. En marge des méthodes classiques, la brique proposée utilise un principe de description formelle des gestes avec une grammaire régulière.Finalement, ce système a été évalué lors de tests utilisateurs. L'évaluation par des participants militaires a confirmé notre hypothèse de la pertinence du geste pour une interaction visuellement et physiquement moins contraignante. / Using a visuo-tactil interface may be restrictive when mobility and situation awareness are required. This is particularly problematic in hostile environment as commanding a drone on a battlefield.In the work presented here, we hypothesize that gesture is a less restrictive modaility as it doesn't require to manipulate nor to look at a device.Thus we followed a user-centered approach to confirm practical advantages and technical feasibility of gestural interaction for drones.First, the theoretical study of gestures allowed us to design an interaction model. It consists on activating commands by executing standardized semaphoric gestures. Sound messages inform the user and a confirmation mechanism secure the interaction.Second, a gestural vocabulary has been built. To do so, a methodology has been proposed and used : end users elicited then elected the most appropriate gestures.Then, the interaction model and the selected gestures have been evaluated. A laboratory study showed that they are both easy to learn and use and helps situation awareness.An interactive system as then been developed. It's architecture has been deducted from our interaction model and a gesture recognizer as been buit. Different from usual methods, the recognizer we proposed is based on formal description of gestures using regular expressions.Finaly, we conducted a user testing of the proposed system. The evaluation by end-users confirmed our hypothesis that gestures are a modality less distractive both visualy and physicaly.

Vers un efficace détecteur de trait : Les coins de contour et ses applications / Toward an efficient feature detector : Edge corners and its applications

Al Nachar, Rabih 06 November 2014 (has links)
Nous proposons dans cette thèse un nouveau détecteur de « Coins » de contour dans une image. Ces coins sont les sommets de la ligne polygonale approximant le contour. Ils peuvent appartenir ou non au contour. Ils correspondent à une déviation importante de la direction de ce contour. Aussi, ils sont répétables en présence de transformations affines ou similitudes et sont robustes au bruit présent aux frontières d'une image. Grâce à cette répétabilité, les coins sont utilisés dans une application de reconnaissance de la forme.Les coins peuvent être classés selon leur force. Ainsi sous ensemble de ces coins,appelé "Coins Dominants", peuvent être extraits formant les sommets du polygone« minimal » qui représente le contour, pour un nombre de segments donné. Deux applications, basées sur les Coins/Coins Dominants du contour ont été réalisées : La première est une application de recalage d’images où de nouvelles primitives invariantes constituées de quatre "Coins Dominants" du contour ont été proposées. La seconde application est la reconnaissance des caractères dans une image déformée où les coins du contour des caractères ont été utilisés dans un processus de segmentation / reconnaissance simultané. / In this thesis, a new feature detector is proposed. The new features are edgecorners located on the contours of a studied image. These points are edge pointswhere a deviation in the edge direction occurs. In addition, they are repeatable versussimilarity, affine transformations and also robust to noise at the boundaries of theobject's image. Due to their repeatability, these corners are used in a shape recognitionapplication. Also, a smaller set of corners called "Dominant Corners" or "DCs" isextracted form the original set of corners using a new proposed polygonalapproximation algorithm. These DCs form the vertices of a polygon that bestapproximate their contour. Two applications using the edge corners are alsodeveloped. The first one is an image registration application that forms invariantprimitives using the DCs. The second application is a word recognition applicationwhere the edge corners located on the characters contours are used in a simultaneoussegmentation/recognition process to recognize the characters in a deformed wordimage.

Asynchronous event-based 3d vision / Evénement asynchrone à base de vision 3D

Amaro Da Costa Luz Carneiro, Joao Paulo 10 February 2014 (has links)
L’implementation de la vision biologique sur machine est un problème majeur que la recherche actuelle a à peine effleuré la surface. Les organismes vivants sont capables de réaliser des tâches visuelles très complexes et de manière très efficace. La stéréovision fait partie de ces mécanismes complexes que les sci- entifiques tentent de reproduire à l’aide de caméras à haute résolution. Cette thèse aborde le problème de la stéréovision d’une manière neuromorphique par l’intermédiaire d’une nouvelle génération de capteurs de vision appelés ”rétines de silicium”. Ces rétines de silicium imitent les rétines biologiques en capturant l’information visuelle sous forme de flux asynchrones d’événements codant les changements de contraste avec une grande précision temporelle. Ces capteurs sont utilisés pour étudier l’importance de la précision et de la dynamiquetemporelledelascènedansleproblèmedemiseencorrespondance stéréo. Nous proposons une des premières méthodes de reconstruction 3D capable de produire des modèles 3D d’une manière totalement asynchrone, á partir de l’information visuelle. Cette approche, outre son originalité, permet également de préserver la dynamique native de la scène. Cette thèse montre que le temps en tant que medium d’information, joue un rôle primordial dans la stéréovision. Le temps peut compléter, compenser, voire remplacer l’information apportée habituellement par la luminance et la géométrie. Ce travail établit également les fondations solides des futures recherches en vision stéréo á haute vitesse et haute dynamique, basée sur les événements. Il ouvre également de nouvelles perspectives prometteuses pour la résolution de problèmes traditionels de vision artificielle grâce à l’apport du nouveau paradigme de la vision asynchrone. / Reproducing biological vision in a machine is a challenging problem for which scientists have just scratched the surface. Living organisms are able to per- form complex tasks in an awestruckly efficient manner. The stereovision is one of these complex mechanisms that computer scientists try to replicate with high resolution cameras. This thesis takes on the stereovision problem in a neuromorphic way by mean of a new generation of vision sensors also called ”silicon retinas”. These silicon retinas mimic biological retinas by cap- turing the visual information into the form of asynchronous stream of events that encode contrast change at high temporal precision. These sensors are used to study the importance of the precise timing and the scene temporal dynamics in solving the stereo correspondence problem. We propose one of the first 3D reconstruction methods which is able to produce 3Dmodelsinatrulyevent-basedandasynchronousmanner, fromevent-based visual information. Besides the novelty of proposing a truly temporal- based asynchronous event-driven approach of 3D reconstructions, this work is also able to preserve the native dynamic of the scene. Time as information medium is proven to have a critical role in stereovision. Time can supplement, compensate and even replace the usual luminance and spatial information. This work lays strong foundations for future research on high temporal and event-based dynamic stereo vision. It also opens new promisingperspectivesforsolvingtraditionalmachinevisionproblemsthanks to the use of the new asynchronous vision paradigm.

Page generated in 0.0463 seconds