fII

..::.. Sistemi ad Eventi Discreti ..::.. #SED_DeTommasi

• Programma del corso A.A. 2018/19
  
• Prove d'esame
  

..::.. Orario delle lezioni A.A. 2018/19 ..::..

• Mercoledì 10:30/13:30 - II-A1, via Nuova Agnano
• Venerdì 10:30/13:00 - I-A10, via Nuova Agnano

..::.. Risorse ..::..

• Link al corso di Controllo di Supervisione su Federic@
• Podcast del corso di Controllo di Supervisione su Federic@
  

  

• UMDES Software Library
• File .fsm per dell'esempio dei due filosofi - Lezione 27/3/2015
• Petri Nets World
• GLPKMEX (Matlab MEX interface for GLPK library)

..::.. Gerachia di Chomsky - Decibilità - Complessità ..::..

• Haar, Masopust - Languages, Decidability, and Complexity
• Computational Complexity - A modern approach (Arora, Barak)
• D. Hofstadter - Gödel, Escher, Bach: un'eterna ghirlanda brillante (EN)

..::.. Materiale Diagnosticabilità SED ..::..

• Diagnosticabilità per automi a stati finiti e automa diagnosticatore
• Diagnosi dei guasti in SED modellati con reti di Petri
• Diagnosticabilità in K passi per SED modellati con reti di Petri

..::.. Materiale Opacità SED ..::..

• Opacità in SED modellati con automi a stati finiti

..::.. Riduzione di automi a stati finiti alla forma minima ..::..

• Estratto dal libro "Teoria dei Sistemi II - I sistemi a stati finiti" di A. Balestrino e G. Celentano, Liguori Editore, 1985

..::.. Calendario degli esami ..::..

Le date d'esame vengono concordate con il docente. Mandare una mail a detommas [at] unina [dot] it.