Laurea magistrale in Ingegneria e scienze informatiche

Sistemi (2019/2020)

Codice insegnamento
4S02785
Crediti
12
Coordinatore
Tiziano Villa

L'insegnamento è organizzato come segue:
Modulo Crediti Settore disciplinare Periodo Docenti
SISTEMI A EVENTI DISCRETI 6 ING-INF/05-SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI I semestre Tiziano Villa
SISTEMI DINAMICI 6 ING-INF/05-SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI I semestre Paolo Fiorini

Obiettivi formativi

L'insegnamento si propone d'introdurre i metodi fondamentali per l'analisi e la sintesi di sistemi a eventi discreti e di sistemi dinamici continui, descrivendoli con gli strumenti matematici corrispondenti. Per i sistemi discreti s'introducono vari modelli formali, come macchine e automi a stati finiti, reti di Petri, automi ibridi, per modellare composizioni eterogenee e concorrenti con vincoli in tempo reale, fino a sistemi ciberfisici che comprendono sia l'ambiente fisico che componenti elettroniche circuitali e programmate. Nel caso dei sistemi dinamici continui, si studiano i sistemi lineari tempo-invarianti (LTI) e i metodi per la sintesi di controllori per tali sistemi, con particolare attenzione ai metodi basati sulla rappresentazione a stati. S'introducono concetti avanzati come osservabilità, controllabilità, stimatori e controllori di stato, e la stabilità alla Lyapunov.

Programma

Il programma dell'insegnamento di Sistemi si evince da quelli dei moduli Sistemi Dinamici e Sistemi a Eventi Discreti di cui si compone l'insegnamento.

Modalità d'esame

Lo studente deve risultare sufficiente (>=18/30) in entrambi i moduli. Il voto finale si ottiene dalla media dei voti conseguiti nei due moduli.

Testi di riferimento
Autore Titolo Casa editrice Anno ISBN Note
Edward A. Lee and Sanjit A. Seshia Introduction to Embedded Systems — A Cyber-Physical Systems Approach — Second Edition (Edizione 2) MIT Press 2017 978-0-262-53381-2
Angela Di Febbraro, Alessandro Giua Sistemi ad Eventi Discreti MvGraw-Hill 2002 88-386-0863-6




© 2002 - 2019  Università degli studi di Verona
Via dell'Artigliere 8, 37129 Verona  |  P. I.V.A. 01541040232  |  C. FISCALE 93009870234