logo-polimi
Loading...
Risorse bibliografiche
Risorsa bibliografica obbligatoria
Risorsa bibliografica facoltativa
Scheda Riassuntiva
Anno Accademico 2014/2015
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 (419) INGEGNERIA ELETTRONICA* AZZZZ090915 - PRODUCTION SYSTEMS CONTROL
Ing Ind - Inf (Mag.)(ord. 270) - MI (434) INGEGNERIA INFORMATICA* AZZZZ090915 - PRODUCTION SYSTEMS CONTROL
Ing Ind - Inf (Mag.)(ord. 270) - MI (436) INGEGNERIA DELL'AUTOMAZIONE* AZZZZ090915 - PRODUCTION SYSTEMS CONTROL
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

Programma dettagliato e risultati di apprendimento attesi
  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. Supervision and control of energy production systems.

Note Sulla Modalità di valutazione

Written examination plus an assignment (project)


Bibliografia
Risorsa bibliografica obbligatoriaNotes on Supervisory Control Theory
Note:

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


Mix Forme Didattiche
Tipo Forma Didattica Ore didattiche
lezione
30.0
esercitazione
20.0
laboratorio informatico
0.0
laboratorio sperimentale
0.0
progetto
0.0
laboratorio di progetto
0.0

Informazioni in lingua inglese a supporto dell'internazionalizzazione
Insegnamento erogato in lingua Inglese
schedaincarico v. 1.6.1 / 1.6.1
Area Servizi ICT
20/11/2019