To see the other types of publications on this topic, follow the link: Systeme holonome.
Dissertations / Theses on the topic 'Systeme holonome'
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 'Systeme holonome.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
Rebahi, Yacine. "Irrégularité des D-modules algébriques holonomes." Université Joseph Fourier (Grenoble ; 1971-2015), 1996. http://www.theses.fr/1996GRE10205.
Full textAbstract:
Ce travail est consacre a l'etude de l'irregularite des systemes differentiels algebriques holonomes. Nous demontrons que les complexes de solutions de type exponentiel, associes a ces systemes, sont a cohomologie constructible et nous calculons leur caracteristique d'euler poincare. Pour cela, et dans le cas d'un fibre de rang un, nous utilisons un passage a l'infini qui nous permet de nous ramener a des resultats connus pour des solutions formelles de croissance appropriee pour des systemes analytiques holonomes. D'autre part, si nous microlocalisons nos constructions, nous obtenons des resultats analogues dans le cas d'un fibre de rang quelconque
2
Abdel, Gadir Basil. "Analyse microlocale des systèmes différentiels holonomes." Grenoble 1, 1992. http://www.theses.fr/1992GRE10071.
Full textAbstract:
Nous nous placerons dans le contexte analytique-complexe. Les systemes differentiels holonomes traduisent algebriquement les systemes differentiels lineaires surdetermines maximaux, et ils generalisent les fibres vectoriels a connexion integrale. La question de leur classification (jusqu'ici limitee au cas des systemes a singularite reguliere et a celui d'une variable) a ete entreprise par un certain nombre d'auteurs, parmi lesquels il faut notamment citer m. Kashiwara et b. Malgrange. Dans cette direction nous contribuons aux resultats lies a la description microlocale (i. E. Locale sur l'espace cotangent) des systemes differentiels holonomes a singularite arbitraire. Nous generalisons un theoreme de finitude de b. Malgrange en utilisant un lemme de m. Kashiwara et t. Kawai affirmant que le germe du support d'un systeme microdifferentiel holonome possede (apres une transformation symplectique convenable) une position generique. Le theoreme de finitude assure qu'un tel systeme microdifferentiel admet un reseau microdifferentiel de type fini sur l'anneau commutatif des fonctions holomorphes. A l'aide de ce resultat, nous demontrons que ces systemes microdifferentiels holonomes sont en fait des systemes differentiels holonomes. En outre, nous formulons et nous etudions la transformation de fourier-deligne-katz-laumon-malgrange pour les systemes differentiels holonomes ainsi trouves. Ici, le resultat interessant est que l'etude de tels objets se ramene a celle des connexions meromorphes etudiee par p. Deligne et b. Malgrange
3
Gloukhikh, Ioulia. "Systèmes mécaniques réversibles en dynamique holonome et non-holonome des corps solides rigides." Phd thesis, Ecole des Ponts ParisTech, 2003. http://tel.archives-ouvertes.fr/tel-00005724.
Full textAbstract:
Cette thèse a pour objet détudier des problèmes réversibles dans la dynamique holonome et non-holonome du corps solide. Dans la thèse sont analysés les rotations permanentes, les oscillations et les mouvements rotatifs dun ellipsoïde homogène pesant sur un plan absolument rugueux et dun satellite sur une orbite elliptique ; le problème de la stabilité de ces mouvements est également étudié.Les recherches présentées dans cette thèse démontrent lefficacité des méthodes fondées sur les propriétés de réversibilité des systèmes mécaniques, propriété dont lusage est essentiel dans tous les résultats obtenus :
Létude de la stabilité des rotations autour de laxe vertical de lellipsoïde pesant homogène sur le plan horizontal.
Létude de la stabilité des mouvements de roulement sans glissement dun ellipsoïde creux pesant le long de la ligne droite sur le plan horizontal : conclusion sur linstabilité causée par la résonance paramétrique et conditions nécessaires de stabilité, obtenues par calcul numérique.
Lexpression détaillée du coefficient de résonance en cas de résonance paramétrique pour les systèmes réversibles du troisième ordre (et la réalisation du code de calcul correspondant).
La conservation des oscillations 2pik périodiques du satellite sur lorbite circulaire sous leffet des moments gravitationnel et aérodynamique dans le cas de lorbite faiblement elliptique.
Lexistence des rotations 2pi périodiques du satellite sur lorbite elliptique arbitraire sous leffet des moments gravitationnel et aérodynamique (détermination des vitesses initiales pour les rotations, étude de leur stabilité).
La détermination des rotations rapides dans le problème de V.V. Beletsky (le satellite étant soumis aux seules forces gravitationnelles sans prendre en considération la résistance de latmosphère) et létude de leur stabilité.
4
Li, Shunjie. "Géométrie et classification des systèmes de contact : applications du contrôle des systèmes mécaniques non holonomes." Phd thesis, INSA de Rouen, 2010. http://tel.archives-ouvertes.fr/tel-00665223.
Full textAbstract:
Dans la première partie de cette thèse, nous caractérisons complètement toutes les x-sorties plates et leurs lieux singuliers pour un système avec deux contrôles qui est équivalent au système chaîné. Nous appliquons aussi ce résultat au système de robot mobile avec des remorques pour calculer toutes ses x-sorties plates. Dans la deuxième partie, nous présentons un nouveau modèle pour le système à n-barres dans l'espace de dimension m+1. Nous montrons que ce système est localement équivalent au système m-chaîné et caractérisons aussi ses lieux singuliers. Ensuite, nous analysons sa propriété de platitude et donnons ses sorties plates minimales. Dans la troisième partie, nous donnons des conditions nécessaires et suffisantes pour qu'une distribution soit équivalente à la distribution de Cartan pour des surfaces. Finalement, dans la quatrième partie, nous donnons des conditions nécessaires et suffisantes vérifiables pour qu'un système multi-entrées soit linéarisable par bouclage orbital.
5
JEAN, FREDERIC. "Complexites pour les systemes non-holonomes." Paris 6, 1998. http://www.theses.fr/1998PA066170.
Full textAbstract:
Cette these de geometrie sous-riemannienne s'articule en deux parties. Une premiere partie est consacree a l'etude de deux quantites dont on montrera qu'elles sont equivalentes, la complexite de la planification de trajectoires non-holonomes d'une part, et d'autre part la mesure d'entropie des sous-varietes unidimensionnelles. On estime ces quantites en fonction des coordonnees de la tangente a une sous-variete dans une base de l'algebre de lie de controle et du vecteur de croissance. Il apparait en particulier que la dimension de hausdorff peut etre non seulement superieure a la dimension topologique, mais egalement non entiere. On presente de plus une methode de planification de mouvements non-holonomes basee sur un resultat dans les algebres de lie libres : pour tout element p d'une algebre de lie libre l(x 1,, x m), exp(p) peut etre approxime a tout ordre par un produit de facteurs elementaires exp(a ix i). Dans la deuxieme partie de ce memoire, on s'interesse aux proprietes de l'algebre de lie de controle pour des classes de systemes particuliers. On traite d'abord un exemple significatif, le systeme de controle de la voiture a n remorques, pour lequel on determine completement la structure de l'algebre de lie en calculant en chaque point le vecteur de croissance. Enfin on considere les systemes de controle algebriques en dimension 3. On donne pour ces systemes une borne optimale pour le degre de non-holonomie. Ce calcul repose sur une estimation de la multiplicite d'un polynome sur la trajectoire d'un champ de vecteur polynomial que l'on obtient en utilisant une technique d'estimation de multiplicites d'intersections pfaffiennes.
6
Yuan, Hongliang. "Control of NonH=holonomic Systems." Doctoral diss., University of Central Florida, 2009. http://digital.library.ucf.edu/cdm/ref/collection/ETD/id/2751.
Full textAbstract:
Many real-world electrical and mechanical systems have velocity-dependent constraints in their dynamic models. For example, car-like robots, unmanned aerial vehicles, autonomous underwater vehicles and hopping robots, etc. Most of these systems can be transformed into a chained form, which is considered as a canonical form of these nonholonomic systems. Hence, study of chained systems ensure their wide applicability. This thesis studied the problem of continuous feed-back control of the chained systems while pursuing inverse optimality and exponential convergence rates, as well as the feed-back stabilization problem under input saturation constraints. These studies are based on global singularity-free state transformations and controls are synthesized from resulting linear systems. Then, the application of optimal motion planning and dynamic tracking control of nonholonomic autonomous underwater vehicles is considered. The obtained trajectories satisfy the boundary conditions and the vehicles' kinematic model, hence it is smooth and feasible. A collision avoidance criteria is set up to handle the dynamic environments. The resulting controls are in closed forms and suitable for real-time implementations. Further, dynamic tracking controls are developed through the Lyapunov second method and back-stepping technique based on a NPS AUV II model. In what follows, the application of cooperative surveillance and formation control of a group of nonholonomic robots is investigated. A designing scheme is proposed to achieves a rigid formation along a circular trajectory or any arbitrary trajectories. The controllers are decentralized and are able to avoid internal and external collisions. Computer simulations are provided to verify the effectiveness of these designs.Ph.D.
School of Electrical Engineering and Computer Science
Engineering and Computer Science
Electrical Engineering PhD
7
Brevet, Guillaume. "Sur l'irrégularité d'un système différentiel holonome le long d'une courbe plane." Angers, 1999. http://www.theses.fr/1999ANGE0025.
Full textAbstract:
Z. Mebkhout a défini le faisceau d'irrégularité d'un système différentiel holonome le long d'un sous-espace analytique. Cet objet était apparu dans le cas particulier du module constitue des fonctions holomorphes sur une variété analytique complexe, comme l'obstruction au théorème de comparaison de Grothendieck, qui traduit en définitive la régularité du faisceau structural. Le faisceau d'irrégularité généralisé aussi en dimensions supérieures l'espace d'irrégularité de B. Malgrange dans le cas d'une variable. Les faisceaux d'irrégularité ont la propriété de perversité mais certains faisceaux pervers ne sont pas l'irrégularité de systèmes différentiels. Ceci pose le problème de la détermination de l'image essentielle du foncteur irrégularité. Dans ce travail nous étudions ce problème lorsque l'hypersurface est une courbe plongée dans une surface. Dans un premier temps, nous donnons un contre-exemple a l'essentielle subjectivité : nous considérons l'irrégularité sur la surface d'éclatement de l'origine du plan le long de la transformée totale d'une courbe et nous exhibons un faisceau pervers d'image directe non-perverse. Nous prouvons ensuite, en utilisant la désingularisation d'une courbe plane, que l'irrégularité restreinte au germe d'une courbe épointée irréductible fournit un foncteur essentiellement surjectif vers les systèmes locaux sur la courbe épointée. Nous calculons également de manière précise les faisceaux de cohomologie de l'irrégularité de certains d-modules du type exponentielle le long d'un croisement normal. Ces calculs permettent de trouver des systèmes différentiels tels que la monodromie du système local associe ait pour valeurs propres les racines de l'unité. Enfin, nous montrons le résultat suivant : l'irrégularité le long d'un germe de courbe lisse est un foncteur essentiellement surjectif a valeurs dans les germes de faisceaux pervers monodromiques. La preuve de ce théorème repose sur l'équivalence de catégories entre les faisceaux pervers monodromiques et une catégorie de diagrammes d'espaces vectoriels de dimension finie. Dans cette dernière catégorie, les objets indécomposables sont connus. Tout le travail consiste donc à les atteindre, ce qui est fait par des arguments de dévissage en exploitant le caractère exact du foncteur irrégularitéZ. Mebkhout defined the irregularity bundle of a holonomic differential system along an analytic subspace. This object had appeared in the special case of the constitutive module of holomorphic functions on a complex analytic variety, as the obstruction to Grothendieck's comparison theorem, which ultimately translates the regularity of the structural bundle. The irregularity bundle also generalises in higher dimensions the irregularity space of B. Malgrange in the case of one variable. Irregularity bundles have the property of perversity but some perverse bundles are not the irregularity of differential systems. This raises the problem of determining the essential image of the irregularity functor. In this work we study this problem when the hypersurface is a curve embedded in a surface. First, we give a counterexample to the essential subjectivity: we consider the irregularity on the splitting surface of the origin of the plane along the total transform of a curve and we exhibit a perverse beam of direct non-perverse image. We then prove, using the desingularisation of a plane curve, that the irregularity restricted to the seed of an irreducible blunt curve provides an essentially surjective functor to local systems on the blunt curve. We also compute precisely the cohomology bundles of the irregularity of certain d-modules of the exponential type along a normal crossing. These calculations allow us to find differential systems such that the monodromy of the associated local system has as eigenvalues the roots of unity. Finally, we show the following result: the irregularity along a smooth curve seed is an essentially surjective functor with values in the seeds of monodromic perverse bundles. The proof of this theorem relies on the category equivalence between monodromic perverse bundles and a category of diagrams of finite dimensional vector spaces. In the latter category, the indecomposable objects are known. All the work consists therefore in reaching them, which is done by unscrewing arguments by exploiting the exactness of the irregularity functor
8
MOURA, CLAIRE. "Non-holonomie des systemes de champs de vecteurs analytiques." Toulouse 3, 1998. http://www.theses.fr/1998TOU30161.
Full textAbstract:
Le contenu de cette these releve a la fois de la geometrie analytique et de la theorie du controle optimal. Il s'agit en effet d'etudier le degre de non holonomie associe a un systeme de champs de vecteurs analytiques, c'est-a-dire le nombre minimal de crochets de lie necessaires pour engendrer point a point l'algebre de lie du systeme. Etant donne un tel systeme t, la demarche pour majorer son degre de non holonomie s'appuie sur la geometrie des ensembles g, reunions de trajectoires de champs appartenant a l'algebre de lie de t. Le but est de produire un champ dont la trajectoire par 0 quitte une hypersurface fixee au prealable. Ces ensembles de courbes sont mis en relation avec les ensembles d'accessibilite associes a des sous-systemes de t. L'interpretation en termes de feuilletage qui decoule du theoreme de nagano nous permet d'affiner la description des espaces tangents. C'est le rang de l'algebre de lie en 0 de ces sous-systemes qui donne la strategie. Nous montrons ainsi comment controler d'une part la dimension des ensembles g, d'autre part le nombre de crochets de lie qui apparaissent dans leur fabrication. Nous ameliorons de ce fait un resultat de a. Gabrielov. La construction d'un ensemble g qui contient un ouvert nous permet de mettre en oeuvre la methode de j. -j. Risler pour tirer une majoration du degre de non holonomie. Dans le cas de systemes polynomiaux, nous donnons une majoration uniforme, ne dependant que du degre des champs de vecteurs et de la dimension de l'espace ambiant, via une analyse detaillee des multiplicites d'intersection entre une hypersurface algebrique et la trajectoire d'un champ de vecteurs polynomial.
9
Borzone, Tommaso. "Decentralized control of multi-agent systems : a hybrid formalism." Thesis, Université de Lorraine, 2019. http://www.theses.fr/2019LORR0078/document.
Full textAbstract:
Au cours des dernières années, les problèmes multi-agents ont été étudiés de manière intensive par la communauté de la théorie du contrôle. L'un des sujets les plus populaires est le problème de consensus où un groupe d'agents parvient à un accord sur la valeur d'un certain paramètre ou d’une variable. Dans ce travail, nous nous concentrons sur le consensus des réseaux d'agents avec une dynamique non linéaire de poursuite de référence. Nous utilisons des interactions sporadiques modélisées par la détection relative, pour traiter le consensus décentralisé des références. La référence est donc utilisée pour alimenter la dynamique de poursuite de chaque agent. L'analyse de stabilité du système globale a nécessitée l'utilisation d'outils théoriques propre de la théorie des systèmes hybrides, en raison de la double nature de l'approche en deux étapes. L'analyse est effectuée en tenant compte de différents scénarios de topologie et interactions. Pour chaque cas, une condition suffisante de stabilité est fournie, en termes de temps minimum autorisé entre deux mises à jour de référence consécutives. Le cadre proposé est appliqué aux missions de rendez-vous et de réalisation de formation pour les robots mobiles non-holonomes. Le même problème est abordé dans le contexte d'une application réelle sur le terrain, à savoir un système de gestion de flotte pour un groupe de véhicules robotisés déployés dans un environnement industriel à des fins de surveillance et de collecte de données. Le développement d'une telle application a été motivé par le fait que cette thèse s'inscrit dans le cadre du projet FFLOR, développé par le département de recherche technologique du CEA techOver the last years, multi-agents problems have been extensively studied from the control theory community. One of the most popular multi-agents control topics is the consensus problem where a group of agents reaches an agreement over the value of a certain parameter or variable. In this work we focus our attention on the consensus problem of networks of non-linear reference tracking agents. In first place, we use sporadic interactions modeled by relative sensing to deal with the decentralized consensus of the references. The reference is therefore feeded the tracking dynamics of each agent. Differently from existent works, the stability analysis of the overall system required the usage of hybrid systems theory tools, due to dual nature of the two stages approach. The analysis is carried out considering different scenarios of network topology and interactions. For each case a stability sufficient condition in terms of the minimum allowed time between two consecutive reference updates is provided. The proposed framework is applied to the rendez-vous and formation realisation tasks for non-holonomic mobile robots, which appear among the richest research topics in recent years. The same problem is addressed in the context of a real field application, namely a fleet management system for a group of robotic vehicles deployable in an industrial environment for monitoring and data collection purpose. The development of such application was motivated by the fact that this thesis is part of the Future of Factory Lorraine (FFLOR) project, developed by the technological research department of the Commissariat à l'énergie atomique et aux énergies alternatives (CEA tech)
10
Fruchard, Matthieu. "Méthodologies pour la commande de manipulateurs mobiles non-holonomes." Paris, ENMP, 2005. http://www.theses.fr/2005ENMPA001.
Full textAbstract:
Cette thèse se place dans le cadre de la commande des manipulateurs mobiles hybrides holonomes/ non-holonomes, c'est-à-dire des robots constitués d'un bras manipulateur embarqué sur une plate-forme porteuse. L'objectif de ce travail est de fournir un cadre méthodologique pour la synthèse de lois de commande par retour d'état de tels systèmes, en partant du constat qu'une stratégie de coordination entre la plate-forme et le manipulateur requiert génériquement de commander la situation complète de la plate-forme. L'originalité des deux nouvelles approches proposées est de permettre un contrôle coordonné d'une tâche prioritaire de manipulation et d'une tâche secondaire de locomotion, obtenu via la stabilisation pratique de la situation complète de la plate-forme le long d'une trajectoire de référence quelconque. Ces deux méthodes génériques s'appuient sur la fusion de deux outils de commande : l'approche par fonctions de tâches, dédiée au contrôle des bras manipulateurs, et l'approche par fonctions transverses, consacrée à la commande des plate-formes non-holonomes. Différentes applications de suivi de cible valident la flexibilité et la polyvalence de ces approches de commande à travers le choix de plusieurs stratégies de coopération entre manipulation et locomotionThis PhD thesis concerns the control of hybrid holonomic/ nonholonomic mobile manipulators, i. E. Robots composed of a manipulator arm mounted on a mobile platform. This work is devoted to the determination of a general framework for the feedback control of such systems. These control methodologies are based on the fact that a general strategy of motion coordination between the manipulator and the mobile platform requires to monitor the situation (position and orientation) of the platform. An original feature of the two approaches we propose is to allow a coordinated control of a priority manipulation task with a secondary locomotion task, obtained via the practical stabilization of the complete platform's situation along any reference trajectory. These two general methodologies rely on the fusion of two control tools: the task function approach, devoted to the control of manipulator arms, and the transverse functions approach, devoted to the control of nonholonomic platforms. Various application cases dealing with target tracking validate the flexibility and the polyvalence of these control approaches, through the choice of several strategies of cooperation between manipulation and locomotion subsystems
11
BONNAFOUS, David. "Exécution réactive de trajectoires pour robots mobiles non-holonomes." Phd thesis, Institut National Polytechnique de Toulouse - INPT, 2003. http://tel.archives-ouvertes.fr/tel-00011080.
Full textAbstract:
Ce mémoire aborde le problème de l'exécution d'une trajectoire pour un robot mobile à roues soumis à des contraintes non-holonomes. Le but est de développer une méthode permettant d'éviter les collisions dûes aux erreurs de localisation du robot dans son environnement, aux obstacles inconnus et aux imprécisions du plan de l'environnement. La méthode s'appuie sur une technique générique de déformation de trajectoire. Les obstacles perçus au cours du mouvement génèrent des forces virtuelles qui repoussent la trajectoire au loin tout en garantissant le respect des contraintes non-holonomes. La méthode de calcul des forces virtuelles est décrite en détail pour différents systèmes. L'algorithmique nécessaire à l'exécution simultanée de la déformation et du suivi d'une trajectoire en respectant les limitations cinématiques du robot est présenté. Des résultats expérimentaux sur des robots réels sont présentés dans le mémoire
12
Scheuer, Alexis. "Planification de chemins à courbure continue pour robot mobile non-holonome." Phd thesis, Grenoble INPG, 1998. http://tel.archives-ouvertes.fr/tel-00001746.
Full textAbstract:
Le travail présenté dans cette thèse vise à améliorer la planification de chemins pour un robot similaire à une voiture. Ainsi, seul l'aspect géométrique du mouvement est considéré (les vitesses sont ignorées) et le robot est soumis à deux contraintes qui limitent ses déplacements : sa direction instantanée de déplacement reste parallèle à son axe principal, et son rayon de braquage est minoré. Les travaux antérieurs sur ce sujet n'ont donné lieu qu'à des solutions produisant des chemins (dits chemins de Dubins) formés d'arcs de cercles de rayon minimum reliés tangentiellement par des segments. Ces chemins sont localement optimaux, mais la discontinuité de leur courbure ne permet pas à un véhicule de les suivre correctement (le véhicule doit s'arrêter à chaque discontinuité pour réorienter ses roues directrices). C'est pourquoi on a développé une approche qui permet de produire des chemins ayant un profil de courbure continu et une dérivée bornée de la courbure (cette dernière contrainte correspond au fait que la vitesse de rotation du volant du véhicule est elle aussi bornée). La contribution majeure de cette thèse est donc de définir des chemins respectant ces contrain tes, tout en étant très proches des chemins de Dubins localement optimaux. Ce mémoire de thèse est constitué de trois parties. La première s'appuie sur une analyse de l'existant en matière de planification de chemins en robotique mobile, pour fixer précisément les caractéristiques du problème de planification abordé (en termes de commandabilité du robot et de nature des chemins optimaux) et pour justifier l'approche choisie. La seconde partie du mémoire de thèse présente une première approche de planification de chemins à courbure continue, dans laquelle seule la contrainte de continuité de la courbure est ajoutée au problème classique de planification de chemins sans manoeuvre. La dernière partie du mémoire de thèse reprend dans son intégralité le problème énoncé dans la première partie, et propose une solution sous-optimale. Dans les parties deux et trois, un planificateur local (non complet) est d'abord défini, puis un planificateur global (complet) est construit à partir de ce planificateur local. Les résultats obtenus sont illustrés par des expérimentations en simulation et sur véhicule.
13
Wei, Yan. "Planification et Suivi de Mouvement d’un Système de Manipulateur Mobile non-holonome à deux bras." Thesis, Ecole centrale de Lille, 2018. http://www.theses.fr/2018ECLI0004/document.
Full textAbstract:
Cette thèse se situe dans la planification et le suivi de mouvement d’un humanoïde mobile à deux bras. Premièrement, MDH est utilisé pour la modélisation cinématique. Afin de surmonter les insuffisances de la méthode d’Euler-Lagrange qui nécessitent des calculs d’énergie et ses dérivées partielles, la méthode de Kane est utilisée. En plus, la stabilité physique est analysée et un contrôleur est conçu. Deuxièmement, un algorithme avancée MaxiMin NSGA-II est proposée pour concevoir l’orientation et la position optimales de la plate-forme mobile (PB) et la configuration optimale du manipulateur supérieur (MS) étant donnée uniquement la pose initiale et les positions et orientations souhaitées des EEs. Un algorithme à connexion directe combinant BiRRT et la gradient-descente est conçu pour réaliser la transition de la pose initiale à la pose optimale, et une méthode d'optimisation géométrique est conçue pour optimiser et cohérer le chemin. En outre, les motions en avant sont obtenues en attribuant des orientations pour MB indiquant ainsi l'intention du robot. Afin de résoudre le problème d'échec de l’algorithme hors ligne, un algorithme en ligne est proposé en estimant les motions des obstacles dynamiques. De plus, afin d'optimiser les via-poses, un algorithme basé sur les via-points des EEs et MOGA est proposé en optimisant quatre fonctions objectives. Enfin, le problème de suivi de motion est étudié étant donné les motions des EEs dans l'espace de tâche. Au lieu de contrôler la motion absolue, deux motions relatives sont introduites pour réaliser la coordination et la coopération entre MB et MS. De plus, une technique mWLN est proposée pour éviter les limites des jointsThis thesis focuses on the motion planning and tracking of a dual-arm mobile humanoid. First, MDH is used for kinematic modeling. The co-simulation via Simulink-Adams on prototype is realized to validate the effectiveness of RBFNN controller. In order to overcome the shortcomings of Euler-Lagrange’s formulations that require calculating energy and energy derivatives, Kane’s method is used. In addition, physical stability is analyzed based on Kane’s method and a controller is designed using back-stepping technique. Secondly, an improved MaxiMin NSGA-II is proposed to design the mobile base’s (MB) optimal position-orientation and the upper manipulator’s (UM) optimal configuration given only the initial pose and end-effectors’ (EEs) desired positions-orientations. A direct connect algorithm combining BiRRT and gradient-descent is designed to plan the transition from initial pose to optimal pose, and a geometric optimization method is designed to optimize and cohere the path. In addition, forward motions are obtained by assigning orientations for MB thus indicating robot’s intention. In order to solve the failure problem of offline algorithm, an online algorithm is proposed while estimating dynamic obstacles’ motions. In addition, in order to optimize via-poses, an algorithm based on EEs’ via-points and MOGA is proposed by optimizing four via-pose-based objective functions. Finally, the motion tracking problem is studied given EEs’ motions in the task space. Instead of controlling the absolute motion, two relative motions are introduced to realize the coordination and cooperation between MB and UM. In addition, an modulated WLN technique is proposed to avoid joints’ limits
14
Chu, Xing. "Commande distribuée, en poursuite, d'un système multi-robots non holonomes en formation." Thesis, Ecole centrale de Lille, 2017. http://www.theses.fr/2017ECLI0035/document.
Full textAbstract:
L’objectif principal de cette thèse est d’étudier le problème du contrôle de suivi distribué pour les systèmes de formation de multi-robots à contrainte non holonomique. Ce contrôle vise à entrainer une équipe de robots mobile de type monocycle pour former une configuration de formation désirée avec son centroïde se déplaçant avec une autre trajectoire de référence dynamique et pouvant être spécifié par le leader virtuel ou humain. Le problème du contrôle de suivi a été résolu au cours de cette thèse en développant divers contrôleurs distribués pratiques avec la considération d’un taux de convergence plus rapide, une précision de contrôle plus élevée, une robustesse plus forte, une estimation du temps de convergence explicite et indépendante et moins de coût de communication et de consommation d’énergie. Dans la première partie de la thèse nous étudions d’abord au niveau du chapitre 2 la stabilité à temps fini pour les systèmes de formation de multi-robots. Une nouvelle classe de contrôleur à temps fini est proposée dans le chapitre 3, également appelé contrôleur à temps fixe. Nous étudions les systèmes dynamiques de suivi de formation de multi-robots non holonomiques dans le chapitre 4. Dans la deuxième partie, nous étudions d'abord le mécanisme de communication et de contrôle déclenché par l'événement sur les systèmes de suivi de la formation de multi-robots non-holonomes au chapitre 5. De plus, afin de développer un schéma d'implémentation numérique, nous proposons une autre classe de contrôleurs périodiques déclenchés par un événement basé sur un observateur à temps fixe dans le chapitre 6The main aim of this thesis is to study the distributed tracking control problem for the multi-robot formation systems with nonholonomic constraint, of which the control objective it to drive a team of unicycle-type mobile robots to form one desired formation configuration with its centroid moving along with another dynamic reference trajectory, which can be specified by the virtual leader or human. We consider several problems in this point, ranging from finite-time stability andfixed-time stability, event-triggered communication and control mechanism, kinematics and dynamics, continuous-time systems and hybrid systems. The tracking control problem has been solved in this thesis via developing diverse practical distributed controller with the consideration of faster convergence rate, higher control accuracy, stronger robustness, explicit and independent convergence time estimate, less communication cost and energy consumption.In the first part of the thesis, we first study the finite-time stability for the multi-robot formation systems in Chapter 2. To improve the pior results, a novel class of finite-time controller is further proposed in Chapter 3, which is also called fixed-time controller. The dynamics of nonholonomic multi-robot formation systems is considered in Chapter 4. In the second part, we first investigate the event-triggered communication and control mechanism on the nonholonomic multi-robot formation tracking systems in Chapter 5. Moreover, in order to develop a digital implement scheme, we propose another class of periodic event-triggered controller based on fixed-time observer in Chapter 6
15
Mauny, Johan Raphaël. "Modélisation dynamique des systèmes non-holonomes intermittents : application à la bicyclette." Thesis, Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire, 2018. http://www.theses.fr/2018IMTA0113.
Full textAbstract:
Cette thèse traite de la modélisation dynamique des systèmes non-holonomes intermittents et de son application à la bicyclette 3D de Whipple. Pour cela, nous nous sommes appuyés sur un ensemble d'outils en mécanique géométrique (réduction Lagrangienne et projection dans le noyau des contraintes cinématiques essentiellement). Dans un premier temps, nous avons traité le cas de la bicyclette persistante. En définissant l'espace des configurations du vélo comme un fibré principal de groupe structural SE(3), nous avons obtenu un modèle des points de contact et des contraintes exempt de toute non-linéarité associée à un paramétrage de type coordonnées généralisées. Cette formulation nous a permis d'obtenir le noyau des contraintes sous une forme symbolique sans singularité. Nous avons alors produit un modèle symbolique de la dynamique de la bicyclette persistante en utilisant la méthode de réduction par projection de sa dynamique libre dans le sous espace de ses vitesses admissibles. Cette approche étend le cadre général mis au point ces dernières années pour la locomotion bio-inspirée. Profitant de la structure de SE(3), un modèle de la bicyclette intermittente a été proposé dans le cadre d'une approche événementielle. L'adoption du modèle physique de l'impact plastique, nous a permis d'étendre la méthode de réduction par projection au cas intermittent. Nous avons alors comparé notre approche "réduite" à l'approche classiquement utilisée et avons montré qu'elles partageaient une interprétation géométrique commune. Ces outils ont finalement été appliqués à la simulation de la bicyclette intermittente afin d'illustrer la richesse de sa dynamiqueThis thesis deals with the dynamic modelling of intermittent non-holonomic systems andits application to the Whipple 3D bicycle. To that end, we relied on a set of tools in geometric mechanics (mainly Lagrangian reduction and the projection in the kernel of the kinematic constraints). In the first instance, we have addressed the case of the bicycle subjected to persistent contacts. By defining the space of the bicycle configurations as a principal fibre bundle with SE(3) as structural group, we obtained a model of the contact points and of the constraints free of any non-linearities associated with a generalized coordinate type configuration. This formulation allowed us to obtain the kernel of the constraints in a symbolic form without singularity. We then produced a symbolic model of the dynamics ofthe bicycle subjected to persistent contacts using the projection reduction method of its free dynamics in the subspace of its permissible speeds. This approach extends the general framework developed in recent years for bio-inspired locomotion. Taking advantage of the structure of SE(3), a model of the intermittent bicycle was proposed as part of an event-driven approach. Moreover, the adoption ofthe physical model of plastic impact has allowed us to extend the projection reduction method to the intermittent case. We then compared our "reduced" approach to the conventional approach and showed that they shared a common geometric interpretation. These tools were finally applied to the simulation of the intermittent bicycle to illustrate its rich dynamics
16
Rohmer, Serge. "Modélisation d'environnement par nombres multivaleurs : application à la recherche de trajectoires robustes pour robots non-holonomes." Nancy 1, 1993. http://www.theses.fr/1993NAN10370.
Full textAbstract:
L'assistance à la mobilité contribue depuis quelques décennies à aider les personnes handicapées dans leur vie quotidienne. C'est dans ce cadre que s'inscrit le projet V. A. H. M. (Véhicule Autonome pour Handicapé Moteur). Ce projet consiste en une coopération entre une personne à mobilité réduite et la robotique mobile. Il a pour objectif de libérer la personne handicapée des contraintes liées au déplacement d'un fauteuil électrique. Notre travail concerne la planification de trajectoire du fauteuil dans un environnement encombré d'obstacles. Après une étude bibliographique critique, nous présentons un processus de modélisation d'environnement à l'aide des «nombres multivaleurs». Cette méthode fondée sur une discrétisation de l'environnement par rectangloïdes permet d'établir un espace des configurations pour robot en translation et en rotation. Nous développons ensuite deux approches de recherche de chemin: ― la première se base sur une recherche classique de plus court chemin pour robots holonomes (sans contraintes cinématiques); ― la seconde concerne les robots non holonomes. Nous développons un algorithme de recherche de chemin sans manœuvre auquel nous intégrons la notion de robustesse. Nous définissons cette notion comme étant la capacité d'un robot mobile à être peu sensible aux erreurs de localisation. Cette deuxième approche s'intègre parfaitement dans le projet V. A. H. M. Les trajectoires robustes sans manœuvre assurent confort et sécurité maximale pour la personne handicapée. Des essais effectués sur un prototype de fauteuil autonome permettent de vérifier l'efficacité de nos algorithmes.
17
Töyrä, Daniel. "Fidelity of geometric and holonomic quantum gates for spin systems." Thesis, Uppsala universitet, Teoretisk kemi, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-222152.
Full textAbstract:
Geometric and holonomic quantum gates perform transformations that only dependon the geometry of a loop covered by the parameters controlling the gate. Thesegates require adiabatic time evolution, which is achieved in the limit when the looptakes infinite time to complete. However, it is of interest to also know thetransformation properties of the gates for finite run times. It has been shown [Phys.Rev. A 73, 022327 (2006)] that some holonomic gates for a trapped ion system showrevival structures, i.e., for some finite run time the gate performs the sametransformation as it does in the adiabatic limit. The purpose of this thesis is to investigate if similar revival structures are shown alsofor geometric and holonomic quantum gates for spin systems. To study geometricquantum gates an NMR setup for spin-1/2 particles is used, while an NQR setup forspin-3/2 particles is used to study holonomic quantum gates. Furthermore, for thegeometric quantum gates the impact of some open system effects are examined byusing the quantum jump approach. The non-adiabatic time evolution operators of thesystems are calculated and compared to the corresponding adiabatic time evolutionoperators by computing their operator fidelity. The operator fidelity ranges between0 and 1, where 1 means that the gates are identical up to an unimportant phasefactor. All gates show an oscillating dependency on the run time, and some Abeliangates even show true revivals, i.e., the operator fidelity reaches 1.
18
Delmas, Pierre. "Génération active des déplacements d'un véhicule agricole dans son environnement." Phd thesis, Université Blaise Pascal - Clermont-Ferrand II, 2011. http://tel.archives-ouvertes.fr/tel-00669534.
Full textAbstract:
Dans ces travaux, nous proposons un système de guidage automatique pour la navigation sûre d'un robot mobile dans un monde ouvert. Le principe est de contrôler la direction et la vitesse du véhicule afin de préserver son intégrité physique et celle de son environnement. Cela se traduit par la généralisation du concept d'obstacle permettant d'estimer l'espace de vitesses admissibles par le véhicule en fonction de la surface de navigation, des capacités du véhicule et de son état. Afin d'atteindre cet objectif, le système doit pour chaque itération : 1) fournir à la tâche de perception une zone sur laquelle elle devra focaliser son attention pour la reconstruction de l'environnement ; 2) générer des trajectoires admissibles par le véhicule ; 3) estimer le profil de vitesse admissible pour chacune d'entre elles ; 4) pour finir, sélectionner la plus optimale par rapport à un critère prédéfini. Des résultats simulés et obtenus sur un démonstrateur réel permettent d'analyser les performances obtenues du système face à des scénarios divers et en démontre la pertinence.
19
Ortiz, Morales Daniel. "Virtual Holonomic Constraints: from academic to industrial applications." Doctoral thesis, Umeå universitet, Institutionen för tillämpad fysik och elektronik, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-87707.
Full textAbstract:
Whether it is a car, a mobile phone, or a computer, we are noticing how automation and production with robots plays an important role in the industry of our modern world. We find it in factories, manufacturing products, automotive cruise control, construction equipment, autopilot on airplanes, and countless other industrial applications. Automation technology can vary greatly depending on the field of application. On one end, we have systems that are operated by the user and rely fully on human ability. Examples of these are heavy-mobile equipment, remote controlled systems, helicopters, and many more. On the other end, we have autonomous systems that are able to make algorithmic decisions independently of the user. Society has always envisioned robots with the full capabilities of humans. However, we should envision applications that will help us increase productivity and improve our quality of life through human-robot collaboration. The questions we should be asking are: “What tasks should be automated?'', and “How can we combine the best of both humans and automation?”. This thinking leads to the idea of developing systems with some level of autonomy, where the intelligence is shared between the user and the system. Reasonably, the computerized intelligence and decision making would be designed according to mathematical algorithms and control rules. This thesis considers these topics and shows the importance of fundamental mathematics and control design to develop automated systems that can execute desired tasks. All of this work is based on some of the most modern concepts in the subjects of robotics and control, which are synthesized by a method known as the Virtual Holonomic Constraints Approach. This method has been useful to tackle some of the most complex problems of nonlinear control, and has enabled the possibility to approach challenging academic and industrial problems. This thesis shows concepts of system modeling, control design, motion analysis, motion planning, and many other interesting subjects, which can be treated effectively through analytical methods. The use of mathematical approaches allows performing computer simulations that also lead to direct practical implementations.
20
Byrd, Mark Steven. "Representations of SU(3) and geometric phases for three-state systems /." Digital version accessible at:, 1999. http://wwwlib.umi.com/cr/utexas/main.
Full text
21
Rodriguez, Sebastián. "From analysis to design of holonic multi-agent systems : a framework, methodological guidelines and applications." Besançon, 2006. http://www.theses.fr/2005BESA2058.
Full textAbstract:
Le travail présenté dans cette thèse concerne le développement d'un Framework pour les Systèmes Multi-Agents Holoniques. Ce type de système se compose de structures auto-similaires appelées holons. Un ensemble de holons peut être vu, selon le niveau d'observation, comme une entité unique ou comme un groupe de holons en interactions. Pour concevoir un framework générique et modulaire, nous utilisons une approche organisationnelle. Nous définissons les comportements des entités du framework en termes de rôles et d'interactions. Le framework met l'accent sur la modélisation et la représentation de trois aspects importants d'un SMA Holonique. Structure et Gestion d'un Holon : cette partie du framework prend en compte l'organisation des membres et la gestion du super-holon. Une organisation spécifique est proposée pour définir les statuts des membres vis-à-vis de leur super-holon. Interactions dépendantes du Problème : Pour réaliser les buts et les tâches du super-holon, les membres doivent interagir et coordonner leurs actions. Ces comportements, dépendants du problème, constituent les organisations internes. Notre framework offre aussi la possibilité de modéliser ces aspects. Dynamique : La dynamique est une caractéristique inhérente des SMA. Le framework considère également deux caractéristiques intrinsèques aux SMA holoniques : la Fusion (création et intégration dans le super-holon) et l'Auto-Organisation. Chaque organisation est modélisée en utilisant le modèle Rôle-Interaction-Organisation (RIO). Ce modèle offre une spécification formelle des rôles et permet la vérification et la validation des spécifications. Le framework a été formellement spécifié et cette formalisation, nous a permis de prouver d'importantes propriétés importantes sur l'auto-organisation du système. Nous proposons également une méthodologie pour l'analyse et la conception des systèmes complexes basée sur la notion de "Vues du Système". Chaque vue se consacre à un aspect particulier du système, et est représentée par une holarchie. Deux applications illustrent les concepts présentés dans ce travail. La première applique le framework au cas du Maillage Adaptatif pour le dimensionnement de réseaux radiomobiles. Cette application illustre le raffinement de la partie auto-organisation du framework et la spécification formelle d'un problème réel. La deuxième présente quant à elle, l'application des SMA holoniques pour la simulation d'un important site industriel. Plusieurs holarchies sont utilisées pour capturer les interactions entre les chaînes de production et le trafic routier interne au site. Pour implémenter ces concepts nous proposons un ensemble de modules basés sur la plateforme MadKitThe work presented in this PhD thesis is concerned with the development of a framework for Holonic MultiAgent Systems. This type of systems consists in self-similar structures called holons. A set of holons may be seen, depending on the level of observation, as a unique entity or as a group of holons in interaction. In order to conceive a generic and modular modeling framework, we use an organizational approach. We define then the behavior of the frame work entities in terms of roles and their interactions. The framework is concerned with the modeling and representation of three important aspects of a Holonic MAS. Holon Structure and Management : This part of the framework considers how the members organize and manage the super-holon. It offers a specific organization whose roles define the status of the member from the super-holon's point of view. Goal-Dependent Interactions : In order to achieve the goals/tasks of the super-holon, the members must interact and coordinate their actions. These goal-dependent behaviors are called Internal Organizations and our framework also offers means to model these aspects of the super-holons functioning. Dynamics : Dynamics are inherent characteristics of MAS. The framework considers in particular two of the most attractive characteristics of Holonic MAS: Merging (Creating and Joining a super-holon) and Self-Organization. Each organization is modeled using the Role-Interaction-Organization (RIO) Model. This model offers a formal specification of roles that enables the validation and verification of the model. We have formally specified the framework. Based on this formalization we were able to prove important properties concerning the self-organization of the system. We propose some guidelines based upon this framework for the analysis and design of Complex Systems. Two applications illustrate the concepts presented. The first uses the framework to the Adaptive Meshing Problem applied to the dimensioning of radiomobile networks. It illustrates the refinement of a self-organization module and formal specification. The second presents the use of holonic MAS for the simulation of an important industrial plant. Multiple holarchies are used to capture the interaction between the production and traffic inside the plant. In order to implement these concepts we propose a set of modules based on the MadKit platform
22
Stroot, Holger [Verfasser]. "Strong Approximation of Stochastic Mechanical Systems with Holonomic Constraints / Holger Stroot." München : Verlag Dr. Hut, 2019. http://d-nb.info/1196415595/34.
Full text
23
Raileanu, Silviu. "Proposition d’un modèle générique de pilotage pour un système à flux guidés : Application des concepts holoniques au transport intelligent (FMS/PRT)." Valenciennes, 2011. http://ged.univ-valenciennes.fr/nuxeo/site/esupversions/38191159-98bd-4bea-b774-7f2e39b5bf66.
Full textAbstract:
La thèse traite du pilotage d’un système à base de flux physique dans le domaine des FMS (Flexible Manufacturing System) et des PRT (Personal Rapid Transit). Le flux est considéré comme constitué d’entités "intelligentes" qui deviennent un produit "intelligent" (FMS) ou un véhicule "intelligent" (PRT) selon le domaine. Un modèle à base d’entités décisionnelles de pilotage (SEA : Système à base d’Entités Actives) est proposé. Le modèle SEA est "holonifié" et à cet effet un holon générique HAG (Holon Actif Généralisé) est introduit comme composant holonique de base. Ensuite, un modèle holonique SEAH (Système à base d’Entités Actives Holoniques) pour le pilotage d’un flux physique "intelligent" est proposé. Ce modèle fait plus particulièrement apparaître le holon flux (HF) qui permet de modéliser un produit « intelligent » ou un véhicule "intelligent" capable de prendre des décisions de pilotage au regard des processus d’allocation et/ou de routage. Le modèle SEAH comporte une partie statique et une partie comportementale. Cette dernière partie est fondée sur le concept d’"open-control" et combine un pilotage explicite de type "maître-esclave" avec un pilotage implicite par influence du comportement des entités. Le modèle SEAH fait l’objet d’une étude expérimentale pour appréhender sa validité. Des expérimentations ont été effectuées sur la cellule flexible du laboratoire CIMR de Bucarest pour le domaine du FMS, et sur la plateforme AIP-Priméca Nord-Pas-de-Calais de Valenciennes pour le domaine du PRT. Le modèle SEAH a été d’une grande utilité en servant de cadre de référence dans l’élaboration des architectures de pilotage retenues dans les deux domaines d’étudesThesis addresses the problem of controlling a system based on physical flow in the field of FMS (Flexible Manufacturing System) and PRT (Personal Rapid Transit). The flow is considered as constitued of "intelligent" entities which become "intelligent products" in the case of (FMS) or “intelligent vehicles" in the case of (PRT). A model-based on decision-making entities with regard to the control (SAE: System-based Active Entities) is offered. The SAE model is tranformed into an "holonic model" and a generic holon AGH (Active Generalized Holon) is introduced as an holonic component of foundation. Then, the HSAE holonic model (Holonic System-based Active Entities) for the control of an “intelligent” physical flow is proposed. This model puts the emphasis on the "flow holon" (FH) which allos to model, for instance, an “intelligent” product or an “intelligent” vehicle. The "flow holon" is able of making decisions with regard to the process allocation and/or routing. The HSAE model includes a static part and a behaviour part. This last part is based on the concept of "open-control". It combines an explicit control of type "master-slave" with an implicit control based on “influence” of the behaviour of entities. HSAE model is then the object of an experimental study to assess its validity. Experimentation wase performed on the flexible cell of the CIMR laboratory in Bucharest (Romania) for the field of FMS and on the platform AIP-PRIMECA Nord-Pas de Calais of Valenciennes (France) for the field of PRT. HSAE model has been of great usefulness in acting as a reference frame in the elaboration of the control architectures adopted in both fields of studies
24
Belato, Debora. "Analise não linear de sistemas dinamicos holonomos não ideais." [s.n.], 2002. http://repositorio.unicamp.br/jspui/handle/REPOSIP/264610.
Full textAbstract:
Orientadores : Hans Ingo Weber, Jose Manoel Balthazar, João Maurício RosárioTese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica
Made available in DSpace on 2018-08-01T20:05:10Z (GMT). No. of bitstreams: 1 Belato_Debora_D.pdf: 22468929 bytes, checksum: b008a52ab3fb5afd92f7489482994f7e (MD5) Previous issue date: 2002
Resumo: Sistemas dinâmicos da mecânica muitas vezes unem o comportamento descrito por leis de movimento à dinâmica do seu funcionamento. Sua solução passa por hipóteses simplificadoras adotadas para obter um modelo matemático representativo e útil. Quando a fonte de energia utilizada no acionamento do movimento possui potência limitada, isto é, não há potência suficiente no motor para um correto funcionamento do mecanismo, o sistema dinâmico é dito não-ideal. Sob esta suposição, investiga-se numericamente neste trabalho o sistema não linear de um problema específico procurando identificar as condições não lineares e não-ideais de movimento. São empregadas técnicas clássicas de análise de sistemas não lineares, porém é desenvolvida uma técnica numérica nova, capaz de descrever o comportamento dinâmico das principais soluções do sistema. Esta técnica consiste no cálculo de funções polinomiais capazes de descrever a estabilidade de um conjunto de soluções em uma região limitada do retrato de fase e que fornecem também um completo diagrama de bifurcação das soluções sem que tenha sido feita qualquer simplificação nas equações diferenciais
Abstract: Several times the mechanical systems join the behavior described by laws of motion to the dynamic of their operation. Their solution pass by adopted simplified hypotheses in order to obtain a representative and helpful mathematical model. When the energy source used in the bringing to the action of the motion has limited power, i.e., there is not sufficient power in the motor for a proper working of the mechanism and the dynamic system is called nonideal. On this supposition, we numerically investigate in this work the nonlinear system of a specific problem looking for identify the nonideal and nonlinear conditions of the motion. Classical techniques of analyses of nonlinear systems are used, however it is develop a new numerical approaching, able to describe the dynamical behavior of the main solutions of the system. This technique consists in the calculation of the polynomials functions that describe the stability of a set of solutions concerning a bounded region on the phase portrait and they also provide a complete bifurcation diagram of the solutions without that any simplification in the diferential equations has been done
Doutorado
Mecanica dos Sólidos e Projeto Mecanico
Doutor em Engenharia Mecânica
25
Bohnet, Doris Verfasser], and Christian [Akademischer Betreuer] [Bonatti. "Partially hyperbolic systems with a compact center foliation with finite holonomy / Doris Bohnet. Betreuer: Christian Bonatti." Hamburg : Staats- und Universitätsbibliothek Hamburg, 2011. http://d-nb.info/1020466790/34.
Full text
26
Seiler, Konstantin. "Fast trajectory generation and correction for non-holonomic systems exploiting Lie group symmetries." Thesis, The University of Sydney, 2013. http://hdl.handle.net/2123/10117.
Full textAbstract:
Sampling based motion planning is a popular motion planning technique for systems with many degrees of freedom in continuous state spaces. In particular the class of Rapidly exploring Random Tree algorithms (RRTs) has wide-spread use as they can be applied to a broad range of systems. Subsequently many extensions and variations to the RRT algorithm are known today. Many results, however, are not applicable in the case of non-holonomic and underactuated systems due to the difficulty in obtaining the required length-of-shortest-path distance metric and corresponding local planner. Instead, by focussing on changing existing paths this work develops algorithmic frameworks that allow faster motion planning specifically in the domain of non-holonomic underactuated systems. In order to adapt the paths efficiently, symmetries exhibited by the system are exploited by the algorithms. The particular focus of this work is on continuous symmetry groups that constitute a Lie group and thus allow for fast and powerful transformations of existing trajectories. Two methods are proposed to address this. The first allows path correction of an arbitrary path to reach a given goal. It works by applying small changes to selected small segments of a given trajectory and propagates their effects in a fast way using symmetry operations that avoid costly reintegration along the whole path. The second method allows the RRT algorithm to plan for a whole family of paths simultaneously to achieve greater coverage of the state space. The algorithm identifies those symmetry orbits, or subspaces thereof, that contain valid paths and propagates their states throughout the planning process. Both methods can be employed together and complement each other well.
27
Artus, Guillaume. "Application de l'approche par fonctions transverses à la commande de véhicules non-holonomes manoeuvrants." Paris, ENMP, 2005. http://www.theses.fr/2005ENMP1286.
Full textAbstract:
Ce travail de thèse se place dans le cadre de la conduite automatisée des véhicules sur roues. Notre objectif est le développement et l´expérimentation d´une nouvelle approche de commande des systèmes non-linéaires en vue du suivi d´une cible, associée par exemple à un véhicule de référence. L´originalité de ce travail est que la cible n´est pas contrainte dans ces mouvements et peut donc suivre des trajectoires non réalisables par le véhicule commandé. Il devient ainsi possible d´effectuer le suivi d´un véhicule de référence quelque soit le mouvement de celui-ci (marche avant, marche arrière, manoeuvres. . . ). L´approche de commande étudiée ici est basée sur le concept de fonction transverse, et consiste à effectuer une stabilisation pratique du repère cible. Dans un premier temps, nous analysons l´influence des paramètres de commande sur le suivi du repère. A partir de cette analyse, nous proposons ensuite de nouvelles commandes qui permettent d´améliorer la précision du suivi et le comportement du système lors des phases transitoires. Enfin, nous présentons des résultats d´expérimentations obtenus sur le système robotique du laboratoire Icare. Cette phase expérimentale a nécessité de développer un estimateur de la vitesse de la cible. Celui-ci est basé sur la fusion des données issues de la vision et de celles issues des mesures odométriquesThis PhD Thesis concerns the automated guidance of wheeled vehicles. Our objective is the development and the experimentation of a new control approach for nonlinear systems in order to achieve the tracking of a moving target, associated, for example, with a reference vehicle. An original feature of this work is that the target is allowed to move freely in the plane and thus to perform motions which are not feasible by the controlled vehicle. It becomes thus possible to follow a reference vehicle independently of its motions (forward motion, backwards motion, maneuvers. . . ). The control approach is based on the transverse function framework, and consists to perform the practical stabilization of the target. First, we analyze the influence of the control parameters on the target tracking. Based on this analysis, we propose two extensions in order to improve the tracking precision and the system´s behaviour during the transient phases. Finally, we present experimental results obtained with the robotic system of the Icare laboratory. To this purpose, an estimator of the target´s velocity has been developed. It is based on visual and odometry measurements
28
Defoort, Michael. "Contributions à la planification et à la commande pour les robots mobiles coopératifs." Phd thesis, Ecole Centrale de Lille, 2007. http://tel.archives-ouvertes.fr/tel-00196529.
Full textAbstract:
Ce travail se place dans le cadre de la navigation autonome d'une flottille de robots mobiles non holonomes. Notre objectif est de doter un système multi-robots à la fois d'une architecture de planification de trajectoire flexible et d'une architecture de poursuite de trajectoire performante et robuste.Le premier chapitre est consacré à la présentation du contexte.
Le deuxième chapitre est dévolu au développement d'un algorithme de planification de trajectoire admissible pour un robot mobile suffisamment flexible pour pouvoir être étendu au cadre multi-robots.
Dans le troisième chapitre, deux mécanismes de coordination sont développés. Pour le premier, les conflits sont résolus via un superviseur. Le second permet la génération en ligne des trajectoires optimales de chaque robot de manière décentralisée à partir uniquement des informations disponibles.
Le quatrième chapitre concerne la commande par modes glissants d'ordre quelconque. L'efficacité de l'algorithme est mise en lumière à travers des résultats expérimentaux sur un moteur pas à pas.
Dans le cinquième chapitre, deux algorithmes de commande par modes glissants avec action intégrale sont synthétisés et implémentés sur le robot Pekee. Ces techniques assurent la stabilisation et/ou le suivi de trajectoire malgré la présence de perturbations et d'incertitudes.
Le dernier chapitre décrit un mécanisme décentralisé de coordination de type ``meneur/suiveur''. Il permet de s'affranchir de la connaissance de la position absolue de l'ensemble des robots et d'éviter les collisions entre robots. Enfin, nous présentons des résultats expérimentaux sur une flottille de trois robots Miabot.
29
Arechavaleta, Servin Gustavo. "An optimality principle governing human walking." Toulouse, INSA, 2007. http://eprint.insa-toulouse.fr/archive/00000193/.
Full textAbstract:
This work seeks to analyze human walking at the trajectory planning level from an optimal control perspective. Our approach emphasizes the close relationship between the geometric shape of human locomotion in goal-directed movements and the simplified kinematic model of a wheeled mobile robot. This kind of system has been extensively studied in robotics community. From a kinematic perspective, the characteristic of this wheeled robot is the nonholonomic constraint of the wheels on the floor, which forces the vehicle to move tangentially to its main axis. In the case of human walking, the observation indicates that the direction of the motion is given by the direction of the body (due to some anatomical, mechanical body constraints. . . ). This coupling between the direction q and the position (x,y) of the body can be summarized by tanq = ˙ y ˙ x. It is known that this differential equation defines a non integrable 2- dimensional distribution in the 3-dimensional manifold R2×S1 gathering all the configurations (x,y,q). The controls of a vehicle are usually the linear velocity (via the accelerator and the brake) and the angular velocity (via the steering wheel). The first question addressed in this study can be roughly formulated as : where is the “steering wheel” of the human body located ? It appears that the torso can be considered as a kind of a steering wheel that steers the human body. This model has been validated on a database of 1,560 trajectories recorded from seven subjects. In the second part we address the following question : among all possible trajectories reaching a given position and direction, the subject has chosen one. Why ? The central idea to understand the shape of trajectories has been to relate this problem to an optimal control scheme : the trajectory is chosen according to some optimization principle. The subjects being viewed as a controlled system, we tried to identify several criteria that could be optimized. Is it the time to perform the trajectory ? the length of the path ? the minimum jerk along the path ?. . . We argue that the time derivative of the curvature of the locomotor trajectories is minimized. We show that the human locomotor trajectories are well approximated by the geodesics of a differential system minimizing the L2 norm of the control. Such geodesics are made of arcs of clothoids. The clothoid is a curve whose curvature grows with the distance from the origin. The accuracy of the model is supported by the fact that 90 percent of trajectories are approximated with an average error < 10cm. In the last part of this work we provide the partition of the 3-dimensional configuration space in cells : 2 points belong to a same cell if and only if they are reachable from the origin by a path of the same type. Such a decomposition is known as the synthesis of the optimal control problem. Most of the time when the target changes slightly the optimal trajectories change slightly. However, some singularities appear at some critical frontiers between cells. It is noticeable that they correspond to the strategy change for the walking subjects. This fundamental result is another poof of the locomotion model we have proposed
30
Shedied, Samy Aly. "Optimal Control for a Two Player Dynamic Pursuit Evasion Game; The Herding Problem." Diss., Virginia Tech, 2002. http://hdl.handle.net/10919/26110.
Full textAbstract:
In this dissertation we introduce a new class of pursuit-evasion games; the herding problem. Unlike regular pursuit evasion games where the pursuer aims to hunt the evader the objective of the pursuer in this game is to drive the evader to a certain location on the x-y grid. The dissertation deals with this problem using two different methodologies. In the first, the problem is introduced in the continuous-time, continuous-space domain. The continuous time model of the problem is proposed, analyzed and we came up with an optimal control law for the pursuer is obtained so that the evader is driven to the desired destination position in the x-y grid following the local shortest path in the Euler Lagrange sense. Then, a non-holonomic realization of the two agents is proposed. In this and we show that the optimal control policy is in the form of a feedback control law that enables the pursuer to achieve the same objective using the shortest path.
The second methodology deals with the discrete model representation of the problem. In this formulation, the system is represented by a finite di-graph. In this di-graph, each state of the system is represented by a node in the graph. Applying dynamic programming technique and shortest path algorithms over the finite graph representing the system, we come up with the optimal control policy that the pursuer should follow to achieve the desired goal. To study the robustness, we formulate the problem in a stochastic setting also. We analyze the stochastic model and derive an optimal control law in this setting. Finally, the case with active evader is considered, the optimal control law for this case is obtained through the application of dynamic programming technique.Ph. D.
31
Mettin, Uwe. "Applications of the Virtual Holonomic Constraints Approach : Analysis of Human Motor Patterns and Passive Walking Gaits." Licentiate thesis, Umeå : Department of Applied Physics and Electronics, Umeå University, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-1873.
Full text
32
Gaud, Nicolas A. "Systèmes multi--agents holoniques : de l'analyse à l'implantation : méta-modèle, méthodologie, et simulation multi-niveaux." Besançon, 2007. http://www.theses.fr/2007BESA2014.
Full textAbstract:
Cette thèse propose un guide méthodologique pour l'analyse, la conception, l'implantation et la simulation des Systèmes Multi-Agents Holoniques (SMAH). Ce type de système repose sur une structure hiérarchique auto-similaire, une structure gigogne où les agents sont composés d'agents. La brique de construction de tels systèmes est nommée Holon. Un holon est une entité qui, selon le niveau d'observation, peut être vu, soit comme une partie composante d'un élément de niveau supérieur, soit comme un tout composé d'autres holons. Les SMAH sont utilisés pour analyser les systèmes considérés comme complexes. Ces derniers exhibent généralement une structure hiérarchique où le système est composé de sous--systèmes qui, à leur tour, ont leurs propres sous-systèmes. L'approche adoptée dans cette thèse consiste à exploiter la nature intrinsèquement hiérarchique des systèmes complexes pour les analyser et les modéliser. Afin de concevoir des modèles modulaires et réutilisables, une approche organisationnelle est adoptée. Le principe de l'analyse repose sur l'identification d'une hiérarchie d'organisations, dont le comportement globale est en mesure de représenter le système selon une certaine perspective. Les comportements du système sont récursivement décomposés en un ensemble de sous-comportements en interaction, chacun d'entre eux étant à son tour décomposé jusqu'à atteindre un niveau où les comportements correspondants peuvent être considérés comme élémentaires. A un niveau donné, le comportement composé est représenté par une organisation, et les sous-comportements associés par des rôles. Cette hiérarchie d'organisations est ensuite projetée sur une holarchie (hiérarchie de holons) en charge de lui donner vie et d'exécuter les comportements qui la composent. En sus de la modélisation des systèmes complexes, cette thèse aborde également les problématiques liées à leur simulation. Simuler précisément de tels systèmes requiert généralement d'importantes ressources de calcul. La simulation multi-niveaux permet d'obtenir un compromis entre la précision de la simulation et les ressources de calcul disponibles. L'approche défendue dans ce manuscrit exploite les propriétés des SMAH pour concevoir un modèle de simulation multi-agents multi-niveaux, lequel est ensuite appliquée à la simulation de piétons en environnements urbains visuelsThe work, presented in this PhD thesis, is concerned with the study of complex systems and aims at provinding a full set of abstractions and the associated methodological guidelines for the analysis, design, implementation and simulation of Holonic MultiAgent Systems (HMAS). HMAS offers a promising software engineering approach for developing complex open software systems. This kind of systems consists in self-similar structures called holons. A set of holons maybe seen, depending on the level of observation, as a unique entity or as a group of holons in interaction. A complex system is made up of a large number of parts that have many interactions. In such systems, the behavior of the whole cannot be directly understood only by knowing the behavior of the parts and their interactions. Complex systems often exhibit a hierarchical structure. The foundation of this thesis consist in exploiting the intrinsic hierarchical structure of complex systems toa analyse and decompose them. In order to conceive modular and reusable models, an organizational approacg is adopted. The principle of the analysis is based on the identification of a hierarchy of organizations, which the global behavior may represent the system under the chosen perspective. The behaviors of the system are recursively decomposed into a set on interacting sub-behaviors, each of these latter being in turn decomposed until we reach some lowest level of elementary sub-behaviors. At a given level, the composed behavior is modeled unsing an organization, and the associated sub-behaviors using roles. The hierarchical organization structure is then mapped to holarchy (hierarchy of holons) in charge of its execution. The concepts presented are then used to study the issues related to the multilevel multiagent simulation. The resulting model is finally applied th the pedestrians simulation in virtual environment
33
Braconnier, Jean-Baptiste. "Maintien de l'intégrité de robots mobiles en milieux naturels." Thesis, Clermont-Ferrand 2, 2016. http://www.theses.fr/2016CLF22667/document.
Full textAbstract:
La problématique étudiée dans cette thèse concerne le maintien de l’intégrité de robots mobiles en milieux naturels. L’objectif est de fournir des lois de commande permettant de garantir l’intégrité d’un véhicule lors de déplacements autonomes en milieux naturels à vitesse élevée (5 à 7 m.s -1 ) et plus particulièrement dans le cadre de l’agriculture de précision. L’intégrité s’entend ici au sens large. En effet, l’asservissement des déplacements d’un robot mobile peut générer des consignes nuisant à son intégrité physique, ou à la réalisation de sa tâche (renversement, tête-à-queue, stabilité des commandes, maintien de la précision, etc.). De plus, le déplacement en milieux naturels amène des problématiques liées notamment à des conditions d’adhérence variables et relativement faibles (d’autant plus que la vitesse du véhicule est élevée), ce qui se traduit par de forts glissements des roues sur le sol, ou encore à des géométries de terrains non traversables par le robot. Aussi, cette thèse vise à déterminer en temps réel l’espace de stabilité en terme de commandes admissibles permettant de modérer les actions du robot. Après une présentation des modélisations existantes, et des observateurs permettant l’exploitation de ces modélisations pour la mise en place de loi de commande prédictive en braquage pour le suivi de trajectoire, une nouvelle méthode d’estimation des glissements basé sur une observation cinématique est proposée. Celle-ci permet de répondre aux problématiques de vitesse variable (et notamment du passage de la vitesse par des valeurs nulles) du véhicule et d’observation lors d’un déplacement sans trajectoire de référence. Ce nouvel observateur est primordial pour la suite des développements de cette thèse, puisque la suite des travaux s’intéresse à la modulation de la vitesse du véhicule. Ainsi, dans la suite des travaux, deux lois de commande prédictives agissant sur la vitesse du véhicule ont été mises en place. La première apporte une solution à la problématique de la saturation des actionneurs en braquage, lorsque la vitesse ou les glissements rendent la trajectoire à suivre inadmissible vis-à-vis des capacités physiques du véhicule. La deuxième répond à la problématique de la garantie de la précision du suivi de trajectoire (maintien du véhicule dans un couloir de déplacement). Dans les deux cas la stratégie de commande est similaire : on prédit l’état futur du véhicule en fonction de ses conditions d’évolution actuelle et de conditions d’évolutions futures simulées (obtenues grâce à la simulation de l’évolution d’un modèle dynamique du véhicule) afin de déterminer la valeur de la vitesse optimale pour que les variables cibles (dans un cas la valeur du braquage et dans l’autre l’écart à la trajectoire) respectent les conditions imposées (non-dépassement d’une valeur cible). Les résultats présentés dans ce mémoire ont été réalisés soit en simulations, soit en conditions réelles sur des plateformes robotiques. Il en découle que les algorithmes proposés permettent dans un cas de réduire la vitesse du véhicule pour éviter la saturation du braquage et donc les phénomènes de sur et sous virage qui en découlerait et donc permet de conserver la commandabilité du véhicule. Et dans l’autre cas de garantir que l’écart à la trajectoire reste sous une valeur cibleThis thesis focused on the issue of the preseving of the integrity of mobile robots in off-road conditions. The objective is to provide control laws to guarantee the integrity of a vehicle during autonomous displacements in natural environments at high speed (5 to 7 m.s -1 ) and more particularly in The framework of precision farming. Integrity is here understood in the broad sense. Indeed, control of the movements of a mobile robot can generate orders that affect its physical integrity, or restrains the achievement of its task (rollover, spin, control stability, maintaining accuracy , etc.). Moreover, displacement in natural environments leads to problems linked in particular to relatively variable and relatively low adhesion conditions (especially since the speed of the vehicle is high), which results in strong sliding of wheels on the ground, or to ground geometries that can not be crossed by the robot. This thesis aims to determine in real time the stability space in terms of permissible controls allowing to moderate the actions of the robot. After a presentation of the existing modelings and observers that allow the use of these modelizations for the implementation of predictive control law for trajectory tracking, a new method of estimation of side-slip angles based on a kinematic observation is proposed. It permit to address the problem of variable speed of the vehicle (and in particular the case of zero values) and also to allow the observation during a displacement without reference trajectory. This new observer is essential for the further development of this thesis, since the rest of the work is concerned with the modulation of the speed of the vehicle. So, in the further work, two predictive control laws acting on the speed of the vehicle have been set up. The first one provides a solution to the problem of the saturation of steering actuators, when the speed or side-slip angles make the trajectory inadmissible to follow with respect to the physical capacities of the vehicle. The second one adress the problem of guaranteeing the accuracy of trajectory tracking (keeping the vehicle in a corridor of displacement). In both cases, the control strategy is similar: the future state of the vehicle is predicted according to the current conditions of evolution and the simulated one for the future evolution (obtained by simulating the evolution of dynamics models of the vehicle) in order to determine the value of the optimum speed so that the target variables (in one case the value of the steering and in the other the lateral deviation from the trajectory) comply with the imposed conditions (not exceeding a target value). The results presented in this thesis were realized either in simulations or in real conditions on robotic platforms. It follows that the proposed algorithms make it possible : in one case to reduce the speed of the vehicle in order to avoid the saturation of the steering actuator and therefore the resulting over and under steering phenomena and thus make it possible to preserve the vehicle’s controllability. And in the other case, to ensure that the lateral deviation from the trajectory remains below a target value
34
Pasquotti, Maura. "Topics on Optimization Strategies for Constrained Mechanical Systems." Doctoral thesis, Università degli studi di Padova, 2008. http://hdl.handle.net/11577/3425582.
Full textAbstract:
In the first part of the work we analyze the problem of optimal control of a vehicle along a preassigned trajectory. The vehicle system is studied and simplified in order to obtain a computationally tractable model, which still presents the main characteristics of the real vehicle. The control algorithm, based on MPC techniques, is then explained and its effectiveness is proved through simulation results. The “minimum lap time problem” is afterward considered, which can be considered as an evolution of the trajectory tracking problem; its analysis is presented and is followed by the developed solution, based on pseudospectral methods.
In the second part of the thesis the problem of control of underactuated mechanical systems is discussed. The nonholonomic system classically called “rolling disk” is considered as test case; it is a wheel with punctiform contact surface that can roll on the plane without sliding laterally. Differently from the literature we consider the torque as the unique control input signal. This system is modeled through the Lagrangian formalism and then the control strategy, based on backstepping and receding horizon techniques, is shown and proved to be effective.
35
La, Hera Pedro. "Underactuated mechanical systems : Contributions to trajectory planning, analysis, and control." Doctoral thesis, Umeå universitet, Institutionen för tillämpad fysik och elektronik, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-39719.
Full textAbstract:
Nature and its variety of motion forms have inspired new robot designs with inherentunderactuated dynamics. The fundamental characteristic of these controlled mechanicalsystems, called underactuated, is to have the number of actuators less than the number ofdegrees of freedom. The absence of full actuation brings challenges to planning feasibletrajectories and designing controllers. This is in contrast to classical fully-actuated robots.A particular problem that arises upon study of such systems is that of generating periodicmotions, which can be seen in various natural actions such as walking, running,hopping, dribbling a ball, etc. It is assumed that dynamics can be modeled by a classicalset of second-order nonlinear differential equations with impulse effects describing possibleinstantaneous impacts, such as the collision of the foot with the ground at heel strikein a walking gait. Hence, we arrive at creating periodic solutions in underactuated Euler-Lagrange systems with or without impulse effects. However, in the qualitative theory ofnonlinear dynamical systems, the problem of verifying existence of periodic trajectoriesis a rather nontrivial subject.The aim of this work is to propose systematic procedures to plan such motions and ananalytical technique to design orbitally stabilizing feedback controllers. We analyze andexemplify both cases, when the robotmodel is described just by continuous dynamics, andwhen continuous dynamics is interrupted from time to time by state-dependent updates.For trajectory planning, systems with one or two passive links are considered, forwhich conditions are derived to achieve periodicmotions by encoding synchronizedmovementsof all the degrees of freedom. For controller design we use an explicit form tolinearize dynamics transverse to the motion. This computation is valid for an arbitrarydegree of under-actuation. The linear system obtained, called transverse linearization, isused to analyze local properties in a vicinity of the motion, and also to design feedbackcontrollers. The theoretical background of these methods is presented, and developedin detail for some particular examples. They include the generation of oscillations forinverted pendulums, the analysis of human movements by captured motion data, and asystematic gait synthesis approach for a three-link biped walker with one actuator.
36
Mettin, Uwe. "Principles for planning and analyzing motions of underactuated mechanical systems and redundant manipulators." Doctoral thesis, Umeå universitet, Institutionen för tillämpad fysik och elektronik, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-30024.
Full textAbstract:
Motion planning and control synthesis are challenging problems for underactuated mechanical systems due to the presence of passive (non-actuated) degrees of freedom. For those systems that are additionally not feedback linearizable and with unstable internal dynamics there are no generic methods for planning trajectories and their feedback stabilization. For fully actuated mechanical systems, on the other hand, there are standard tools that provide a tractable solution. Still, the problem of generating efficient and optimal trajectories is nontrivial due to actuator limitations and motion-dependent velocity and acceleration constraints that are typically present. It is especially challenging for manipulators with kinematic redundancy. A generic approach for solving the above-mentioned problems is described in this work. We explicitly use the geometry of the state space of the mechanical system so that a synchronization of the generalized coordinates can be found in terms of geometric relations along the target motion with respect to a path coordinate. Hence, the time evolution of the state variables that corresponds to the target motion is determined by the system dynamics constrained to these geometrical relations, known as virtual holonomic constraints. Following such a reduction for underactuated mechanical systems, we arrive at integrable second-order dynamics associated with the passive degrees of freedom. Solutions of this reduced dynamics, together with the geometric relations, can be interpreted as a motion generator for the full system. For fully actuated mechanical systems the virtually constrained dynamics provides a tractable way of shaping admissible trajectories. Once a feasible target motion is found and the corresponding virtual holonomic constraints are known, we can describe dynamics transversal to the orbit in the state space and analytically compute a transverse linearization. This results in a linear time-varying control system that allows us to use linear control theory for achieving orbital stabilization of the nonlinear mechanical system as well as to conduct system analysis in the vicinity of the motion. The approach is applicable to continuous-time and impulsive mechanical systems irrespective of the degree of underactuation. The main contributions of this thesis are analysis of human movement regarding a nominal behavior for repetitive tasks, gait synthesis and stabilization for dynamic walking robots, and description of a numerical procedure for generating and stabilizing efficient trajectories for kinematically redundant manipulators.
37
Small, Scott Joseph. "Runge-Kutta type methods for differential-algebraic equations in mechanics." Diss., University of Iowa, 2011. https://ir.uiowa.edu/etd/1082.
Full textAbstract:
Differential-algebraic equations (DAEs) consist of mixed systems of ordinary differential equations (ODEs) coupled with linear or nonlinear equations. Such systems may be viewed as ODEs with integral curves lying in a manifold. DAEs appear frequently in applications such as classical mechanics and electrical circuits. This thesis concentrates on systems of index 2, originally index 3, and mixed index 2 and 3.
Fast and efficient numerical solvers for DAEs are highly desirable for finding solutions. We focus primarily on the class of Gauss-Lobatto SPARK methods. However, we also introduce an extension to methods proposed by Murua for solving index 2 systems to systems of mixed index 2 and 3. An analysis of these methods is also presented in this thesis. We examine the existence and uniqueness of the proposed numerical solutions, the influence of perturbations, and the local error and global convergence of the methods.
When applied to index 2 DAEs, SPARK methods are shown to be equivalent to a class of collocation type methods. When applied to originally index 3 and mixed index 2 and 3 DAEs, they are equivalent to a class of discontinuous collocation methods. Using these equivalences, (s,s)--Gauss-Lobatto SPARK methods can be shown to be superconvergent of order 2s.
Symplectic SPARK methods applied to Hamiltonian systems with holonomic constraints preserve well the total energy of the system. This follows from a backward error analysis approach. SPARK methods and our proposed EMPRK methods are shown to be Lagrange-d'Alembert integrators.
This thesis also presents some numerical results for Gauss-Lobatto SPARK and EMPRK methods. A few problems from mechanics are considered.
38
Boubel, Charles. "Sur l'holonomie des variétés pseudo-riemanniennes." Phd thesis, Université Henri Poincaré - Nancy I, 2000. http://tel.archives-ouvertes.fr/tel-00008842.
Full textAbstract:
Les trois chapitres, relativement indépendants, de la thèse étudient des variétés pseudo-riemanniennes (variétés munies d'une métrique non-dégénérée mais non définie) dont l'holonomie restreinte est indécomposable mais stabilise des sous-espaces totalement isotropes. Chapitre 1. Une variété riemanienne de courbure de Ricci parallèle est localement (globalement si elle est complète et simplement connexe) un produit de variétés d'Einstein. Cela résulte de la positivité de la métrique et n'est plus vrai dans le cas pseudo-riemannien. Cependant, en utilisant les propriétés classiques de l'holonomie ainsi qu'un travail de Klingenberg de 1954 sur les paires de formes bilinéaires symétriques le chapitre 1 montre un résultat proche : décomposition en produit de variétés d'Einstein et de deux autres types, <> et < pour les paires de formes réflexives, voir pp.96-100 de la thèse. Chapitre 3. Le plus significatif, il construit, sur une certaine classe de variétés pseudo-riemanniennes réductibles, indécomposables sous l'action de leur holonomie restreinte, des coordonnées privilégiées, <> en un sens qu'il précise (th. 1 p. 167). Ces coordonnées sont un outil pour une première compréhension de la géométrie locale, complexe, de ces variétés. Elles permettent en particulier de paramétrer l'espace des germes de métriques lorentziennes correspondant à chacun des quatre types d'holonomie lorentzienne possibles donnés par A. Ikemakhen et L. Bérard Bergery. (voir pp. 204--205 et 211).
39
Adoum, Ahmat Fadil. "Proposition d’une architecture de surveillance holonique pour l’aide à la maintenance proactive d’une flotte de systèmes mobiles : application au domaine ferroviaire." Thesis, Valenciennes, 2019. http://www.theses.fr/2019VALE0001/document.
Full textAbstract:
La maintenance de flottes de systèmes mobiles dans le monde du transport et de la logistique revêt de nos jours une importance croissante de par l’augmentation des attentes des exploitants et opérateurs en termes de sécurité, de fiabilité, de suivi, de diagnostic et de maintenance de ces systèmes. Dans ce contexte, Les mainteneurs des flottes doivent souvent faire face à d'énormes quantités de données brutes, informations et événements de surveillance liés aux contexte de leurs systèmes. De plus, ces événements, données et informations manquent souvent de précision et sont souvent contradictoires ou obsolètes. Enfin, le degré d'urgence des décisions de maintenance est rarement pris en compte. Ce travail est consacré à la proposition et à la mise au point d’une architecture de surveillance pour l’aide à la maintenance d’une flotte de systèmes mobiles. Cette architecture, appelée EMH², est destinée à faciliter le diagnostic et le suivi de ce type de flotte. Elle est construite sur les principes holoniques, des plus bas (capteurs) aux plus hauts niveaux (ensemble d’une flotte de systèmes mobiles). Elle se base également sur une standardisation des événements traités afin de traiter les données de manière générique. Cette architecture, indépendante des types de systèmes surveillés et de leur niveau hiérarchique, peut devenir l'épine dorsale d’une stratégie efficace de maintenance proactive d’une flotte. Une méthodologie de déploiement est ainsi proposée. Une étude en simulation et une application sur une flotte de 10 trains actuellement en service est présentéeThe maintenance of mobile systems fleets in the world of transport and logistics is of increasing importance today due to the increasing expectations of operators in terms of safety, reliability, monitoring, diagnosis and maintenance of these systems. In this context, fleet maintainers often have to deal with huge amounts of raw data, information and monitoring events related to the context of their systems. Moreover, these events, data and information are often lack precision and often contradictory or obsolete. Finally, the urgency of maintenance decisions is rarely taken into account. This work is devoted to the proposal and the development of a monitoring architecture to help maintain a fleet of mobile systems. This architecture, called EMH², is intended to facilitate the diagnosis and monitoring of this type of fleet. It is built on holonic principles, from the lowest (sensors) to the highest levels (a whole fleet of mobile systems). It is also based on a standardization of processed events in order to process the data generically. This architecture, independent of the types of systems monitored and their hierarchical level, can become the backbone of an effective strategy for proactive fleet maintenance. A deployment methodology is thus proposed. A simulation study and an application on a fleet of 10 trains currently in service is presented
40
Tchappi, haman Igor. "Dynamic Multilevel and Holonic Model for the Simulation of a Large-Scale Complex System with Spatial Environment : Application to Road Traffic Simulation." Thesis, Bourgogne Franche-Comté, 2020. http://www.theses.fr/2020UBFCA004.
Full textAbstract:
De nos jours, avec l’émergence d’objets et de voitures connectés, les systèmes de trafic routier deviennent de plus en plus complexes et présentent des comportements hiérarchiques à plusieurs niveaux de détail. L'approche de modélisation multiniveaux est une approche appropriée pour représenter le trafic sous plusieurs perspectives. Les modèles multiniveaux constituent également une approche appropriée pour modéliser des systèmes complexes à grande échelle comme le trafic routier. Cependant, la plupart des modèles multiniveaux de trafic proposés dans la littérature sont statiques car ils utilisent un ensemble de niveaux de détail prédéfinis et ces représentations ne peuvent pas commuter pendant la simulation. De plus ces modèles multiniveaux considèrent généralement seulement deux niveaux de détail. Très peu de travaux se sont intéressés à la modélisation dynamique multiniveau de trafic.Cette thèse propose un modèle holonique multiniveau et dynamique du trafic à grande échelle.La commutation dynamique des niveaux de détail lors de l’exécution de la simulation permet d’adapter le modèle aux contraintes liées à la qualité des résultats ou aux ressources de calcul disponibles.La proposition étend l'algorithme DBSCAN dans le contexte des systèmes multi-agents holoniques. De plus, une méthodologie permettant la commutation dynamique entre les différents niveaux de détail est proposée. Des indicateurs multiniveaux basés sur l'écart type sont aussi proposés afin d'évaluer la cohérence des résultats de la simulationNowadays, with the emergence of connected objects and cars, road traffic systems become more and more complex and exhibit hierarchical behaviours at several levels of detail. The multilevel modeling approach is an appropriate approach to represent traffic from several perspectives. Multilevel models are also an appropriate approach to model large-scale complex systems such as road traffic. However, most of the multilevel models of traffic proposed in the literature are static because they use a set of predefined levels of detail and these representations cannot change during simulation. Moreover, these multilevel models generally consider only two levels of detail. Few works have been interested on the dynamic multilevel traffic modeling.This thesis proposes a holonic multilevel and dynamic traffic model for large scale traffic systems. The dynamic switching of the levels of detail during the execution of the simulation allows to adapt the model to the constraints related to the quality of the results or to the available computing resources.The proposal extends the DBSCAN algorithm in the context of holonic multi-agent systems. In addition, a methodology allowing a dynamic transition between the different levels of detail is proposed. Multilevel indicators based on standard deviation are also proposed in order to assess the consistency of the simulation results
41
Alamir, Mazen. "Contributions à l'étude de la commande optimale à horizon fuyant des systèmes non linéaires." Grenoble INPG, 1995. http://www.theses.fr/1995INPG0135.
Full textAbstract:
Dans ce travail, plusieurs aspects de la commande optimale à horizon fuyant sont considérés. Selon cette stratégie de commande, un problème d'optimisation en boucle ouverte est d'abord résolu sur un horizon donné; la première commande de la séquence optimale résultante est seule appliquée au système et le tout est recommencé au pas suivant, ceci pose le problème de la stabilité du schéma obtenu. Dans une première partie, des conditions suffisantes de stabilité sont proposées pour les différentes formulations possibles (Horizon fini avec contrainte sur l'état final, horizon infini sans contrainte finale, horizon fini sans contrainte finale). Dans la suite, une loi de commande inspirée du principe de l'horizon fuyant est proposée pour les systèmes discrets non linéaires définis avec des incertitudes additives non structurées. Cette loi est fondée sur l'utilisation des problèmes d'optimisations avec contraintes finales d'inégalité dans lesquels la longueur de l'horizon est aussi une variable d'optimisation. La robustesse de la loi de commande périodique ainsi obtenue est alors discutée. La mise en œuvre de la commande optimale à horizon fuyant en temps réel dans le cas général reste un problème sérieux. Dans la troisième partie de ce travail, nous caractérisons une classe particulière de systèmes continus non linéaires pour lesquels la stabilisation par retour d'état peut être résolue au moyen d'une formulation fondée sur les principes de l'horizon fuyant où le problème d'optimisation est linéaire quadratique d'où une mise en œuvre en temps réel possibleIn this work, several aspects of the receding horizon control strategy are discussed. First of all, some suffisant conditions for the stability of the closed loop system are proposed for different possible formulations (finite or infinite prediction horizon, with or without final constraint on the state). In a second part, a robust stabilizing feedback strategy is proposed to stabilize uncertain discrete-time nonlinear systems defined with additive unmatched uncertainties. The feedback law is periodic and is based on the use of optimization problems with final inequality constraints. Finally, a special class of continuous nonlinear systems is characterized for which a real time implementation of the receding horizon principle is possible through a linear quadratic optimization problem formulation
42
Bouffaron, Fabien. "Co-spécification système exécutable basée sur des modèles : application à la conduite interactive d’un procédé industriel critique." Thesis, Université de Lorraine, 2016. http://www.theses.fr/2016LORR0001/document.
Full textAbstract:
Dans la mesure où un système est un ensemble d'éléments en interaction, la difficulté pour un ingénieur système est de guider l’architecture d'un modèle « total » du système en tant qu'ensemble de modèles « locaux » d’ingénieries interdisciplinaires en interaction. Les travaux présentés dans ce mémoire s’intéressent plus précisément à la nature heuristique, spécifiante et exécutable de cette relation « totale » de couplage afin de construire un modèle virtuel du système à faire. La perspective holonique retenue permet de considérer cette relation de couplage de façon descriptive du TOUT et prescriptive de chacune des PARTIES aussi bien en regard de la situation-système à percevoir que des constitutifs-système à architecturer. Ainsi, nous avons revisité cette relation en tant que processus itératif, récursif et collaboratif de co-spécification-système visant à supporter la requête de connaissances auprès de chacune des ingénieries spécialistes délivrant en retour les modèles constitutifs satisfaisant des exigences systèmes. Notre environnement de co-modélisation-système se compose alors d’un ensemble d’environnements élémentaires de modélisation de constituants-système, avec pour objectif de préserver les outils, méthodes et processus de travail de chacune des parties prenantes. La modélisation au niveau système s’appuie sur le langage de modélisation « SysML » pour architecturer l’ensemble des connaissances. La vérification et la validation système s’effectue par co-exécution de modèles autour d’un bus de co-simulation, y compris in-situ avec la plate-forme d’expérimentation CISPI du projet SAFETECH du CRAN constituant notre cas d’applicationInsofar as a system is a set of interacting elements, the difficulty for a system engineer is to guide the whole model architecture of a system as a set of interdisciplinary engineering part models interacting. The works presented in this thesis are specifically interested in the heuristic, specifying and executable nature of this whole relationship coupling to design a virtual model of the system-of-interest. The holonic perspectives allows us to consider this coupling relationship as descriptive of a WHOLE (H) and prescriptive of each parts as well in regards to system situation to perceive, as system-elements to architect. In this sense, we revisit this relation as an iterative, recursive and collaborative process of system co-specification to the quest of knowledge with each specialist engineering delivering constitutive models satisfying basic requirements. Our system co-modelling environment is itself composed of a set of system-components modelling environment, with the stated objective to preserve tools, methods and works of each stakeholders in order to facilitate the expression of their skills. The modelling at a system level is based on the system modelling language (SysML) to architecture the set of knowledge. Verification and validation are performed by co-execution of models around a co-simulation bus, including CISPI platform of SAFETECH project of CRAN constituting our case study
43
Roithmayr, Carlos. "Relating constrained motion to force through Newton's second law." Diss., Available online, Georgia Institute of Technology, 2007, 2007. http://etd.gatech.edu/theses/available/etd-03302007-125659/.
Full textAbstract:
Thesis (Ph. D.)--Aerospace Engineering, Georgia Institute of Technology, 2007.Bauchau, Olivier, Committee Member ; Hodges, Dewey, Committee Chair ; Singhose, William, Committee Member ; Costello, Mark, Committee Member ; Flannery, Raymond, Committee Member.
44
Barbosa, José. "Proposition d’une architecture holonique auto-organisée et évolutive pour le pilotage des systèmes de production." Thesis, Valenciennes, 2015. http://www.theses.fr/2015VALE0008/document.
Full textAbstract:
Le monde des entreprises est profondément soumis à un ensemble de contraintes toujours plus exigeantes provenant d’une part des clients, exigeant des produits plus personnalisables, de qualité supérieure et à faible coût, et d’autre part des aléas internes auxentreprises, comprenant les pannes machines, les défaillances humaines, la fluctuation de la demande, les fréquentes variations de production. Cette thèse propose une architecture de contrôle de systèmes de production, basée sur les principes holoniques développées dans l’architecture ADACOR (ADAptive holonic COntrol aRchitecture), et l’étendant en s’inspirant des théories de l’évolution et en utilisant des mécanismes d’auto-organisation. L’utilisation des théories de l’évolution enrichit l’architecture de contrôle en permettant l’évolution de deux manières distinctes, en réponse au type et au degré de la perturbation apparue. Le premier mode d’adaptation, appelé auto-organisation comportementale, permet à chaque entité qui compose le système d’adapter dynamiquement leur comportement interne, gérant de cette façon de petites perturbations. Le second mode, nommé auto-organisation structurelle, traite de plus grandes perturbations, en permettant aux entités du système de ré-organiser leurs relations, et par conséquent modifier structurellement le système. L’architecture holonique auto-organisée de contrôle de systèmes de production proposée dans cette thèse a été validée sur une cellule de production flexible AIP-PRIMECA. Les résultats ont montré une amélioration des indicateurs clés de performance par rapport aux architectures de contrôle hiérarchiques et hétérarchiquesThe manufacturing world is being deeply challenged with a set of ever demanding constraints where from one side, the costumers are requiring products to be more customizable, with higher quality at lower prices, and on other side, companies have to deal on a daily basis with internal disturbances that range from machine breakdown to worker absence and from demand fluctuation to frequent production changes. This dissertation proposes a manufacturing control architecture, following the holonic principles developed in the ADAptive holonic COntrol aRchitecture (ADACOR) and extending it taking inspiration in evolutionary theories and making use of self- organization mechanisms. The use of evolutionary theories enrich the proposed control architecture by allowing evolution in two distinct ways, responding accordingly to the type and degree of the disturbance that appears. The first component, named behavioural self- organization, allows each system’s entity to dynamically adapt its internal behaviour, addressing small disturbances. The second component, named structural self-organization, addresses bigger disturbances by allowing the system entities to re-arrange their rela- tionships, and consequently changing the system in a structural manner. The proposed self-organized holonic manufacturing control architecture was validated at a AIP-PRIMECA flexible manufacturing cell. The achieved experimental results have also shown an improvement of the key performance indicators over the hierarchical and heterarchical control architecture
45
Frolík, Stanislav. "Geometrická teorie řízení na nilpotentních Lieových grupách." Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2019. http://www.nusl.cz/ntk/nusl-399583.
Full textAbstract:
This thesis deals with the theory of geometric control of the trident robot. The thesis describes the basic concepts of differential geometry and control theory, which are subsequently used for describing various mechanisms. Finally, the thesis proposes the management using inferred results.
46
Bott, M. P. "A new, robust, and generic method for the quick creation of smooth paths and near time-optimal path tracking." Thesis, University of St Andrews, 2011. http://hdl.handle.net/10023/2095.
Full textAbstract:
Robotics has been the subject of academic study from as early as 1948. For much of this time, study has focused on very specific applications in very well controlled environments. For example, the first commercial robots (1961) were introduced in order to improve the efficiency of production lines. The tasks undertaken by these robots were simple, and all that was required of a control algorithm was speed, repetitiveness and reliability in these environments. Now however, robots are being used to move around autonomously in increasingly unpredictable environments, and the need for robotic control algorithms that can successfully react to such conditions is ever increasing. In addition to this there is an ever-increasing array of robots available, the control algorithms for which are often incompatible. This can result in extensive redesign and large sections of code being re-written for use on different architectures. The thesis presented here is that a new generic approach can be created that provides robust high quality smooth paths and time-optimal path tracking to substantially increase applicability and efficiency of autonomous motion plans. The control system developed to support this thesis is capable of producing high quality smooth paths, and following these paths to a high level of accuracy in a robust and near time-optimal manner. The system can control a variety of robots in environments that contain 2D obstacles of various shapes and sizes. The system is also resilient to sensor error, spatial drift, and wheel-slip. In achieving the above, this system provides previously unavailable functionality by generically creating and tracking high quality paths so that only minor and clear adjustments are required between different robots and also be being capable of operating in environments that contain high levels of perturbation. The system is comprised of five separate novel component algorithms in order to cater for five different motion challenges facing modern robots. Each algorithm provides guaranteed functionality that has previously been unavailable in respect to its challenges. The challenges are: high quality smooth movement to reach n-dimensional goals in regions without obstacles, the navigation of 2D obstacles with guaranteed completeness, high quality smooth movement for ground robots carrying out 2D obstacle navigation, near time-optimal path tracking, and finally, effective wheel-slip detection and compensation. In meeting these challenges the algorithms have tackled adherence to non-holonomic constraints, applicability to a wide range of robots and tasks, fast real-time creation of paths and controls, sensor error compensation, and compensation for perturbation. This thesis presents each of the above algorithms individually. It is shown that existing methods are unable to produce the results provided by this thesis, before detailing the operation of each algorithm. The methodology employed is varied in accordance with each of the five core challenges. However, a common element of methodology throughout the thesis is that of gradient descent within a new type of potential field, which is dynamic and capable of the simultaneous creation of high-quality paths and the controls required to execute them. By relating global to local considerations through subgoals, this methodology (combined with other elements) is shown to be fully capable of achieving the aims of the thesis. It is concluded that the produced system represents a novel and significant contribution as there is no other system (to the author’s knowledge) that provides all of the functionality given. For each component algorithm there are many control systems that provide one or more of its features, but none that are capable of all of the features. Applications for this work are wide ranging as it is comprised of five component algorithms each applicable in their own right. For example, high quality smooth paths may be created and followed in any dimensionality of space if time optimality and obstacle avoidance are not required. Broadly speaking, and in summary, applications are to ground-based robotics in the areas of smooth path planning, time optimal travel, and compensation for unpredictable perturbation.
47
Kourganoff, Mickaël. "Géométrie et dynamique des espaces de configuration." Thesis, Lyon, École normale supérieure, 2015. http://www.theses.fr/2015ENSL1049/document.
Full textAbstract:
Cette thèse est divisée en trois parties. Dans la première, on étudie des systèmes articulés (mécanismes formés de tiges rigides) dont l'espace ambiant n'est pas le plan, mais diverses variétés riemanniennes. On étudie la question de l'universalité des mécanismes : cette notion correspond à l'idée que toute courbe serait tracée par un sommet d'un mécanisme, et que toute variété différentiable serait l'espace de configuration d'un mécanisme. On étend les théorèmes d'universalité au plan de Minkowski, au plan hyperbolique et enfin à la sphère.Toute surface dans R^3 peut être aplatie selon l'axe des z, et la surface aplatie s'approche d'une table de billard dans R^2. Dans la seconde partie, on montre que, sous certaines hypothèses, le flot géodésique de la surface converge localement uniformément vers le flot de billard. De plus, si le billard est dispersif, les propriétés chaotiques du billard remontent au flot géodésique : on montre qu'il est alors Anosov. En appliquant ce résultat à la théorie des systèmes articulés, on obtient un nouvel exemple de systèmes articulé Anosov, comportant cinq tiges.Dans la troisième partie, on s'intéresse aux variétés munies de connexions localement métriques, c'est-à-dire de connexions qui sont localement des connexions de Levi-Civita de métriques riemanniennes ; on donne dans ce cadre un analogue du théorème de décomposition de De Rham, qui s'applique habituellement aux variétés riemanniennes. Dans le cas où une telle connexion préserve une structure conforme, on montre que cette décomposition comporte au plus deux facteurs ; de plus, lorsqu'il y a exactement deux facteurs, l'un des deux est l'espace euclidien R^q. La démonstration des résultats de cette partie passe par l'étude des feuilletages munis d'une structure de similitude transverse. Sur ces feuilletages, on montre un résultat de rigidité qui peut être vu indépendamment des autres: ils sont soit transversalement plats, soit transversalement riemanniensThis thesis is divided into three parts. In the first part, we study linkages (mechanisms made of rigid rods) whose ambiant space is no longer the plane, but various Riemannian manifolds. We study the question of the universality of linkages: this notion corresponds to the idea that every curve would be traced out by a vertex of some linkage, and that any differentiable manifold would be the configuration space of some linkage. We extend universality theorems to the Minkowski plane, the hyperbolic plane, and finally the sphere.Any surface in R^3 can be flattened with respect to the z-axis, and the flattened surface gets close to a billiard table in R^2. In the second part, we show that, under some hypotheses, the geodesic flow of the surface converges locally uniformly to the billiard flow. Moreover, if the billiard is dispersing, the chaotic properties of the billiard also apply to the geodesic flow: we show that it is Anosov in this case. By applying this result to the theory of linkages, we obtain a new example of Anosov linkage, made of five rods.In the third part, we first consider manifolds with locally metric connections, that is, connections which are locally Levi-Civita connections of Riemannian metrics; we give in this framework an analog of De Rham's decomposition theorem, which usually applies to Riemannian manifolds. In the case such a connection also preserves a conformal structure, we show that this decomposition has at most two factors; moreover, when there are exactly two factors, one of them is the Euclidean space R^q. The proofs of the results of this part use foliations with transverse similarity structures. On these foliations, we give a rigidity theorem of independant interest: they are either transversally flat, or transversally Riemannian
48
Lohéac, Jérôme. "Contrôle en temps optimal et nage à bas nombre de Reynolds." Phd thesis, Université de Lorraine, 2012. http://tel.archives-ouvertes.fr/tel-00801240.
Full textAbstract:
Cette thèse est divisée en deux parties, le fil directeur étant la contrôlabilité en temps optimal. Dans la première partie, après un rappel du principe du maximum de Pontryagin dans le cas des systèmes de dimension finie, nous mettrons en œuvre ce principe sur le cas d'un intégrateur non-holonome connu sous le nom de système de Brockett pour lequel nous imposons des contraintes sur l'état. La difficulté de cette étude provient du fait que l'on considère un problème de contrôle avec des contraintes sur l'état. Après cet exemple, nous nous intéressons à une extension du principe du maximum de Pontryagin au cas des systèmes de dimension infinie. Plus précisément, l'extension que nous considérons s'applique au cas de systèmes exactement contrôlables en tout temps. Typiquement, ce résultat s'applique à l'équation de Schrödinger avec contrôle interne. Pour de tels systèmes, sous une condition de contrôlabilité approchée, depuis un ensemble de temps non négligeable, nous montrons l'existence d'un contrôle bang-bang. Dans la seconde partie, nous étudions le problème de la nage à bas nombre de Reynolds. Une modélisation physique convenable nous permet de le formaliser comme un problème de contrôle. Nous obtenons alors un résultat de contrôlabilité sur ce problème. Plus précisément, nous montrons que quelque soit la forme du nageur, celui-ci peut se déformer légèrement pour suivre une trajectoire imposée. Nous étudions ensuite le cas d'un nageur à symétrie axiale. Les résultats de la première partie permettent alors la recherche d'un contrôle en temps optimal.
49
Bohnet, Doris. "Partially hyperbolic diffeomorphisms with a compact center foliation with finite holonomy." Phd thesis, 2011. http://tel.archives-ouvertes.fr/tel-00782664.
Full textAbstract:
On démontre que les difféomorphismes partiellement hyperboliques admettant un feuilletage central invariant compact sont dynamiquement cohérent et en plus ils ont la propriété de pistage. En supposant une direction instable uni-dimensionnelle et orientée on peut prouver que le difféomorphisme projette en un automorphisme hyperbolique de tore dans l'espace des feuilles centrales.
50
Osborne, Jason M. "On geometric control design for holonomic and nonholonomic mechanical systems." 2007. http://www.lib.ncsu.edu/theses/available/etd-05162007-123046/unrestricted/etd.pdf.
Full text