Dettagli sull'Insegnamento per l'A.A. 2018/2019
Nome:
Automazione Industriale / Industrial Automation
Informazioni
Crediti:
: Laurea in Ingegneria dell'Informazione 6 CFU (d)
Erogazione:
Laurea in Ingegneria dell'Informazione 3rd anno curriculum Automatica Elective
Lingua:
Italiano
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
Le informazioni sulle editioni passate di questo corso sono disponibili per i seguenti anni accademici:
Per leggere le informazioni correnti sul corso, se ancora erogato, consulta il catalogo corsi di ateneo.
Ultimo aggiornamento delle informazioni sul corso: 27 maggio 2016, 18:40