Corso di Principi di Informatica per l'Automazione
(Laurea Specialistica in Ingegneria dell'Automazione)
Anno Accademico 2009/2010

*** Avviso Importante ***

• Principi di Informatica per l'Automazione: dal 9 marzo fino all'ultima settimana di aprile;
• Supervisione e Controllo dei Sistemi ad Eventi Discreti: dalla prima settimana di maggio fino a fine giugno.

Informazioni generali

Materiale di lezione

• Linguaggi formali e automi a stati finiti:
  Le basi si trovano nelle sezioni 0.1.5 e 1.2 di [2]. Una presentazione alternativa (con terminologia leggermente diversa, si trova nel capitolo 2 di [4], oppure nel capitolo 2 di [3].
• Reti di Petri Temporizzate:
  Per un ripasso di Reti di Petri (non temporizzate), si possono vedere la sezione 1.7.3 di [2], oppure il capitolo 4 di [4], oppure ancora il capitolo 4 di [3].
  Una discussione sulle peculiarità semantiche delle Reti di Petri con il tempo si trova in [5] (sezione III).
  Infine, [6] (sezioni 1-3) presenta una formalizzazione matematica di classi generali di Reti di Petri temporizzate.
• Automi con una nozione di tempo:
  Una trattazione esaustiva degli automi di Büchi (automi con tempo discreto) si può trovare nella sezione 9.1 di [8] (ed anche nelle prima sezioni di [7]).
  Una trattazione degli automi temporizzati alla Alur/Dill si può trovare nella sezione 17.1 di [8], oppure nell'articolo originale di Alur/Dill ([7]), oppure ancora nella sezione 2 di [9].
  
• Logica:
  Una introduzione alla logica proposizionale ed alla logica del prim'ordine si trova negli appunti del corso di Algebra e Logica per allievi informatici della prof. Cherubini [12, 13].
  Il libro [11] è un testo classico di introduzione (molto ampia) alla logica matematica.
• Complessità e strutture dati:
  Capitoli 2, 3, 4.3, 8.2, 10, 12, 22 di [1]

Materiale d'esame/esercitazione

Esercizi di algoritmi

Temi d'esame

Altro Materiale

Riferimenti