Synthèse de contrôleurs des systèmes à évènements discrets basée sur les réseaux de Petri

La méthode des invariants est une des plus utilisées méthodes de synthèse pour les SED modélisés par des réseaux de Petri (RdP). Cependant, elle ne garantit pas en général une solution optimale dans la présence de l'incontrôlabilité. Dans ce travail nous proposons une solution à ce problème pour les RdP généralisés. Premièrement, nous proposons une solution d'identification des contraintes admissibles pour les RdP saufs non-conservatifs. La méthode repose sur une définition des contraintes contenant des marquages complémentés. Ceux-ci sont après éliminés en exploitant les composants conservatifs des RdP. Deuxièmement, nous avançons une technique de détermination des contraintes admissibles pour les RdP généralisés. La méthode est basée sur une vision spatiale de l'espace d'états du modèle. Les contraintes sont dérivées de l'équation d'hyperplan affin qui sépare les régions interdite- et autorisée- de cet espace. Nous proposons un algorithme pour le calcul du contrôleur optimal minimal.The place-invariants method is one of the most popular controller synthesis approaches for Petri net (PN) modeled DES. Unfortunately, the observance of the constraints is not certain in the presence of uncontrollable transitions. This thesis offers a solution to this problem for ordinary and generalized PNs. We begin by studying safe non-conservative PNs, and devising a constraint-determination technique that will always provide a set of admissible constraints for this type of model. The approach stems from the general definition of forbidden states - that of marking vectors. In the second part of our work, we present an admissible constraint-determination technique for generalized PNs. The method is based on a special view of the system's state space. The constraints are derived from the equation of the affine hyper-plane separating the authorized- and forbidden- regions of this space. We propose an algorithm that allows the identification of the minimal maximally permissive controller.SAVOIE-SCD - Bib.électronique (730659901) / SudocGRENOBLE1/INP-Bib.électronique (384210012) / SudocGRENOBLE2/3-Bib.électronique (384219901) / SudocSudocFranceF

La raison distribuée. Genèse des concepts collectifs dans la modélisation mathématique en sciences sociales

Sciences sociales et mathématiques n’ont pas toujours fait bon ménage. Et pourtant elles peuvent s’influencer mutuellement de manière intéressante. Nous allons essayer de retracer quelques étapes de leur histoire commune et en particulier montrer comment le passage de concepts individuels à des notions plus « sociales » a permis la construction de modèles de certains comportements collectifs qui ont une pertinence aussi bien dans les sciences sociales que dans le domaine des mathématiques et ..

Programmer un pays : Cybernétique et matérialisme dialectique en RDA

Définie comme science générale de la régulation et de la communication s’appliquant aussi bien aux machines, aux êtres vivants qu’à la société, la cybernétique a été profondément marquée aussi bien par son contexte de développement, la Deuxième Guerre mondiale, que par les milieux où elle fut appliquée, à l’époque de la guerre froide. À l’Est, si la cybernétique fut au départ considérée comme une science « bourgeoise », l’appareil d’État a dû se rendre à l’évidence, son utilisation était nécessaire dans bien des domaines, à commencer par celui des technologies militaires. De son côté, un philosophe influent, Georg Klaus (1912-1974), a su convaincre la direction du parti de la compatibilité de la cybernétique avec le marxisme-léninisme. Dès lors, sous cette double impulsion, les années 1960 ont été marquées par une véritable conversion du pays, la cybernétique devenant la science de la programmation, en informatique bien sûr, mais aussi pour la planification économique et dans bien d’autres domaines.Cybernetics, defined as the science of regulation and communication pertaining to machines, human beings or society, bears the traces of the context in which it was elaborated—Second World War—and of the different areas where it was put into practical use during the Cold War. If initially in the East cybernetics was considered a bourgeois science, the state apparatus soon realised its crucial importance in many fields of activity, and most prominently, in developing military technology. In parallel, the influential philosopher Georg Klaus (1912-1974) convinced the party leaders of the compatibility of cybernetics and Marxism-Leninism. From then on, driven by this double impetus, the 1960s were marked by a downright conversion of the country as cybernetics became the science of programming, within computing research of course, but also in economic planning and other fields

Modèles d'interaction entre transport et urbanisme : état de l'art et choix du modèle pour le projet SIMBAD. Rapport intermédiaire n°1

Le projet SIMBAD (SImuler les MoBilités pour une Agglomération Durable) a pour objectif d'établir un modèle de simulation à long terme de la mobilité urbaine dans une perspective de développement durable. Pour cela, différents scénarios de politiques de transport et d'urbanisme seront testés afin de mettre en évidence leurs impacts sur les enjeux environnementaux, économiques et sociaux des déplacements de personnes et de marchandises réalisés au sein de l'aire urbaine.Le bilan réalisé dans ce rapport se décompose en trois grandes étapes.- Une première partie propose une première approche du champ de la modélisation des interactions entre transport et urbanisme en qualifiant plus précisément ces interactions puis en présentant les outils conceptuels et méthodologiques qui ont été développés et utilisés depuis les années 60 pour les représenter.- La partie suivante s'attache plus à montrer comment, dans la pratique, ces outils ont été mobilisés dans les modèles. Une typologie classique est retenue (Simmonds, Bates, 1999), permettant d'ordonner la présentation des principaux modèles transport urbanisme qui est faite ici.- Enfin, une dernière partie fournit la discussion argumentée qui nous a conduit à sélectionner le modèle URBANSIM parmi tous les modèles passés en revue.Modèle de simulation ; choix du modèle ; modèles LUTI ; modèle URBANSIM ; mobilité urbaine ; impacts environnementaux ; impacts économiques ; impacts sociaux ; interactions entre urbanisme et systèmes de transports ; agglomération ; projet SIMBAD

Communiquer en 3D De la sémiologie cognitive à la sémiologie numérique

Exrait de l'article de la publication HERMES à venirWe study the no verbal but semiological communication within informatics' windows design. To confront those social graphic representations to mental ones helps to understand man-computer relation and its symmetrical and asymmetrical plays. The experiment hereafter leads to a debat for a semiological and dynamic 3D information system.Nous étudions la communication sémiologique non-verbale et son jeu dans les interfaces des systèmes informatiques. Confronter les représentations sociales des interfaces graphiques avec celles des représentations mentales permet de mieux comprendre les symétries et asymétries qui se jouent dans la relation homme-machine. L'expérience que nous exposons ci-après ouvre le débat d'une gestion de l'information sous une forme sémiologique de sens commun, tridimensionnelle et dynamique

L'étude des fluctuations macroéconomiques est-elle « scientifique » ?

L'étude des fluctuations macroéconomiques part du principe que le comportement du tout (les agrégats) ne se réduit pas à la somme des parties (les agents, les marchés). Il en est ainsi parce que les interdépendances entre marchés peuvent substantiellement amplifier, ou au contraire amortir, les chocs qui à tout moment perturbent l'équilibre. La compréhension de ces effets d'équilibre général, sur lesquels les évidences directes sont limitées, les facteurs confondants multiples, et les expérimentations contrôlées impossibles, est nécessairement plus conjecturale – mais non moins « scientifique » – que l'étude des comportements individuels ou d'un marché isolé. Ignorer ces effets au motif qu'ils n'ont pas le même degré de certitude empirique qu'un effet microéconomique directement observé peut conduire à de lourdes erreurs de politique économique

Contribution à l'étude et au développement de modèles connexionnistes séquentiels de l'apprentissage

Dans ce mémoire, nous distinguons trois chapitres. Le premier, aprés un bref rappel sur les réseaux de neurones artificiels, propose une classification des différentes approches connexionnistes du séquentiel. En particulier, nous décrivons les réseaux de neurones séquentiels. Puis, nous rappelons le modèle de la machine séquentielle et présentons succintement le modèle de la machine séquentielle connexionniste et les variantes de l'algorithme d'apprentissage. Nous concluons en regroupant les différents modèles de réseaux de neurones séquentiels présentés au sein du modèle plus général de la machine séquentielle connexionniste. Le second chapitre détaille la structure, le fonctionnement et les variantes d'apprentissage de ce modèle. Les propriétés émergentes sont illustrées sur de petits problèmes simples de détection de séquences. Le dernier chapitre décrit le logiciel SACREN, outil général de simulation de réseaux de neurones, développé et utilisé dans le cadre de ce travail

La notion de déterminisme en physique et ses limites

L'idée de déterminisme, proposée pour étendre et généraliser la causalité physique, ajoutant en particulier la considération des conditions initiales, se constitua dès lors comme la référence idéale et considérée comme indépassable de toute connaissance scientifique. Cet idéal devait toutefois se voir dépassé dans plusieurs directions. D'une part, la causalité physique classique se transforma en causalité relativiste, comportant des restrictions sur les possibilités des rapports spatio-temporels et suscitant, avec la relativité générale, l'idée de complétude théorique, méta-concept qui permet de formuler des conditions internes de perfectionnement théorique. D'autre part, le déterminisme proprement dit devait connaître des limitations de sa portée en physique classique même, avec la considération des systèmes dynamiques «non linéaires», déterministes, mais dont le comportement peut être totalement non-prévisible à terme. Enfin, la causalité et le déterminisme se sont vus remis radicalement en question avec l'élaboration de la physique quantique. Le sens exact de ces remises en cause est directement lié aux questions d'interprétation de la théorie quantique : équation causale et problème de la « réduction » de la fonction d'état, d'un côté, prédictions probabilistes, d'un autre côté. Les deux aspects se retrouvent dans la question de la limitation des représentations spatio-temporelles et de sa signification du point de vue théorique. Il faut donc concevoir les problèmes d'interprétation de la théorie quantique en termes du rapport entre la causalité, le déterminisme, et les grandeurs qui portent les contenus physiques effectifs. On est ainsi amené à s'interroger sur un sens directement physique des grandeurs mathématiques de la théorie et, si un tel sens est assignable, à considérer les catégories en question par rapport aux concepts théoriques réellement appropriés, avec comme effet de les « remettre sur leurs pieds ». Cela est du moins possible pour la causalité, ainsi que pour la complétude. Quant au déterminisme, il ne peut être, dans sa formulation usuelle, que statistique, et reste ainsi très en-deçà des possibilités des perspectives théoriques. Ces transformations laissent entrevoir l'impératif d'une autre catégorie, plus fondamentale qu'elles car indépendante des choix conceptuels et théoriques, et pourtant souvent omise dans les débats : celle de nécessité, régulatrice des autres catégories et systèmes de concepts