|Unit||Credits||Academic sector||Period||Academic staff|
|SISTEMI A EVENTI DISCRETI||6||ING-INF/05-INFORMATION PROCESSING SYSTEMS||I semestre||
|SISTEMI DINAMICI||6||ING-INF/05-INFORMATION PROCESSING SYSTEMS||I semestre||
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.
|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
VAT number 01541040232
Italian Fiscal Code 93009870234
© 2020 | Verona University | Credits