Catégories
Documents disponibles dans cette catégorie (15)
Faire une suggestion Affiner la rechercheEtendre la recherche sur niveau(x) vers le bas
Apport des techniques de programmation par démonstration dans une démarche de génération automatique d'applicatifs de contrôle-commande / Olga GOUBALI
Titre : Apport des techniques de programmation par démonstration dans une démarche de génération automatique d'applicatifs de contrôle-commande Type de document : thèse Auteurs : Olga GOUBALI, Auteur ; Patrick GIRARD, Directeur de thèse ; Laurent GUITTET, Directeur de thèse ; Pascal BERRUET, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Jean VANDERDONCKT, Rapporteur ; Gaëlle CALVARY, Rapporteur ; Jean-François PETIN, Examinateur ; Alain BIGNON, Examinateur ; Christophe KOLSKI, Examinateur Importance : 240 p. Note générale : NNT 2017ESMA0003
Remerciements
Sommaire
Introduction générale
Liste des figures
Liste des tableaux
Références bibliographiques
Annexes
Résumé
Mots clésCatégories : Commande, Théorie de la
Conception centrée sur l'utilisateur
Ingénierie dirigée par les modèles
Interfaces utilisateur (informatique)
Ordonnancement (informatique)
Systèmes complexesRésumé : GENERALITES SUR LA CONCEPTION DES SYSTEMES DE CONTROLE/COMMANDE
La conception des systèmes de contrôle-commande
Formalisme de spécification pour la construction des systèmes de contrôle-commande
Verrous identifiés par l'état de l'art
FACILITER LA CONCEPTION DES MODELES DE TACHES COMPLEXES
Analyse de la tâche humaine dans la conception des systèmes de contrôle-commande
La conception des modèles de tâches complexes
Analyse comparative des approches présentées
Problématique
Proposition d'une démarche de conception des modèles de tâches complexes
Bilan sur la conception des modèles de tâches complexes
SPECIFICATIONS ET GENERATION D'APPLICATIONS DE CONTROLE-COMMANDE
La génération d'IHM à partir de modèles de tâches
Faciliter la spécification fonctionnelle des systèmes complexes
Proposition d'une démarche de spécification fonctionnelle et de génération d'application de contrôle-commande
Bilan sur la spécification fonctionnelle et la génération de systèmes de contrôle-commande
MISE EN OEUVRE DES PROPOSITIONS A TRAVERS UN FLOT DE CONCEPTION
Présentation du flot de conception proposé
Choix d'outils pour la conception des systèmes de contrôle-commande
Opération d'adaptation des modèles de tâches
Opération d'adaptation EGRC
Opération d'insertion SPEC
Opération d'enregistrement-généralisation
Opération de génération d'interfaces de contrôle
Opération d'intégration des interfaces de contrôle
Opération de test, débogage et correction
Opération de génération de codes de commandes
Opération de génération d'IHM
Opération de génération de commande
Bilan
APPLICATION DE NOTRE DEMARCHE A UN CAS D'ETUDE ET VALIDATION EXPERIMENTALE
Etude de cas
Evaluations
Bilan global des évaluations
CONCLUSION ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01505594 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00014274 TH-17 GOU Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-17 GOU GOU Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
Titre : Boucles de régulation : étude et mise au point Type de document : texte imprimé Auteurs : Bernard PIGERON ; Henri MULLOT ; Alain CHAIX ; Louis FELIX ; Yves AUBERT Mention d'édition : 3e édition Editeur : BHALY Autoédition Année de publication : 1996 Importance : 333 p. ISBN/ISSN/EAN : 978-2-9509995-0-4 Note générale : Préface
Table des matières
Introduction
Index
BibliographieCatégories : Commande automatique
Commande de processus
Commande, Théorie de la
ServomécanismesIndex. décimale : 629.8 Technique de la commande automatique Résumé : ETUDE ET VERIFICATION DES REGULATEURS PID
Description et présentation des régulateurs
Signaux
Action proportionnelle
Actions proportionnelle et intégrale
Actions proportionnelle et dérivée
Structures des régulateurs PID
Régulateurs avec entrées supplémentaires
CARACTERISTIQUES DES PROCEDES INDUSTRIELS
procédés de fabrication continus et discontinus
Représentation d'un procédé et terminologie
Procédés monovariable et multivariable
Procédés stable et instable
Paramètres de la réponse d'un procédé
Caractéristique statique d'un procédé, linéarisation
Caractéristiques des vannes de régulation
CRITERES DE PERFORMANCES D'UNE REGULATION
Stabilité
Paramètres de la réponse d'un système stable
Critères de performance d'une régulation
BOUCLES DE REGULATION
Régulation en boucle fermée
Régulation en cascade
Régulation de rapport
Régulation a priori
Régulation split-range
Régulation auto-sélective
Régulation auto-adaptée
REGULATEURS ET REGULATION DISCONTINUS
Régulation par tout ou rien avec régulateur et organe de réglage à deux positions
Régulation avec régulateur discontinu modulé PID associé à un organe de réglage à deux positions
Régulation chaud-froid avec régulateur discontinu modulé PID
Régulation avec régulateur discontinu modulé PID et organe de réglage motorisé
FONCTIONS DE TRANSFERT APPLIQUEES A LA REGULATION
Expression temporelle d'un signal et transformée en p
Fonction de transfert et schéma fonctionnel
Fonctions de transfert des modules P, I et D
Association des schémas fonctionnels et fonctions de transfert équivalentes
Schémas fonctionnels des régulateurs
Module retard pur
Système du premier ordre
Module dérivée filtrée
Module avance-retard de phase
Fonction de transfert d'un procédé
Schéma fonctionnel d'une boucle de régulation
IDENTIFICATION DES PROCEDES
Identification des procédés naturellement stables
Identification des procédés naturellement instables
SYSTEMES NUMERIQUES DE CONTROLE - COMMANDE DE PROCEDE
De la régulation analogique à la régulation numérique
Introduction aux systèmes numériques
Aspect matériel d'un système numérique
Aspect logiciel d'un système numérique
Différents types de systèmes numériques de contrôle commande de procédés
Influence du traitement numérique sur la régulation
BOUCLES DE REGULATION NUMERIQUES
Comment parvenir au correcteur idéal ?
Régulation par correcteur de SMITH sur systèmes stables
Régulation par correcteur à simulation interne
REGULATION DES PROCEDES MULTIVARIABLES
Définition d'un procédé multivariable
Exemples de procédés multivariables
Régulation des procédés multivariables
Objectif d'une régulation multivariable
Découpleur
Mise au point d'une régulation multivariable
REGULATEUR ET REGULATION PAR LOGIQUE FLOUE
Introduction à la logique floue
Principes de la logique floue
Réglage par logique floue
Exemples
ConclusionsExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00006035 629.8 PIG Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 600 - Sciences appliquées - Technologie Disponible
Titre : Commande des processus industriels par calculateurs Type de document : texte imprimé Auteurs : Yves FAËS ; M. PELEGRIN Editeur : Masson Année de publication : 1980 Importance : 185 p. ISBN/ISSN/EAN : 978-2-225-68431-9 Note générale : Préface
Table des matières
Conclusion
Annexe
Bibliographie
IndexCatégories : Commande automatique
Commande, Théorie de la
Dynamique différentiable
Procédés de fabricationIndex. décimale : 629.8 Technique de la commande automatique Résumé : Evolution des méthodes d'analyse et de synthèse des systèmes asservis linéaires - Utilisation des calculateurs pour la commande dynamique des processus industriels
Synthèse par critère algébrique d'amortissement
Synthèse par les critères temporels
Commande optimale par application du critère quadratique
Commande optimale par application du critère quadratique et localisation des modes dominants
reconstructeur d'état d'un processusExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00005912 629.8 FAE Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 600 - Sciences appliquées - Technologie Disponible
Titre : Cours d'automatique : 1., Traitement du signal. Systèmes Type de document : texte imprimé Auteurs : Maurice RIVOIRE ; Jean-Louis FERRIER Mention d'édition : 3ème édition Editeur : Eyrolles Année de publication : 1999 Importance : 248 p. ISBN/ISSN/EAN : 978-2-212-09547-0 Note générale : Avant-propos.
Note au lecteur.
Sommaire.
Annexe.
Bibliographie.
Index alphabétique.Catégories : Commande automatique
Commande, Théorie de la
Industrie
Industrie:Informatique
Systèmes, Analyse de
Systèmes, Théorie des
Traitement du signalIndex. décimale : 629.8 Technique de la commande automatique Résumé : Description des signaux.
Représentation temporelle des signaux et des systèmes à temps continu et à temps discret.
Représentation fréquentielle des signaux. Fonction de transfert des systèmes.
Réponse des systèmes.
Technologie des systèmes pilotés par calculateur.Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00001471 629.8 RIV Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 600 - Sciences appliquées - Technologie Disponible B00001465 629.8 RIV Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 600 - Sciences appliquées - Technologie Sorti jusqu'au 15/05/2026
Titre : La dérivation non entière : Théorie, synthèse et applications Type de document : texte imprimé Auteurs : Alain OUSTALOUP Editeur : Hermès Science Publications Année de publication : 1995 Collection : Traité des Nouvelles Technologies. Série Automatique Importance : 508 p. ISBN/ISSN/EAN : 978-2-86601-456-8 Note générale : Table des matières
Préambule
Contenu de l'ouvrage
Avant-propos
Bibliographie
AnnexesCatégories : Commande, Théorie de la
Modèles mathématiques
Robotique
Traitement d'imagesIndex. décimale : 629.8 Technique de la commande automatique Résumé : Dérivateur généralisé et dérivée généralisée
Equation différentielle généralisée et équation caractéristique généralisée
Système différentiel généralisé et représentation d'état généralisée
Systèmes à dérivée généralisée : caractérisation et régime libre
Récursivité et dérivation non entière
Fractalité et dérivation non entière
Equations aux dérivées partielles et dérivation non entière
Dérivateur non entier complexe borné en fréquence : caractérisation, synthèse et réalisation
La dérivation non entière en identification
La dérivation non entière en commande robuste : la commande CRONE
La dérivation non entière en isolation vibratoire : la suspension CRONE
La dérivation non entière en planification de trajectoire
La dérivation non entière en extraction de contourExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00006223 629.8 OUS Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 600 - Sciences appliquées - Technologie Disponible
Titre : Eléments d'automatique Type de document : texte imprimé Auteurs : Pierre FAURRE ; Maurice ROBIN Editeur : Dunod Année de publication : 1986 Importance : 443 p. ISBN/ISSN/EAN : 978-2-04-015702-9 Note générale : Préface
Avant-propos
Table des matières
Bibliographie
IndexCatégories : Commande automatique
Commande, Théorie de la
Robotique
Systèmes, Analyse deIndex. décimale : 629.8 Technique de la commande automatique Résumé : Introduction à l'automatique
Regulation élementaire PID et conduite de processus
Systèmes dynamiques linéaires - description externe - description interne
Systèmes linéaires aux dérives partielles
Stabilité et compensation
Commande optimale
Traitement des signauxExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00000099 629.8 FAU Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 600 - Sciences appliquées - Technologie Disponible
Titre : Identification et commande des systèmes Type de document : texte imprimé Auteurs : Ioan Doré LANDAU Mention d'édition : 2e éd. Editeur : Hermès Science Publications Année de publication : 1993 Collection : Traité des Nouvelles Technologies, série Automatique Importance : 535 p. ISBN/ISSN/EAN : 978-2-86601-365-3 Note générale : Table des matières
Préface
Liste des notations principales
Références
IndexCatégories : Commande automatique
Commande de processus
Commande, Théorie de la
Systèmes informatiquesIndex. décimale : 629.8 Technique de la commande automatique Résumé : Rappel sur la régulation analogique
Systèmes de commande par calculateur
Méthodes de calcul des régulateurs numériques
Méthodes de calcul des régulateurs numériques en présence de perturbations aléatoires
Identification des modèles dynamiques de procédés : les bases
Méthodes d'identification récursive
Aspects pratiques de l'identification
Aspects pratiques de la régulation numériqueExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00006048 629.8 LAN Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 600 - Sciences appliquées - Technologie Disponible
Titre : Linear Control Systems Type de document : texte imprimé Auteurs : James, L. MELSA, Auteur ; Donald, G. SCHULTZ, Auteur Editeur : McGraw-Hill Book Company, Inc. Année de publication : 1969 Importance : 621 p. Note générale : Preface
Contents
Appendix
IndexCatégories : Commande linéaire
Commande, Théorie de la
Systèmes linéairesIndex. décimale : 629.8 Technique de la commande automatique Résumé : Introduction to Automatic Control Systems
Plant Representation
Closed-Loop-System Representation
Time Response
Frequency Responce
Stability
The Root-Locus Method
Specifications
System Design with State Variable Feedback
System Design with Series CompensationExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00013029 629.8 MEL Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 600 - Sciences appliquées - Technologie Disponible
Titre : Optimal Control Type de document : texte imprimé Auteurs : Frank L. LEWIS, Auteur Editeur : Wiley-Interscience Année de publication : 1986 Importance : 362 p. ISBN/ISSN/EAN : 0-471-81240-4 Note générale : Preface
Contents
List of tables
Appendix
References
IndexLangues : Anglais (eng) Catégories : Commande, Théorie de la Index. décimale : 519.7 Programmation mathématique Résumé : Static Optimization
Optimal Control of Discrete-Time systems
Optimal Control of Continuous-Time systems
Dynamic Programming
Optimal Control for Polynomial systems
Appendix A : Review of Matrix Algebra
Appendix B : Computer softwareExemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire
Titre : Optimal Control : an Introduction to the Theory and its Applications Type de document : texte imprimé Auteurs : Michael ATHANS, Auteur ; Peter L. FALB, Auteur Editeur : McGraw-Hill Book Company, Inc. Année de publication : 1966 Collection : Lincoln Laboratory publications Importance : 879 p. Note générale : Preface
Contents
Introduction
References
IndexCatégories : Commande, Théorie de la Résumé : Introduction
Mathematical Preliminaries : Algebra
Mathematical Preliminaries : Analysis
Basic Concepts
Conditions for Optimality : the Minimum Principle and the Hamilton-Jacobi Equation
Structure and Properties of Optimal Systems
The Design of Time-Optimal Systems
The Design of Fuel-Optimal Systems
The Design of Optimal Linear Systems with Quadratic Criteria
Optimal-control Problems when the Control Is Constrained to a Hypersphere
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire
Titre : Optimal Control and Estimation Type de document : texte imprimé Auteurs : Robert F. STENGEL, Auteur Editeur : Dover Publications, Inc. Année de publication : 1994 Collection : Dover books on advanced mathematics Importance : 639 p. ISBN/ISSN/EAN : 0-486-68200-5 Note générale : Preface to the Dover edition
Preface to the first edition
Contents
Introduction
Epilogue
IndexCatégories : Commande, Théorie de la Résumé : Introduction
The Mathematics of Control and Estimation
Optimal Trajectories and Neighboring-optimal Solutions
Optimal State Estimation
Stochastic Optimal Control
Linear Multivariable Control
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire
Titre : Optimal Control : Linear Quadratic Methods Type de document : texte imprimé Auteurs : Brian D.O. ANDERSON, Auteur ; John B. MOORE, Auteur Editeur : Prentice Hall, Inc. Année de publication : 1989 Importance : 380 p. ISBN/ISSN/EAN : 978-0-13-638651-3 Note générale : Contents
Preface
Introduction
Appendices
Author Index
Subject IndexCatégories : Commande, Théorie de la Index. décimale : 629.8 Technique de la commande automatique Résumé : Basic Theory of the Optimal Regulator
Tne Standard Regulator Problem I
The Standard Regulator Problem II
Tracking Systems
Properties of Regulator Systems with a Classical Control Interpretation
Asymptotic Properties and Quadratic Weight Selection
State Estimator Design
System Design Using State Estimators
Frequency Shaping
Controller Reduction
Digital ControllersExemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire
Titre : Optimal Control Theory : an Introduction Type de document : texte imprimé Auteurs : Donald E. KIRK, Auteur Editeur : Prentice Hall, Inc. Année de publication : 1970 Collection : Electrical engineering series Importance : 451 p. Note générale : Preface
Contents
Introduction
Conclusion
IndexCatégories : Commande, Théorie de la Résumé : DESCRIBING THE SYSTEM AND EVALUATING ITS PERFORMANCE
Introduction
The Performance Measure
Dynamic Programming
The Calculus of Variations
The Variational Approach to Optimal Control Problems
Iterative Numerical Techniques for Finding Optimal Controls and Trajectories
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire Perturbations singulières dans les problèmes aux limites et en contrôle optimal / Jacques-Louis LIONS
Titre : Perturbations singulières dans les problèmes aux limites et en contrôle optimal Type de document : texte imprimé Auteurs : Jacques-Louis LIONS, Auteur Editeur : Springer Verlag Année de publication : 1973 Collection : Lecture notes in mathematics num. 323 Importance : 645 p. ISBN/ISSN/EAN : 978-3-540-06264-6 Note générale : Table des matières
Introduction
Bibliographie
Bibliographie additionnelle (janvier 1973)Catégories : Commande, Théorie de la
Equations aux dérivées partielles
Perturbations singulières (mathématiques)
Problèmes aux limitesIndex. décimale : 519.6 Optimisation mathématique Résumé : Problèmes raides elliptiques-elliptiques
Problèmes elliptiques-elliptiques de couches limites
Problèmes raides elliptiques-elliptiques avec couches limites
Problèmes stationnaires avec changement de type
Problèmes d'évolution avec changement de type
Contrôle optimal de systèmes distribués singuliers
Contrôle optimal de systèmes à fonction coût singulièreExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00014135 519.6 LIO Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 500 - Sciences - Mathématiques Disponible
Titre : Systèmes et asservissements linéaires échantillonnés Type de document : texte imprimé Auteurs : Y. SEVELY ; Jean-Louis ABATUT ; F. ROUBELLAT Editeur : Dunod Année de publication : 1969 Importance : 195 p. Note générale : Avant-propos
Table des matières
Bibliographie
Table des transformées en z et z modifié
Transformées en w= (z-1)/(z+1)Catégories : Commande automatique
Commande, Théorie de la
ServomécanismesIndex. décimale : 629.8 Technique de la commande automatique Résumé : Introduction des calculateurs numériques dans la commande automatique : calculateurs en temps réel.
Analyse et synthèse des systèmes échantillonnés par la transformée en z
Méthodes modernes d'analyse et de synthèse des systèmes échantillonnésExemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00000381 629.8 SEV Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 600 - Sciences appliquées - Technologie Disponible B00001014 629.8 SEV Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 600 - Sciences appliquées - Technologie Disponible
