System theory (2018/2019)

Course code
4S02785
Credits
12
Coordinator
Tiziano Villa
Teaching is organised as follows:
Unit Credits Academic sector Period Academic staff
SISTEMI A EVENTI DISCRETI 6 ING-INF/05-INFORMATION PROCESSING SYSTEMS I semestre Tiziano Villa
SISTEMI DINAMICI 6 ING-INF/05-INFORMATION PROCESSING SYSTEMS I semestre Diego Dall'Alba
Riccardo Muradore

Learning outcomes

The objective of the class is to introduce the techniques for the analysis and synthesis of discrete event systems and of continuous dynamical systems, each with its own mathematical apparatus.

To model discrete event systems, we introduce formalisms such as finite automata and state machines, Petri nets, hybrid automata, in order to describe heterogeneous and concurrent compositions with real-time constraints, to account for cyber-physical systems including a physical environment and cybernetical components.

To model continous dynamical systems, we study linear time-invariant (LTI) systems and the techiques to synthesize their controllers, with special attention to methods based on the state-based representations. We introduce also advanced concepts such as observability, controllability, state-estimation and control, and stability according to Lyapunov.

Syllabus

For the syllabus, refer to the syllabuses of the two component modules (Dynamical Systems and Discrete-Event Systems).

Assessment methods and criteria

The student must pass the exams of both modules with a score greater than or equal to 18/30. The score of the complete course is obtained by averaging the scores of the two component modules.

Reference books
Author Title Publisher Year ISBN Note
E. Fornasini, G. Marchesini Appunti di Teoria dei sistemi Edizioni Libreria Progetto Padova 2011
Edward A. Lee and Sanjit A. Seshia Introduction to Embedded Systems, A Cyber-Physical Systems Approach (Edizione 2) http://LeeSeshia.org 2015 ISBN 978-1-312-42740-2
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 Seconda edizione del volume precedentemente disponibile presso Lulu; si puo' scaricare liberamente dal sito in rete https://ptolemy.berkeley.edu/books/leeseshia/, ma non si puo' stampare. Si puo' acquistare a pagamento una copia stampata dall'editore MIT Press.
Angela Di Febbraro, Alessandro Giua Sistemi ad Eventi Discreti MvGraw-Hill 2002 88-386-0863-6