logo Insalogo Insa

Automatic Control: modeling and control


Programme (detailed contents):

v  Modeling and control of discrete event systems: modeling tools (finite state machines, Petri nets, State-charts) and implementation techniques.

v  Control in the state space: specifications, observability-controllability, state feedback control (pole placement), Observer based control. Controllability, algebraic based methods (1-DOF,2-DOF).


v  - lectures,

v  - tutorials in groups,

v  - lab-work in subgroups,

v  - small projects,

v  Documentations :

  • Tutorial and lecture notes for "Control of Discrete Events Systems"
  • Tutorial on “Control of linear systems”
  • lab-work instructions with technical notes on equipment
  • Specifications fro small projects

Main difficulties for students:

v  Models and analysis of time-invariant linear systems: the Prerequisites of linear algebra are, in general, not well understood .


At the end of this module, the student will have understood and be able to explain (main concepts):

v  The basic principles of the main modeling tools of Discrete Event Systems (Finite State Machines, State-charts Petri Nets)

v  Several techniques for the control of discrete event systems (FPGA, PLC, real time target)


v  The main methods of design of control laws for linear time-invariant systems described in the state space.

v  The basic principle of state observer design for linear time-invariant systems described in the state space


The student will be able to:

v  design and to build the control of a discrete event system

v  define the main characteristics of the control law from the specifications,

v  design the control law in the state space (pole placement).

design a state observer

Needed prerequisite

- Classical control theory for continuous-time-invariant systems (frequential approaches)

- State space representation

Form of assessment

The evaluation of outcome prior learning is made as a continuous training during the semester. According ot the teaching, the assessment will be different: as a written exam, an oral exam, a record, a written report, peers review...


-"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

Additional information

State space representation, observability-controllability, state feedback control (pole placement), Observer based control