fII

..::.. Discrete Event Systems and Supervisory Control ..::.. #DSSC_DeTommasi

• Syllabus
  

..::.. Lectures timetable 2023-24 ..::..

• Mon 11:00/13:00 - NA-I-A12
• Tue 11:00/13:00 - NA-I-A12

..::.. Slides ..::..

• Course introduction
• Formal languages
• Introduction to automata
• Nondeterministic automata and observers
• A short introduction to timed automata
• Petri nets and their twofold representation to model DES

..::.. Web resources ..::..

• W. M. Wonham, "From Linear Systems to Discrete-Event Systems" (Tutorial lecture)
• UMDES @ University of Michigan
• DESUMA @ University of Michigan
• Supremica
• Petri Nets Tools Database