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 l¿espace d¿états pour les systèmes linéaires invariants dans le temps
Les principes de base de la synthèse d¿observateur 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 l¿espace 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 theory¿J.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