AUTOMATION SYSTEMS (2ND MODULE)
cod. 1006174

Academic year 2016/17
2° year of course - First semester
Professor
Academic discipline
Automatica (ING-INF/04)
Field
A scelta dello studente
Type of training activity
Student's choice
21 hours
of face-to-face activities
3 credits
hub:
course unit
in

Integrated course unit module: AUTOMATION SYSTEMS

Learning objectives

Provide basic elements of supervisory control for discrete events systems theory

Prerequisites

None

Course unit content

Elements of supervisory control

Full programme

1 - Languages

Definitions of alphabet, language.

Operations on languages.

Regular languages and rational expressions.

Arden's rule.

2- Deterministic finite state automata

Definitions, equivalence, computation of minimum automata.

3- Non deterministic finite state automata

4- Generators

Basic operations on generators

5- Controllability and supervision

Definitions, controllability theorem, computation of the supremal controllable language.

Bibliography

For reference
"Introduction to Discrete Event Systems", Christos G. Cassandras, Stéphane Lafortune, Springer, 2009

Teaching methods

Classroom lessons

Assessment methods and criteria

Written exam

Other information

- - -