Dipartimento di Ingegneria Elettrica ed Elettronica
Università di Cagliari, Italy
Insegnamento: Automi e reti di Petri
Semestre/Crediti/Ore: I semestre, 5 crediti, 50 ore
Docente: Alessandro Giua - email: giua@diee.unica.it
Ufficio: DIEE pad B, 3º piano.   Tel: 070-675-5751
Pagina web: http://www.diee.unica.it/giua/ARP

Il corso intende fornire un insieme di strumenti formali per la modellistica, la verifica e il controllo dei sistemi ad eventi discreti logici. Tra gli argomenti trattati: automi deterministici e non deterministici, espressioni e linguaggi regolari, controllo supervisivo, osservatori e diagnosi di guasto, reti di Petri, controllo mediante posti monitor.

NEWS:

  • ESITI PROVE INTERMEDIE: [Esito II prova e voto finale]
    Sarà possible ritirare il compito e registrare il voto Mercoledì 18 gennaio, ore 17:00, studio A. Giua. (*** cambio orario ***)
  • APPELLI GENNAIO-FEBBRAIO 2012:
    • Martedì 17 gennaio.
    • Giovedì 9 febbraio.
    • Mercoledì 29 febbraio.
    Contattare il docente per email per concordare l'orario o chiedere eventuali spostamenti di data.

[Programma del corso] [Invia un suggerimento]

Correzione esercitazioni: Daniele Rosa (daniele.rosa@diee.unica.it)

Testo adottato: A. Di Febbraro, A. Giua Sistemi ad eventi discreti, McGraw-Hill, 2002. Ristampa corretta 2011.

Altro materiale: M.P. Cabasino. Dispense sulla diagnosi. 2007.

Orario delle lezioni 2011 (dal 3 Ottobre al 14 Dicembre):
LUNEDIore 10-11Aula DIEE B1
MARTEDIore 17-20Aula DIEE B1
MERCOLEDIore 18-20Aula DIEE B1

  • Non si terrà lezione nelle seguenti date: MAR 1 Nov (san Saturnino), 14-16 Nov (prove intermedie).

Orario di ricevimento: Su appuntamento (preferibilmente Lunedì 11-13; Mercoledì 15-16).

Esercitazioni 2011: [Es1] [Es2] [Es3] [Es4] [Es5] [Es6] [Es7]

I prova intermedia: [Testo]

II prova intermedia: [Testo]

Pre-esami degli anni precedenti

Esercitazioni degli anni precedenti

Software

  • Toolbox MATLAB per automi [AUTOMI.ZIP]
  • Software DESUMA per automi (University of Michigan). Il programma DESUMA si può scaricare dalla pagina [http://www.eecs.umich.edu/umdes/toolboxes.html] cliccando sulla voce "DESUMA Software". Bisogna inserire alcuni dati (nome e indirizzo email) per poter scaricare l'eseguibile. Le istruzioni per l'installazione si possono trovare alla pagina:[http://www.eecs.umich.edu/umdes/instructions.html].
  • Petri Net Toolbox [Petri.zip]
    • Istruzioni: (1) Salvare Petri.zip e estrarre la cartella Petri; (2) Aprire MATLAB e cambiare directory portandosi nella cartella Petri con il comando >>cd (nome_path)/Petri ; (3) Dare il comando >>help contents per vedere un elenco delle funzioni.
      N.B: Una rete di Petri è definita dalle due matrici Pre, Post e dalla marcatura iniziale. P.e., la rete in figura 4.16 del libro si definisce coi comandi: Pre= [1 0 0; 0 1 1; 0 0 0]; Post=[0 1 0; 1 0 0; 0 0 1]; M0 = [1 1 0]'.
    • Manuale in italiano sull'uso della funzione [plottree] (2003)
    • Manuale in [italiano / inglese] sull'uso delle funzioni per il controllo mediante GMEC (2001)
    • Manuale in italiano sull'uso della funzione [monitordesign] (2003)
    • Descrizione dei [bachi] conosciuti del pacchetto Petri Net Toolbox (2002)
    • [Es8] del 2002 relativa al Petri Net Toolbox.

Valutazione

  • Agli studenti che seguono il corso e consegnano regolarmente le esercitazioni è offerta la possibilità di superare l'esame sostenendo due prove intermedie. Entrambe le prove sono scritte. [Valutazione]

    N.B.: Durante lo scritto non saranno autorizzati appunti, dispense, libri, ecc. E' però possibile, se lo si desidera, raccogliere formule o altro materiale in un singolo foglio A4 che potrà essere consultato durante l'esame.

  • Durante le regolari sessioni di esame, le prove saranno orali.