Politecnico di Milano · Scuola di Ingegneria Industriale e dell'Informazione · 5 CFU · apri nel catalogo
Il docente non ha ancora pubblicato i testi per questo canale.
Bacheca del docente: cosa indica di studiare
Argomenti del programma: 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.
Politecnico di Milano · Scuola di Ingegneria Industriale e dell'Informazione · 5 CFU · apri nel catalogo
Il docente non ha ancora pubblicato i testi per questo canale.
Bacheca del docente: cosa indica di studiare
Argomenti del programma: 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.
Argomenti del programma: Programma delle lezioni e delle esercitazioni Introduzione all'automazione industriale. Introduzione al controllo logico. Sistemi dinamici ad eventi discreti: definizioni e proprietà. Controllo di sistemi ad eventi discreti. Controllo logico e controllo modulante. Il controllore logico programmabile (PLC). Impianti e processi di produzione e loro problematiche di automazione.
Politecnico di Milano · Scuola di Ingegneria Industriale e dell'Informazione · 5 CFU · apri nel catalogo
Il docente non ha ancora pubblicato i testi per questo canale.
Bacheca del docente: cosa indica di studiare
Argomenti del programma: 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.
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.
Domande frequenti
Quali libri consiglia il prof. Luca Ferrarini per Sistemi a Eventi Discreti?
Ferrarini – Controllo Logico con Reti di Petri; Ferrarini – Esercizi di Controllo Logico con Reti di…; Chiacchio – Tecnologie informatiche per l'automazione; Bonivento – Sistemi di automazione industriale; René David – Petri nets and Grafcet; Zhou – Flexible manufacturing systems; Lewis – Programming Industrial Control System Using IEC 1131-3; John – Supervisory Control of Discrete Event Systems using…; Wolfgang Reisig – Petri nets; James – Petri Nets Theory and the Modelling of…
Libri Universitari