 |
Risorsa bibliografica obbligatoria |
 |
Risorsa bibliografica facoltativa |
|
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 | * | A | ZZZZ | 090915 - PRODUCTION SYSTEMS CONTROL | Ing Ind - Inf (Mag.)(ord. 270) - MI (434) INGEGNERIA INFORMATICA | * | A | ZZZZ | 090915 - PRODUCTION SYSTEMS CONTROL | Ing Ind - Inf (Mag.)(ord. 270) - MI (436) INGEGNERIA DELL'AUTOMAZIONE | * | A | ZZZZ | 090915 - PRODUCTION SYSTEMS CONTROL | Ing Ind - Inf (Mag.)(ord. 270) - MI (473) AUTOMATION AND CONTROL ENGINEERING - INGEGNERIA DELL'AUTOMAZIONE | * | A | ZZZZ | 090915 - PRODUCTION SYSTEMS CONTROL | Ing Ind - Inf (Mag.)(ord. 270) - MI (481) COMPUTER SCIENCE AND ENGINEERING - INGEGNERIA INFORMATICA | * | A | ZZZZ | 090915 - PRODUCTION SYSTEMS CONTROL |
Programma dettagliato e risultati di apprendimento attesi |
- Alignment on the basics of automation problems and PLC
- Introduction to industrial supervision and control, and formal methododologies
- Logic models: labelled automata, formal languages, labelled Petri nets.
- Synchronous composition, asycnhronous composition, composition with priorities.
- Refinement. Sub-automaton and super-automaton.
- Static and dynamic specification. Event-based and state-based specification.
- Supervisor properties: controllability, non blockingness.
- Synthesis of the supreme controllable supervisor
- Implementation of the supervisor. Ladder logic.
- Example of a discrete production system supervision.
- Monitoring and diagnosis of faults: non deterministic automata.
- State observer and event-based diagnosis.
- Supervision and control of energy production systems.
|
Note Sulla Modalità di valutazione |
Written examination plus an assignment (project)
|
Notes on Supervisory Control Theory Note:Lecture notes, solved exams and exercises available on the course web site
|
Nessun software richiesto |
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
|
|