|Unit||Credits||Academic sector||Period||Academic staff|
|SISTEMI A EVENTI DISCRETI||6||ING-INF/05-INFORMATION PROCESSING SYSTEMS||I sem.||
|SISTEMI DINAMICI||6||ING-INF/05-INFORMATION PROCESSING SYSTEMS||I sem.||
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
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.
For the syllabus, refer to the syllabuses of the two component modules (Dynamical Systems and Discrete-Event Systems).
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.
|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|