logo Insalogo Insa

Automatique : Modélisation et Commande

Objectifs

A la fin de ce module, létudiant devra avoir compris et pourra expliquer (principaux concepts) :
Les principes de base des outils de modélisation des systèmes à événements discrets (Machines à Etats Finis, Statecharts, Réseaux de Petri),
Différentes techniques pour la commande d'un système à événements discrets (FPGA, API, cible temps réel).

Les principales méthodes de synthèse de lois de commande dans lespace détats pour les systèmes linéaires invariants dans le temps
Les principes de base de la synthèse dobservateur pour les systèmes linéaires invariants dans le temps


Létudiant devra être capable de :
De modéliser et d'implémenter la commande d'un système à événements discrets,
Définir les caractéristiques majeures de la loi de commande à partir des spécifications
Concevoir la loi de commande dans lespace détat (placement de pôles)

Pré-requis

- Informatique matérielle (I2MAIF11)
- Cours de base en automatique : approches fréquentielles
- Représentation détat

Evaluation

L'évaluation des acquis d'apprentissage est réalisée en continu tout le long du semestre. En fonction des enseignements, elle peut prendre différentes formes : examen écrit, oral, compte-rendu, rapport écrit, évaluation par les pairs...

Bibliographie

Modèles détat, commandabilité, observabilité, retour détat, observateur

Bibliographie:


-Contemporary Logic Design R.H. Katz, The Benjamin/Cummings Publi.Comp. 1994
- Réseaux de Petri : théorie et pratique BRAMS, Tomes 1 et 2, 1983, Eds. MASSON
- Du Grafcet aux réseaux de Petri R. David, H. Alla, 1992, HERMES (Série Automatique)
-On visual Formalism D. harel, 1985, Communication of the ACM, vol. 31 n° 5l
-« Analyse et commande des systèmes linéaires » B. Pradin and G. Garcia. Presses Universitaires du Mirail, 2009
-Mathematical Systems Theory I. D. HINRICHSEN and A.J. PRITCHARD., Springer, Berlin Heidelberg, New-York, 2005
Introduction to mathematical systems theoryJ.W. POLDERMAN and J.C. WILLEMS, . Springer Verlag, New-York, 1998
Modern control engineering, K. OGATA. Prentica Hall, Upper Saddle River, 2001, 4th Edition.
Linear Systems, P. ANTSAKLIS and A.N. MICHEL.. Mc
Graw-Hill, New-York, 1997