logo-polimi
Loading...
Risorse bibliografiche
Risorsa bibliografica obbligatoria
Risorsa bibliografica facoltativa
Scheda Riassuntiva
Anno Accademico 2019/2020
Scuola Scuola di Ingegneria Industriale e dell'Informazione
Insegnamento 090915 - PRODUCTION SYSTEMS CONTROL
Docente Ferrarini Luca
Cfu 5.00 Tipo insegnamento Monodisciplinare

Corso di Studi Codice Piano di Studio preventivamente approvato Da (compreso) A (escluso) Insegnamento
Ing Ind - Inf (Mag.)(ord. 270) - MI (473) AUTOMATION AND CONTROL ENGINEERING - INGEGNERIA DELL'AUTOMAZIONE*AZZZZ090915 - PRODUCTION SYSTEMS CONTROL
Ing Ind - Inf (Mag.)(ord. 270) - MI (481) COMPUTER SCIENCE AND ENGINEERING - INGEGNERIA INFORMATICA*AZZZZ090915 - PRODUCTION SYSTEMS CONTROL

Obiettivi dell'insegnamento

The course addresses the problem of control, diagnosis and supervision of production systems. In particular, the Supervisory Control Theory is studied, where the focus is on the automatic synthesis of the controller of plants modelled with labelled automata in presence of any admissible logic specification. In addition, the course will study the automatic synthesis of the diagnoser automaton, able to identify faults based on system observable events. A hint will be given also on the implementation of the supervisor and diagnoser on traditional controllers (PLC). The applications are mainly in the discrete manufacturing field, but also for energy production systems.


Risultati di apprendimento attesi

The diligent and careful student will learn how to synthesize an automatic controller based on logic specification, within the Supervisory Control Theory, as well as a diagnoser. He will receive a hint on possible implementations.


Argomenti trattati
  1. Alignment on the basics of automation problems and PLC
  2. Introduction to industrial supervision and control, and formal methododologies
  3. Logic models: labelled automata, formal languages, labelled Petri nets.
  4. Synchronous composition, asycnhronous composition, composition with priorities.
  5. Refinement. Sub-automaton and super-automaton.
  6. Static and dynamic specification. Event-based and state-based specification.
  7. Supervisor properties: controllability, non blockingness.
  8. Synthesis of the supreme controllable supervisor
  9. Implementation of the supervisor. Ladder logic.
  10. Example of a discrete production system supervision.
  11. Monitoring and diagnosis of faults: non deterministic automata.
  12. State observer and event-based diagnosis.
  13. Extensions to hybrid automata: basic modeling, properties, evolution
  14. Hints to applications to energy production systems.

Prerequisiti

No formal prerequisites for this course, even if the content of courses of Sistemi ad Eventi Discreti or Automazione Industriale are welcome.


Modalità di valutazione

Written examination. The exam typically consists of few exercises (3 to 5) with some questions. The duration is approximately less tha 2 hours. The exam will investigate the capabilities of the student to model the behaviour of process and discrete production systems through the formalism of labelled automata, to suitably model the specification on such systems, to synthesize the supremal controllable nonblocking supervisor, to model a system with basic faults, to identify fault symptoms, to compute the determistic observer for an indeterministic faulty model and finally to synthesize the corresponding diagnoser. A hint on possible implementations of a basic supervisor can be also asked.


Bibliografia
Risorsa bibliografica obbligatoriaNotes on Supervisory Control Theory
Note:

Lecture notes, solved exams and exercises available on the course web site


Forme didattiche
Tipo Forma Didattica Ore di attività svolte in aula
(hh:mm)
Ore di studio autonome
(hh:mm)
Lezione
30:00
45:00
Esercitazione
20:00
30:00
Laboratorio Informatico
0:00
0:00
Laboratorio Sperimentale
0:00
0:00
Laboratorio Di Progetto
0:00
0:00
Totale 50:00 75:00

Informazioni in lingua inglese a supporto dell'internazionalizzazione
Insegnamento erogato in lingua Inglese
Disponibilità di materiale didattico/slides in lingua inglese
Disponibilità di libri di testo/bibliografia in lingua inglese
Possibilità di sostenere l'esame in lingua inglese
Disponibilità di supporto didattico in lingua inglese
schedaincarico v. 1.6.5 / 1.6.5
Area Servizi ICT
11/08/2020