Dettagli sull'Insegnamento per l'A.A. 2018/2019

Prerequisiti

Nessuno

Obiettivi

Il corso intende fornire le conoscenze di base relative ai modelli ad eventi discreti e mostrare come essi possano essere usati per l'analisi delle prestazioni di diversi sistemi di interesse industriale.

Sillabo

• Systems and Models:  System and control basics: The Concept of System, The Input–Output Modeling Process, The Concept of State, The State Space Modeling Process, Sample Paths of Dynamic Systems, State Spaces, The Concept of Control, The Concept of Feedback, Discrete-Time Systems. Discrete event systems: The Concept of Event, Characteristic Properties of Discrete Event Systems, The Three Levels of Abstraction in the Study of Discrete Event Systems, Examples of Discrete Event Systems, Hybrid Systems
• Languages and Automata: The concepts of Languages and Automata: Language Models of Discrete-Event Systems, Automata, Languages Represented by Automata, Nondeterministic Automata, Automata with Inputs and Outputs. Operations on Automata: Unary Operations, Composition Operations, State Space Refinement, Observer Automata, Equivalence of Automata. Finite-state Automata: Definition and Properties of Regular Languages, Regular Expressions, State Space Minimization Analysis of discrete-event systems: Safety and Blocking Properties, Partially-Observed DES, Event Diagnosis, Software Tools and Computational Complexity Issues, Formal Verification and Model Checking
• Supervisory Control: Feedback control with supervisors: Controlled Discrete Event Systems, Control Under Partial Observation Specifications on control systems: Modeling of Specifications as Automata, The Need for Formal Methods Control with partial controllability: Controllability Theorem, Realization of Supervisors, The Property of Controllability, Some Supervisory Control Problems and Their Solutions, Computation of K/c Nonblocking control: Nonblocking Controllability Theorem, Nonblocking Supervisory Control, Computation of K/C: General Case, Dealing with Blocking Supervisors Control with modular specifications Control under partial observation: Controllability and Observability Theorem, Realization of P-Supervisors, The Property of Observability, Supervisory Control Problems Under Partial Observation, The Property of Normality Decentralized control: Conjunctive Architecture, Disjunctive Architecture, Combined Architecture, Realization of Decentralized Supervisors, The Property of Coobservability, Undecidability in Decentralized Control

Testi di riferimento

• Cassandras, Lafortune, Introduction to Discrete Event Systems , Springer. 2007.    

Modalità d'esame

Prova scritta e colloquio.

Aggiornamenti alla pagina del corso

• A.A. 2012/2013
• A.A. 2013/2014
• A.A. 2014/2015
• A.A. 2015/2016
• A.A. 2016/2017
• A.A. 2017/2018
• A.A. 2018/2019
• A.A. 2019/2020