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 |
Paolo Fiorini
|
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.
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.
Author | Title | Publisher | Year | 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 |
Strada le Grazie 15
37134 Verona
VAT number
01541040232
Italian Fiscal Code
93009870234
© 2019 | Verona University | Credits