logo Insalogo Insa

Control systems


Programme (detailed contents):

Continuous linear systems: presentation of the continuous linear systems models, linear systems responses, system performances (stability, settling time, steady-state error), classical methods of control systems (PID controller, phase lead and phase lag network).

Sequential logic systems: additional information on synchronous and asynchronous sequential logic systems (sequential systems review, synchronous vs asynchronous,

hazards analysis, Huffman synthesis). Introduction to Petri nets: parallelism, synchronisation, critical resources. Introduction to Harel statecharts.




Both parts of the course are taught in parallel (2 sessions/week)

Automatic control systems is studied in lectures and tutorial (one with Matlab).

Sequential logic systems consists of lectures, tutorials and lab work that cover several control systems (FPGA, PLC, microcontroller) for various applications (elevator, sorting plant)



Handouts on sequential logic systems

Handouts on automatic control

Handouts for the lab work on sequential logic systems

Supports are updated throughout the semester on Moodle.



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

(1) the modelling, the responses and the control of linear invariant systems;

(2) the synthesis and the analysis of sequential logic systems.



The student will be able to:

- transform a linear differential equation into a transfer function (and vice-versa),

plot the time and frequency responses of linear systems (dominant poles), recognize a first- or second-order system, determine the asymptotic stability (Routh

criterion or root locus), state and use the Nyquist stability criterion, find the gain and phase margins, compute the settling time and the steady-state error, design a

PID controller (Ziegler & Nichols method), compute a P controller for a given phase margin, state the principle of phase-lead and phase-lag controllers

- Analyse and synthesize complex sequential logic systems, analyse logic sequential systems, use Petri nets for specifying parallelism, synchronisation, and shared resources, analyse the Petri nets properties (reachability, liveness, boundedness) with the marking graph, analyse the Harel statechart properties.

Needed prerequisite

I2MIIM11 Logic Design and Computer Organisation

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

Additional information

Control systems, continuous linear systems, sequential systems, petri net, statechart