System theory (2017/2018)

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 sem. Tiziano Villa
SISTEMI DINAMICI 6 ING-INF/05-INFORMATION PROCESSING SYSTEMS I sem. Andrea Calanca
Paolo Fiorini

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
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
Angela Di Febbraro, Alessandro Giua Sistemi ad Eventi Discreti MvGraw-Hill 2002 88-386-0863-6
A. Giua, C. Seatzu Analisi dei sistemi dinamici Springer-Verlag  
Dalle lezioni Appunti dalle lezioni 2018
E. Fornasini, G. Marchesini Appunti di Teoria dei sistemi Edizioni Libreria Progetto Padova 2011