Contribution A La Synthese Des Controleurs Des Systemes A Evenements Discrets Partiellement Observables

Download Contribution A La Synthese Des Controleurs Des Systemes A Evenements Discrets Partiellement Observables full books in PDF, epub, and Kindle. Read online Contribution A La Synthese Des Controleurs Des Systemes A Evenements Discrets Partiellement Observables ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!

Contribution à la synthèse des contrôleurs des systèmes à événements discrets partiellement observables

Author : Zied Achour
Publisher :
ISBN 13 :
Total Pages : 106 pages
Book Rating : 4.:/5 (493 download)

DOWNLOAD NOW!

Book Synopsis Contribution à la synthèse des contrôleurs des systèmes à événements discrets partiellement observables by : Zied Achour

Download or read book Contribution à la synthèse des contrôleurs des systèmes à événements discrets partiellement observables written by Zied Achour and published by . This book was released on 2005 with total page 106 pages. Available in PDF, EPUB and Kindle. Book excerpt: Dans ce travail, nous proposons des méthodes de synthèse des lois de commande pour les systèmes à événements discrets partiellement observables. Selon le modèle utilisé, nous avons apporté deux types de contributions. Une première contribution se situe au niveau de l'extension de la synthèse de la commande basée sur des modèles réseaux de Petri et la théorie des régions en intégrant la contrainte d'observabilité des événements. La deuxième contribution intéressante concerne le développement d'une méthode formelle de synthèse de la commande à partir d'un Grafcet de commande du procédé en s'appuyant sur une nouvelle interprétation de la théorie des régions. Pour les modèles du procédé exprimés en réseaux de Petri, nous proposons deux approches de synthèse de la commande des SED en présence d'événements incontrôlables et/ou inobservables. Ces approches permettent de résoudre le problème des états interdits caractérisé par un ensemble de Contraintes Généralisées d'Exclusion Mutuelles (CGEM) en exploitant les propriétés structurelles des graphes d'événements. L'exploitation des propriétés structurelles des graphes d'événements nous a permis de synthétiser une loi de commande pour le problème d'états interdits avec la contrainte d'observabilité des événements. Pour cette approche, nous nous intéressons aux cas où les CGEM concernent une ou plusieurs places du modèle du procédé. La deuxième approche traite du cas des problèmes des transitions d'états interdites (PTEI). L'approche de synthèse développée intègre la notion de réversibilité avec les contraintes d'incontrôlabilité et d'inobservabilité des événements. L'approche proposée détermine un contrôleur RdP maximum permissif, quand il existe. Les conditions nécessaires pour l'existence du contrôleur RdP pour les SED partiellement observables sont établies. La deuxième contribution proposée par cette thèse concerne l'utilisation de la théorie des régions pour synthétiser un superviseur à partir des modèles de commande du procédé SED exprimés en GRAFCET. Les spécifications traitées sont du type état interdit et en intégrant l'aspect réversibilité du procédé. Pour ce faire, une nouvelle interprétation de la théorie des régions a été développée et permet de déterminer formellement un ensemble de variables de contrôle à intégrer aux modèles de commande du procédé exprimés en GRAFCET.

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

Author : Andra Ioana Vasiliu
Publisher :
ISBN 13 :
Total Pages : 0 pages
Book Rating : 4.:/5 (835 download)

DOWNLOAD NOW!

Book Synopsis Synthèse de contrôleurs des systèmes à évènements discrets basée sur les réseaux de Petri by : Andra Ioana Vasiliu

Download or read book Synthèse de contrôleurs des systèmes à évènements discrets basée sur les réseaux de Petri written by Andra Ioana Vasiliu and published by . This book was released on 2012 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Synthèse de superviseurs pour des systèmes à événements discrets partiellement observés

Author :
Publisher :
ISBN 13 :
Total Pages : pages
Book Rating : 4.:/5 (654 download)

DOWNLOAD NOW!

Book Synopsis Synthèse de superviseurs pour des systèmes à événements discrets partiellement observés by :

Download or read book Synthèse de superviseurs pour des systèmes à événements discrets partiellement observés written by and published by . This book was released on 2000 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:

Synthèse de contrôleurs sur des systèmes à évènements discrets structurés

Author : Benoi͏̈t Gaudin
Publisher :
ISBN 13 :
Total Pages : 154 pages
Book Rating : 4.:/5 (492 download)

DOWNLOAD NOW!

Book Synopsis Synthèse de contrôleurs sur des systèmes à évènements discrets structurés by : Benoi͏̈t Gaudin

Download or read book Synthèse de contrôleurs sur des systèmes à évènements discrets structurés written by Benoi͏̈t Gaudin and published by . This book was released on 2004 with total page 154 pages. Available in PDF, EPUB and Kindle. Book excerpt: L'étude concerne le contrôle de systèmes critiques, pour lesquels la correction est primordiale. La théorie du contrôle des systèmes à événements discrets a pour objectif de garantir par construction que le système respecte certaines propriétés. Les méthodes proposées à ce jour souffrent d'un problème d'efficacité lorsque le système à contrôler est décrit de manière compositionnelle. Pour pallier au problème d'explosion combinatoire induit par la composition, nous avons développé des méthodes propres à ces systèmes en tirant partie de leur structure, i.e. en effectuant autant que possible des calculs sur les sous systèmes, plutôt que sur le système global. Nous nous sommes focalisé sur des propriétés de sûreté portant sur le comportement ou les états du système et avons développé des techniques propres à ces deux approches. Pour l'approche à états, nous avons en outre étudié le problème du non-blocage et étendu ces résultats au cadre des systèmes hiérarchiques à deux niveaux.

Contributions à la synthèse de commande des systèmes à évènements discrets

Author : Maen Atli
Publisher :
ISBN 13 :
Total Pages : 0 pages
Book Rating : 4.:/5 (876 download)

DOWNLOAD NOW!

Book Synopsis Contributions à la synthèse de commande des systèmes à évènements discrets by : Maen Atli

Download or read book Contributions à la synthèse de commande des systèmes à évènements discrets written by Maen Atli and published by . This book was released on 2012 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Un Système de production peut être représenté par les systèmes à événements discrets. En dehors de la planification (où les gens travaillent avec des ratios de produits fabriqués par semaine ou par jour), la modélisation pourrait être basée sur les concepts d'événement et d'activités. Un événement correspond à un changement d'état. Une activité est une boîte noire d'encapsulation de ce qui se passe entre deux événements. En utilisant les réseaux de Petri (RdP), les événements sont représentés par les transitions, et les activités par les lieux. Notre travail propose une synthèse de commande par supervision pour les systèmes d'événements discrets modélisés par une classe de réseaux de Petri appelé graphe d'événements. L'objective de cette thèse est de concevoir un superviseur capable d'aider à améliorer la performance de système et de protéger le système en respectant des spécifications données par le fabricant ou le client selon les besoins et les conditions de travail. Pour modéliser ces spécifications, nous avons proposé un nouveau modèle mathématique de contrainte, appelé Contrainte d'Exclusion de Marquage (CEM). La deuxième contribution principale de ma thèse est de synthétiser une technique efficace et simple pour construire un superviseur qui impose le système de respecter des contraintes en évitant l'ensemble des états interdits modélisé par CEM. Nous avons également développé cette synthèse pour résoudre le problème d'existence des événements incontrôlables et des événements inobservables. Parfois, afin d'étudier les aspects liés à la performance, nous devons prendre le temps en considération. Donc, nous avons résolu aussi le problème des événements temporisé en utilisant RdP temporisés soumis à CEM.

METHODES DE SYNTHESE D'AUTOMATISMES DECRITS PAR DES SYSTEMES A EVENEMENTS DISCRETS FINIS

Author : HERVE.. MARCHAND
Publisher :
ISBN 13 :
Total Pages : 213 pages
Book Rating : 4.:/5 (49 download)

DOWNLOAD NOW!

Book Synopsis METHODES DE SYNTHESE D'AUTOMATISMES DECRITS PAR DES SYSTEMES A EVENEMENTS DISCRETS FINIS by : HERVE.. MARCHAND

Download or read book METHODES DE SYNTHESE D'AUTOMATISMES DECRITS PAR DES SYSTEMES A EVENEMENTS DISCRETS FINIS written by HERVE.. MARCHAND and published by . This book was released on 1997 with total page 213 pages. Available in PDF, EPUB and Kindle. Book excerpt: LE LANGAGE SIGNAL EST DESTINE A LA CONCEPTION ET A LA MISE EN UVRE SURE DE SYSTEMES REACTIFS TEMPS REELS. CERTAINS DOMAINES D'APPLICATION EXIGENT UNE GRANDE FIABILITE ET UNE SURETE DE FONCTIONNEMENT. TRADITIONNELLEMENT, CES EXIGENCES SONT VERIFIEES A POSTERIORI PAR DES TECHNIQUES DE SIMULATION ET DE VERIFICATION DE PROPRIETES. LA THEORIE DU CONTROLE, UTILISEE DANS LE CADRE DES SYSTEMES A EVENEMENTS DISCRETS PERMET DE DEVELOPPER LE SYSTEME EN UTILISANT DES METHODES DE CONSTRUCTION GARANTISSANT A PRIORI LES PROPRIETES ATTENDUES DU SYSTEME GLOBAL, PERMETTANT AINSI DE RESTREINDRE LA PHASE DE VALIDATION AUX SEULES PROPRIETES DU SYSTEME NON GARANTIES PAR CONSTRUCTION. L'OBJECTIF DE CETTE THESE EST LA MISE AU POINT DE METHODES PERMETTANT DE DERIVER UN SYSTEME EN Y INTEGRANT UN ENSEMBLE DE PROPRIETES LOGICO-TEMPORELLES. DANS NOTRE APPROCHE, LA THEORIE DU CONTROLE REPOSE SUR UNE REPRESENTATION EQUATIONNELLE DE LA PARTIE LOGIQUE D'UN PROGRAMME SIGNAL SOUS LA FORME D'UN SYSTEME DYNAMIQUE POLYNOMIAL DANS Z/3Z. NOUS MONTRONS, DANS CE RAPPORT, COMMENT A PARTIR D'UN TEL SYSTEME, IL EST POSSIBLE DE SYNTHETISER UN CONTROLEUR DE MANIERE A CE QUE LE SYSTEME CONTROLE VERIFIE A POSTERIORI UN OBJECTIF DE COMMANDE LOGIQUE. NOUS PRESENTONS UNE THEORIE DE LA COMMANDE OPTIMALE, PERMETTANT DE SYNTHETISER DES CONTROLEURS TRADUISANT UN CRITERE QUALITATIF ET NON PLUS LOGIQUE. LES OBJECTIFS DE COMMANDE S'EXPRIMENT ALORS COMME DES RELATIONS D'ORDRE OU COMME UN CRITERE DE MINIMISATION SUR UNE TRAJECTOIRE BORNEE DU SYSTEME. ENFIN DU POINT DE VUE THEORIQUE, NOUS ESQUISSONS UNE METHODE DE CONTROLE DE SYSTEMES DYNAMIQUES POLYNOMIAUX PARTIELLEMENT OBSERVES. FINALEMENT, NOUS PRESENTONS L'INTEGRATION DE CES TECHNIQUES DANS L'ENVIRONNEMENT DE PROGRAMMATION SIGNAL A TRAVERS LA DESCRIPTION D'UN PROTOTYPE POUR LA CONCEPTION D'AUTOMATISMES ET DE LOGICIEL SURS LES IMPLEMENTANT. CE PROTOTYPE EST VALIDE SUR LE CONTROLE D'UN POSTE DE TRANSFORMATION ELECTRIQUE ET A TRAVERS DIVERS EXEMPLES TIRES DU MONDE ACADEMIQUE.

Contribution à la commande de systèmes à évènements discrets temporisés

Author : Alexia Gouin
Publisher :
ISBN 13 :
Total Pages : 0 pages
Book Rating : 4.:/5 (493 download)

DOWNLOAD NOW!

Book Synopsis Contribution à la commande de systèmes à évènements discrets temporisés by : Alexia Gouin

Download or read book Contribution à la commande de systèmes à évènements discrets temporisés written by Alexia Gouin and published by . This book was released on 1999 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Synthèse de contrôleurs discrets par simplification de contraintes et de conditions

Author : Abbas Dideban (auteur en automatique-productique).)
Publisher :
ISBN 13 :
Total Pages : 0 pages
Book Rating : 4.:/5 (116 download)

DOWNLOAD NOW!

Book Synopsis Synthèse de contrôleurs discrets par simplification de contraintes et de conditions by : Abbas Dideban (auteur en automatique-productique).)

Download or read book Synthèse de contrôleurs discrets par simplification de contraintes et de conditions written by Abbas Dideban (auteur en automatique-productique).) and published by . This book was released on 2007 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Dans ce travail, nous proposons une méthode systématique et facile de mise en œuvre pour la synthèse du contrôle des systèmes à événements discrets. Nous modélisons les systèmes par des modèles RdP saufs. Deux idées distinctes sont utilisées : 1) ajout de places de contrôle pour empêcher l'atteignabilité des états interdits, et 2) ajout de conditions pour les transitions contrôlables. Nous avons alors été confrontés au problème des transitions incontrôlables pour garantir l'optimalité et à la complexité apportée par le nombre des places de contrôles qui peut être très grand. Dans la première idée, nous avons utilisé le théorème introduit par Guia, qui permet de passer d'un ensemble d'états interdits vers un ensemble de contraintes linéaires. Nous avons proposé des méthodes originales de simplification des contraintes. Il est alors possible de réduire le nombre et la borne des contraintes et ainsi de construire un modèle contrôlé simple. Les méthodes de simplification présentées sont applicables sur les RdP saufs. Nous avons déterminé les conditions nécessaires et suffisantes pour avoir un contrôleur maximal permissif. L'avantage principal de ces méthodes de synthèse de contrôleurs est que le modèle RdP contrôlé est très proche du modèle initial. La deuxième idée qui a été utilisée pour la synthèse est l'utilisation des conditions pour le franchissement des transitions contrôlables. Les méthodes qui utilisent cette technique, ont en général besoin d'un calcul long en temps réel. En appliquant notre méthode de simplification, nous arrivons à un contrôleur simple

CONTRIBUTION A LA COMMANDE DE SYSTEMES A EVENEMENTS DISCRETS TEMPORISES

Author : ALEXIA.. GOUIN
Publisher :
ISBN 13 :
Total Pages : 150 pages
Book Rating : 4.:/5 (492 download)

DOWNLOAD NOW!

Book Synopsis CONTRIBUTION A LA COMMANDE DE SYSTEMES A EVENEMENTS DISCRETS TEMPORISES by : ALEXIA.. GOUIN

Download or read book CONTRIBUTION A LA COMMANDE DE SYSTEMES A EVENEMENTS DISCRETS TEMPORISES written by ALEXIA.. GOUIN and published by . This book was released on 1999 with total page 150 pages. Available in PDF, EPUB and Kindle. Book excerpt: RAMADGE ET WONHAM ONT INITIE UNE THEORIE PROPOSANT LA SYNTHESE AUTOMATIQUE DE SUPERVISEURS POUR LES S.E.D. CETTE THEORIE CONSIDERE L'ASPECT QUALITATIF DES ACTIONS (VIA L'ORDRE D'OCCURRENCE DES EVENEMENTS DANS LE MODELE), ET PERMET AU SUPERVISEUR D'INTERDIRE L'APPARITION DE CERTAINS EVENEMENTS (CONTROLABLES) DU PROCEDE. DES DEVELOPPEMENTS RECENTS S'INTERESSENT AUX ASPECTS QUANTITATIFS DES ACTIONS ET FONT GENERALEMENT INTERVENIR LE CONCEPT D'EVENEMENT FORCE. LA SUPERVISION DEVIENT ALORS COMMANDE SUPERVISEE PUISQUE LE SUPERVISEUR PEUT FORCER L'OCCURRENCE DE CERTAINS EVENEMENTS DU PROCEDE. LES DEUX ETUDES PROPOSEES DANS CE MEMOIRE UTILISENT LES AUTOMATES D'ALUR ET DILL. CE MODELE A ETE ADAPTE AFIN QUE LES LANGAGES MARQUES SOIENT UNIQUEMENT COMPOSES DE MOTS FINIS. LA PREMIERE ETUDE CONSISTE A REALISER LA COMMANDE SUPERVISEE DE SYSTEMES A EVENEMENTS DISCRETS TEMPORISES EN DETEMPORISANT LE MODELE. L'AUTOMATE TEMPORISE EST SUCCESSIVEMENT DECOMPOSE EN AUTOMATE DE REGIONS PUIS EN AUTOMATE DE TAU-REGIONS. DANS CE DERNIER MODELE, L'EVENEMENT TAU SYMBOLISANT L'ECOULEMENT DU TEMPS EST RENOMME TOCK LORSQU'IL EST INCONTROLABLE ET TACK LORSQU'IL EST CONTROLABLE. LA THEORIE CLASSIQUE DE LA SUPERVISION EST ALORS APPLIQUEE POUR DETERMINER LE SUPERVISEUR LE PLUS PERMISSIF. LA SECONDE ETUDE ABORDE LES PROBLEMES TEMPORELS QUI PEUVENT RESULTER DE LA COMPOSITION D'AUTOMATES TEMPORISES. CES PROBLEMES SONT QUALIFIES D'INCOHERENCES TEMPORELLES, ET UNE METHODE DE DETECTION DES INCOHERENCES PAR MANIPULATION D'INTERVALLES EST PROPOSEE. LA NOTION DE PERMISSIVITE EST ETENDUE POUR ETRE APPLIQUEE AUX SUPERVISEURS TEMPORISES. DEUX SORTES DE PERMISSIVITES SONT AINSI DEFINIES : LA PREMIERE EST RELATIVE A L'ACCESSIBILITE AUX LOCALITES ET LA SECONDE CONCERNE LE RESPECT DE L'INTEGRITE DES CONTRAINTES. UNE METHODOLOGIE DE SYNTHESE DE SUPERVISEUR, DANS LE CADRE SPECIFIQUE DU MODELE AUTOMATE TEMPORISE, EST EXPOSEE A TRAVERS UN ALGORITHME QUI S'INSPIRE DE CELUI ETABLI PAR KUMAR POUR LES AUTOMATES NON TEMPORISES.

Etude de systèmes à événements discrets dans l'algèbre (max,+)

Author : Mehdi Lhommeau
Publisher :
ISBN 13 :
Total Pages : 157 pages
Book Rating : 4.:/5 (496 download)

DOWNLOAD NOW!

Book Synopsis Etude de systèmes à événements discrets dans l'algèbre (max,+) by : Mehdi Lhommeau

Download or read book Etude de systèmes à événements discrets dans l'algèbre (max,+) written by Mehdi Lhommeau and published by . This book was released on 2003 with total page 157 pages. Available in PDF, EPUB and Kindle. Book excerpt: Les systèmes dynamiques à événements discrets mettant en jeu des phénomènes de synchronisation peuvent être modélisés par des équations linéaires dans les algèbres de type (max,+). Cette propriété a motivé l'élaboration de ce que l'on appelle communément la théorie des systèmes linéaires dans les dioïdes. Cette théorie présente de nombreuses analogies avec la théorie conventionnelle des systèmes linéaires continus et permet notamment d'aborder des problèmes de commandes. La première contribution concerne l'analyse de la robustesse de lois de commandes pour des systèmes (max,+)-linéaires. L'objectif est de caractériser l'ensemble des systèmes préservant les performances recherchées lors de la synthèse. Autrement dit, nous cherchons à caractériser les marges de variations ou dérives du système admissibles vis à vis des critères de performances imposés. Ensuite, le problème de commande robuste est considéré. Cette fois nous supposons connue, sous forme d'intervalles, ('amplitude de variation des paramètres du système à commander et nous cherchons l'en-semble des correcteurs permettant d'atteindre un objectif donné. Au préalable est introduit un dioïde d'intervalles, qui permet de modéliser les systèmes incertains sous forme de matrices d'intervalles in-cluant l'ensemble des comportements possibles du système. La synthèse de contrôleurs présentée dans le cas déterministe s'étend alors naturellement au contexte incertain. La dernière partie de ce mémoire traite du problème de commande en présence de perturbations. En se conformant à la littérature sur les systèmes continus conventionnels, nous montrons que ce problème présente de fortes analogies avec le problème classique du rejet de perturbations. Il est notamment montré qu'il est possible de synthétiser des contrôleurs optimaux préservant l'état du système dans le noyau de la matrice de sortie.

Synthèse structurelle d'un contrôleur basée sur le Grafcet

Author : Bassam Kattan (auteur en automatique-productique).)
Publisher :
ISBN 13 :
Total Pages : 0 pages
Book Rating : 4.:/5 (116 download)

DOWNLOAD NOW!

Book Synopsis Synthèse structurelle d'un contrôleur basée sur le Grafcet by : Bassam Kattan (auteur en automatique-productique).)

Download or read book Synthèse structurelle d'un contrôleur basée sur le Grafcet written by Bassam Kattan (auteur en automatique-productique).) and published by . This book was released on 2004 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Nous avons présenté dans cette thèse deux contributions au problème de la synthèse de contrôleur pour les systèmes à événements discrets modélisés par des Grafcets. La théorie de la supervision des systèmes à événements discrets (SED) initiée par les travaux de Ramadge et Wonham, n'est pas directement implantable sous la forme d'une commande opérationnelle. Nous pouvons trouver dans la littérature diverses extensions de l'approche RW dans lesquelles le superviseur peut forcer des événements, parmi celles-ci il y a la commande supervisée proposée par François Charbonnier dans sa thèse (1996). Nous avons fait une extension de cette approche, dans le cas où le langage des spécifications n'est pas contrôlable par rapport au langage du procédé étendu. Pour implanter l'automate de superviseur de manière structurelle. Cependant dans cette approche, le Grafcet final de superviseur obtenu contient un nombre important d'étapes qui est identique à l'automate synthétisé. Donc la complexité des superviseurs reste toujours prohibitive. C'est pourquoi nous avons proposé une approche de synthèse structurelle, dans laquelle la taille du Grafcet obtenu est réduite et implantable sur les automates programmables. Cette méthode est basée sur les invariants de marquage qui permettent de déterminer un certain nombre d'étapes à ajouter au modèle initial pour faire respecter les spécifications de commande

Sur la décidabilité de certains problèmes de synthèse de contrôleurs

Author : Xavier Briand
Publisher :
ISBN 13 :
Total Pages : 138 pages
Book Rating : 4.:/5 (493 download)

DOWNLOAD NOW!

Book Synopsis Sur la décidabilité de certains problèmes de synthèse de contrôleurs by : Xavier Briand

Download or read book Sur la décidabilité de certains problèmes de synthèse de contrôleurs written by Xavier Briand and published by . This book was released on 2006 with total page 138 pages. Available in PDF, EPUB and Kindle. Book excerpt: Cette thèse s'inscrit dans les travaux sur le contrôle des systèmes à évènements discrets (SED). Il s'agit de modifier, à l'aide de contrôleurs, le comportement d'un système, le plus souvent modélisé par un automate, afin de réaliser une spécification souhaitée. Nous étudions ici le contrôle centralisé et décentralisé avec information partielle d'un SED. Les spécifications ainsi que les contraintes de contrôlabilité des contrôleurs (évènements incontrôlables ou forçables, contrôle dynamique) sont exprimées avec une logique décidable - u-calcul modal. L'information partielle sur les comportements d'un SED s'exprime grâce à des extensions de cette logique permettant de spécifier les notions usuelles d'évènements inobservables et indiscernables. Nous montrons que ces extensions sont décidables ainsi que le contrôle centralisé. Nous prouvons que le contrôle est indécidable si certains évènements sont inobservables ou indiscernables. Nous exhibons deux cas décidables de contrôle décentralisé (restriction des spécifications ou des communications). Nous montrons enfin qu'étendre le u-calcul modal afin de spécifier des comportements inobservables rend cette logique indécidable.

Sur la synthèse de la commande des systèmes à évènements discrets temporisés

Author : Alexandru Tiberiu Sava
Publisher :
ISBN 13 :
Total Pages : 0 pages
Book Rating : 4.:/5 (493 download)

DOWNLOAD NOW!

Book Synopsis Sur la synthèse de la commande des systèmes à évènements discrets temporisés by : Alexandru Tiberiu Sava

Download or read book Sur la synthèse de la commande des systèmes à évènements discrets temporisés written by Alexandru Tiberiu Sava and published by . This book was released on 2001 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt:

SYNTHESE DE LA COMMANDE DES SYSTEMES A EVENEMENTS DISCRETS PAR GRAFCET

Author : CONSTANT.. NDJAB HAGBEBELL
Publisher :
ISBN 13 :
Total Pages : 128 pages
Book Rating : 4.:/5 (492 download)

DOWNLOAD NOW!

Book Synopsis SYNTHESE DE LA COMMANDE DES SYSTEMES A EVENEMENTS DISCRETS PAR GRAFCET by : CONSTANT.. NDJAB HAGBEBELL

Download or read book SYNTHESE DE LA COMMANDE DES SYSTEMES A EVENEMENTS DISCRETS PAR GRAFCET written by CONSTANT.. NDJAB HAGBEBELL and published by . This book was released on 1999 with total page 128 pages. Available in PDF, EPUB and Kindle. Book excerpt: LA COMPLEXITE CROISSANTE DES SYSTEMES AUTOMATISES EXIGE DE PLUS EN PLUS DE DISPOSER DE MODELES ET D'OUTILS DE HAUT NIVEAU, PERMETTANT DE GARANTIR A PRIORI QU'UN PROCEDE COMMANDE RESPECTE UN COMPORTEMENT DESIRE. CE MEMOIRE PRESENTE UNE CONTRIBUTION A LA COMMANDE DES SYSTEMES A EVENEMENTS DISCRETS (SED). LE TRAVAIL PRESENTE, CONSTITUE UNE DEMARCHE GLOBALE PERMETTANT LA SYNTHESE DE L'IMPLANTATION LA PLUS PERMISSIVE DE LA COMMANDE A PARTIR D'UNE SPECIFICATION GRAFCET, D'UN MODELE DU SYSTEME A COMMANDER ET D'UN ENSEMBLE DE CONTRAINTES A RESPECTER. CETTE DEMARCHE S'APPUIE SUR LA THEORIE DE SUPERVISION INTRODUITE PAR RAMADGE ET WONHAM, ET DONT L'OBJECTIF EST DE FORMALISER LA COMMANDE DES SED, EN UTILISANT DES LANGAGES FORMELS OU DES AUTOMATES. ELLE A DONNE LIEU A TROIS TYPES D'IMPLANTATION DE LA COMMANDE : - UNE IMPLANTATION PAR SYNTHESE HORS LIGNE DU COMPORTEMENT GLOBAL DE LA COMMANDE DANS UN ENVIRONNEMENT PC. - UNE IMPLANTATION PAR SYNTHESE EN LIGNE DANS UN ENVIRONNEMENT PC DE MANIERE A CALCULER LA COMMANDE PAR ANTICIPATION A QUELQUES PAS D'EVOLUTIONS FUTURES. - UNE IMPLANTATION HORS LIGNE SUR AUTOMATE PROGRAMMABLE. LE MEMOIRE EST STRUCTURE EN CINQ CHAPITRES : LE CHAPITRE 1 PRESENTE QUELQUES NOTIONS DE BASE RELATIVES AUX SED AINSI QUE LES FONDEMENTS DE LA THEORIE DE SUPERVISION SELON RAMADGE & WONHAM. ENSUITE, DIFFERENTES APPROCHES LIEES A L'IMPLANTATION D'UNE COMMANDE PAR SUPERVISION SONT PRESENTEES, AFIN DE SITUER LE POSITIONNEMENT DE NOS TRAVAUX. LE CHAPITRE 2 EXPOSE LES PROBLEMES LIES A L'IDENTIFICATION DU COMPORTEMENT EFFECTIF DU GRAFCET, AFIN DE JUSTIFIER DE LA NECESSITE DE L'ELABORATION D'UN MODELE EXPLICITE DE LA PARTIE OPERATIVE EN VUE DE LA SYNTHESE DE LA COMMANDE. LE CHAPITRE 3 PRESENTE NOTRE DEMARCHE DE SYNTHESE HORS LIGNE DE L'IMPLANTATION OPTIMALE D'UNE COMMANDE, A PARTIR D'UN GRAFCET DE SPECIFICATION, D'UN MODELE DE LA PARTIE OPERATIVE ET DES CONTRAINTES A RESPECTER. UNE EXTENSION DE CETTE DEMARCHE PERMETTANT D'EFFECTUER LA SYNTHESE EN LIGNE DE LA COMMANDE EN VUE DE REDUIRE L'EXPLOSION COMBINATOIRE EST EGALEMENT PRESENTEE DANS CE CHAPITRE. DANS LE CHAPITRE 4, NOUS DECRIVONS L'OUTIL INFORMATIQUE DEDIE A L'APPLICATION DE LA DEMARCHE. CET OUTIL EST STRUCTURE AUTOUR D'UN ENVIRONNEMENT DE GENERATION DE LA COMMANDE ET D'UN ENVIRONNEMENT D'EXECUTION. ENFIN LE CHAPITRE 5 PRESENTE UN EXEMPLE ILLUSTRANT L'APPLICATION DE LA DEMARCHE DE SYNTHESE D'UN GRAFCET. CET EXEMPLE EST RELATIF A UN POSTE DE MANUTENTION SERVANT AU STOCKAGE ET AU DESTOCKAGE DE PIECES.

CONTROLE ET CONTROLE STABILISANT DES SYSTEMES A EVENEMENT DISCRETS TEMPORELS

Author : ABDELHAKIN.. KHATAB
Publisher :
ISBN 13 :
Total Pages : 196 pages
Book Rating : 4.:/5 (834 download)

DOWNLOAD NOW!

Book Synopsis CONTROLE ET CONTROLE STABILISANT DES SYSTEMES A EVENEMENT DISCRETS TEMPORELS by : ABDELHAKIN.. KHATAB

Download or read book CONTROLE ET CONTROLE STABILISANT DES SYSTEMES A EVENEMENT DISCRETS TEMPORELS written by ABDELHAKIN.. KHATAB and published by . This book was released on 2000 with total page 196 pages. Available in PDF, EPUB and Kindle. Book excerpt: NOUS PROPOSONS DANS CE TRAVAIL UNE APPROCHE DE CONTROLE PAR RETOUR D'ETAT STATIQUE DES SYSTEMES A EVENEMENTS DISCRETS TEMPORELS (SEDT) BASE SUR L'EXPLOITATION D'UN MODELE AUTOMATE NON-TEMPOREL ET D'UN MODELE AUTOMATE TEMPOREL. LE MODELE ADOPTE INTEGRE DES VARIABLES AUXILIAIRES ET PERMET UNE REPRESENTATION CONCISE DES SEDT. LE CONTROLE EXPLOITE ESSENTIELLEMENT LES DIFFERENTES INFORMATIONS RELATIVES AUX ETATS ET EST BASE SUR LA LOGIQUE DES PREDICATS ET DE LEURS FONCTIONS DE TRANSFORMATION. NOUS PROPOSONS UNE EXTENSION DE LA DEFINITION DE LA CONTROLABILITE DE LA THEORIE RAMADGE ET WONHAM, FORMULEE EN TERMES D'INVARIANCE ET D'ATTEIGNABILITE DES PREDICATS, ET NOUS MONTRONS QU'ELLE SERT DE CONDITION NECESSAIRE ET SUFFISANTE POUR L'EXISTENCE D'UN CONTROLEUR PAR RETOUR D'ETAT STATIQUE. DANS UN PREMIER TEMPS, SEULES LES CONTRAINTES QUALITATIVES SONT CONSIDEREES. DANS UN SECOND TEMPS, NOUS PROPOSONS UNE APPROCHE COMPLEMENTAIRE PERMETTANT LA PRISE EN COMPTE DES CONTRAINTES QUALITATIVES ET QUANTITATIVES. DES ALGORITHMES POUR LA SYNTHESE DE CONTROLEURS SONT PROPOSES. ENSUITE, EN SE PLACANT DANS LE CADRE DE L'ASSURANCE D'UN FONCTIONNEMENT SUR, NOUS PROPOSONS UNE EXTENSION AUX SEDT DES CONCEPTS DE STABILITE ET DE STABILISATION DES SED. LA STABILITE EST LA PROPRIETE D'UN SYSTEME A REJOINDRE A PARTIR DE N'IMPORTE QUEL ETAT UN SOUS-ENSEMBLE D'ETATS. EN REVANCHE, LA STABILISATION CARACTERISE LA POSSIBILITE DE CONDUIRE UN SYSTEME DEPUIS UN ETAT PARTICULIER VERS UN SOUS-ENSEMBLE D'ETATS PREDEFINI. DEUX DEFINITIONS DE LA STABILITE ET DES ALGORITHMES DE LA SYNTHESE DE CONTROLEURS (PAR RETOUR D'ETATS STATIQUE) STABILISANTS SONT PROPOSES. CES RESULTATS SONT ENSUITE EXPLOITES POUR ELABORER UN CADRE FORMEL ET LA MISE AU POINT DE TECHNIQUES VISANT L'ACCROISSEMENT DES PERFORMANCES ET DES POSSIBILITES DE RECONFIGURATION DES SYSTEMES SUJETS AUX DYSFONCTIONNEMENTS.

Contrôle et contrôle stabilisant des Systèmes à Evénements Discrets Temporels

Author : Abdelhakim Khatab
Publisher :
ISBN 13 :
Total Pages : 205 pages
Book Rating : 4.:/5 (491 download)

DOWNLOAD NOW!

Book Synopsis Contrôle et contrôle stabilisant des Systèmes à Evénements Discrets Temporels by : Abdelhakim Khatab

Download or read book Contrôle et contrôle stabilisant des Systèmes à Evénements Discrets Temporels written by Abdelhakim Khatab and published by . This book was released on 2000 with total page 205 pages. Available in PDF, EPUB and Kindle. Book excerpt: Nous proposons une approche de contrôle par retour d'état statique des Systèmes à Evénements Discrets Temporels (SEDT) dont le modèle est un automate temporel statique auquel est associé un automate temporel dynamique. Le modèle exploite essentiellement les différentes informations relatives aux états et est basé sur la logique des prédicats et de leurs fonctions de transformation. Nous proposons une extension de la définition de la contrôlabilité de la théorie Ramadge et Wonham, formulée en termes d'invariance et d'atteignabilité des prédicats, et nous montrons qu'eel sert de condition nécessaire et suffisante pour l'existence d'un contrôleur par retour d'état statique. Dans un premier temps, seules les contraintes qualitatives sont considérées. Dans un second temps, nous proposons une approche complémentaire permettant la prise en compte des deux types de contraintes qualitatives et quantitatives. Des algorithmes pour la synthèse de contrôleurs son proposés. Ensuite, en se plaçant dans le cadre de l'assurance d'un fonctionnement sûr, nous proposons une extension aux SEDT des concepts de stabilité et de stabilisation des SED. La stabilité est la propriété d'un système pouvant rejoindre à partir de n'importe quel état un sous-ensemble d'états. En revanche, la stabilisation caractérise la possibilité de conduire un système depuis un état particulier vers un sous-ensemble détats prédéfini. Deux définitions de la stabilité et des algorithmes de la synthèse de contrôleurs (par retour d'états statique) stabilisants sont proposés. Ces résultats sont ensuite exploités pour élaborer un cadre formel et la mise au point de techniques visant l'accroissement de performances et des possibilités de reconfiguration des systèmes sujets aux disfonctionnements.

Control Motivation and Social Cognition

Author : Gifford Weary
Publisher : Springer Science & Business Media
ISBN 13 : 1461383099
Total Pages : 353 pages
Book Rating : 4.4/5 (613 download)

DOWNLOAD NOW!

Book Synopsis Control Motivation and Social Cognition by : Gifford Weary

Download or read book Control Motivation and Social Cognition written by Gifford Weary and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 353 pages. Available in PDF, EPUB and Kindle. Book excerpt: Over the past two decades theorists and researchers have given increasing attention to the effects, both beneficial and harmful, of various control related motivations and beliefs. People's notions of how much personal control they have or desire to have over important events in their lives have been used to explain a host of performance and adaptational outcomes, including motivational and performance deficits associated with learned helplessness (Abramson, Seligman, & Teasdale, 1978) and depression (Abramson, Metalsky, & Alloy, 1989), adaptation to aging (Baltes & Baltes, 1986; Rodin, 1986), cardiovascular disease (Matthews, 1982), cancer (Sklar & Anisman, 1979), increased reports of physical symptoms (Pennebaker, 1982), enhanced learning (Savage, Perlmutter, & Monty, 1979), achievement-related behaviors (Dweck & Licht, 1980; Ryckman, 1979), and post abortion adjustment (Mueller & Major, 1989). The notion that control motivation plays a fundamental role in a variety of basic, social psychological processes also has a long historical tradition. A number of theorists (Heider, 1958; Jones & Davis, 1965; Kelley, 1967), for example, have suggested that causal inferences arise from a desire to render the social world predictable and controllable. Similarly, control has been implicated as an important mediator of cognitive dissonance (Wicklund & Brehm, 1976) and attitude phenomena (Brehm & Brehm, 1981; Kiesler, Collins, & Miller, 1969). Despite the apparent centrality of control motivation to a variety of social psychological phenomena, until recently there has been relatively little research explicitly concerned with the effects of control motivation on the cognitive processes underlying such phenomena (cf.