Showing 1 - 20 results of 48 for search 'PROGRAMMABLE LOGIC CONTROLLER', query time: 0.88s Refine Results
  1. 1
    Vérification formelle et Simulation pour la Validation du système de contrôle commande des EALE (Équipements d'Alimentation des Lignes Électrifiées)
    by Niang, Mohamed
    Published 2018
    Subjects: “...Programmable Logic Controller...”
    Get full text
  2. 2
    Test de conformité de contrôleurs logiques spécifiés en grafcet
    by Provost, Julien
    Published 2011
    Subjects: “...Programmable Logic Controller...”
    Get full text
  3. 3
    Génération automatique de test pour les contrôleurs logiques programmables synchrones
    by Tka, Mouna
    Published 2016
    Subjects: “...Programmation logique par contraintes...”
    Get full text
  4. 4
    Validation fonctionnelle de contrôleurs logiques : contribution au test de conformité et à l'analyse en boucle fermée
    by Guignard, Anaïs
    Published 2014
    Subjects: “...Programmable Logic Controller...”
    Get full text
  5. 5
    Conception de systèmes programmables basés sur les NoC par synthèse de haut niveau : analyse symbolique et contrôle distribué
    by Payet, Matthieu
    Published 2016
    Subjects: “...Programmable...”
    Get full text
  6. 6
    Critères de test et génération de séquences de tests pour des systèmes réactifs synchrones modélisés par des équations flots de données et contrôlés par des automates étendus,
    by Junke, Christophe
    Published 2012
    Subjects: “...Programmation logique contrainte...”
    Get full text
  7. 7
    AirNet, le modèle de virtualisation « Edge-Fabric » comme plan de contrôle pour les réseaux programmables
    by Aouadj, Messaoud
    Published 2016
    Subjects: “...Langage de programmation dédié...”
    Get full text
  8. 8
    Méthodologie pour les études d’automatisation et la génération automatique de programmes Automates Programmables Industrielssûrs de fonctionnement. Application aux Equipements d’Alimentation des Lignes Électrifiées
    by Coupat, Raphaël
    Published 2014
    Subjects: “...Safety control...”
    Get full text
  9. 9
    Contribution à la Commande des systèmes à événements discrets par filtre logique
    by Pichard, Romain
    Published 2018
    Subjects: “...Automate Programmable Industriel...”
    Get full text
  10. 10
    Génération de codes et d'annotations prouvables d'algorithmes de points intérieurs à destination de systèmes embarqués critiques
    by Davy, Guillaume
    Published 2018
    Subjects: “...Contrôle...”
    Get full text
  11. 11
    Un système de types pragmatique pour la vérification déductive des programmes
    by Gondelman, Léon
    Published 2016
    Subjects: “...Vérification déductive des programmes...”
    Get full text
  12. 12
    Outils d'élaboration de stratégie de recyclage basée sur la gestion des connaissances : application au domaine du génie des procédés
    by Chazara, Philippe
    Published 2015
    Subjects: “...Programmation logique...”
    Get full text
  13. 13
    Architecture asynchrone pour l'efficacité énergétique et l'amélioration du rendement en fabrication dans les technologies décananométriques : application à un système sur puce multi-coeurs
    by Zakaria Radwan, Hatem Mohamed
    Published 2011
    Subjects: “...Asynchronous Logic...”
    Get full text
  14. 14
    Extensions modales des logiques de ressources : expressivité et calculs
    by Kimmel, Pierre
    Published 2018
    Subjects: “...Resource logics...”
    Get full text
  15. 15
    Analyse des modalités de délocalisation des programmes d’enseignement supérieur : le cas des formations supérieures de gestion au Viêt-Nam
    by Palaoro, Gilbert
    Published 2010
    “... on diverging modes, sometimes beyond control, in any case meaning competition, and whose goal is to shape up...”
    Get full text
  16. 16
    Programmation et apprentissage bayésien pour les jeux vidéo multi-joueurs, application à l'intelligence artificielle de jeux de stratégies temps-réel
    by Synnaeve, Gabriel
    Published 2012
    “... simulation totale, car les autres joueurs ne sont pas simulés, et l'IA n'a pas de contrôle sur la simulation...”
    Get full text
  17. 17
    Modélisation et contrôle des grands réfrigérateurs cryogéniques
    by Bonne, François
    Published 2014
    Subjects: “...Control systems...”
    Get full text
  18. 18
    Les systèmes cognitifs dans les réseaux autonomes : une méthode d'apprentissage distribué et collaboratif situé dans le plan de connaissance pour l'auto-adaptation
    by Mbaye, Maïssa
    Published 2009
    Subjects: “...Programmation logique inductive...”
    Get full text
  19. 19
    Une architecture de contrôle distribuée pour l'autonomie des robots
    by Degroote, Arnaud
    Published 2012
    Subjects: “...Architecture de contrôle...”
    Get full text
  20. 20
    Le contrôle d'accès des réseaux et grandes infrastructures critiques distribuées
    “... de contrôle d’accès. Incontournable, il vise à limiter les actions auxquelles peuvent prétendre les...”
    Get full text
Search Tools: Get RSS Feed — Email this Search