Studying at the University of Verona
Here you can find information on the organisational aspects of the Programme, lecture timetables, learning activities and useful contact details for your time at the University, from enrolment to graduation.
Study Plan
This information is intended exclusively for future freshmen who will enroll for the 2025/2026 academic year.If you are already enrolled in this course of study, consult the information available on the course page:
Master's Degree in in Computer Engineering for Intelligent Systems - Enrollment until 2024/2025The Study Plan includes all modules, teaching and learning activities that each student will need to undertake during their time at the University.
Please select your Study Plan based on your enrollment year.
1° Year
| Modules | Credits | TAF | SSD |
|---|
2° Year It will be activated in the A.Y. 2026/2027
| Modules | Credits | TAF | SSD |
|---|
| Modules | Credits | TAF | SSD |
|---|
| Modules | Credits | TAF | SSD |
|---|
| Modules | Credits | TAF | SSD |
|---|
4 modules among:
- 1st year - Embedded operating systems, Embedded & IoT Systems design, Robotics, Computer vision, Advanced visual computing and 3D modeling - delivered in 2025/2026
- 2nd year - Advanced control systems - delivered in 2026/20273 modules among:
- 2nd year - Advanced methods for biomedical signal processing, Neurohealth, Medical robotics, Internet of Medical things - delivered in 2026/2027
- 1st or 2nd year - Mathematical modeling for Industrial and medical digital twins, Cloud computing and distributed systems - delivered in 2025/2026 or in 2026/2027 Legend | Type of training activity (TTA)
TAF (Type of Educational Activity) All courses and activities are classified into different types of educational activities, indicated by a letter.
Dynamic Systems (2025/2026)
Teaching code
4S009000
Teacher
Coordinator
Credits
6
Language
English
Scientific Disciplinary Sector (SSD)
ING-INF/04 - SYSTEMS AND CONTROL ENGINEERING
Period
1st semester dal Oct 1, 2025 al Jan 30, 2026.
Courses Single
Authorized
Learning objectives
The course aims to provide knowledge on the theoretical basis of the theory of dynamic systems, in the representation of state, with particular reference to the properties of time invariant linear systems and the methods for the synthesis of controllers for these systems. At the end of the course the student will have to demonstrate ability to apply the acquired knowledge: to provide the knowledge to analyze the structural properties of a linear dynamic system (e.g. reachability and observability) and its stability. Calculate the observability and reachability matrices; design a state feedback controller; design an asymptotic state observer; apply Lyapunov's theory of stability. The student must have the ability to define the technical specifications to design a controller for linear dynamic systems described by differential or difference equations. S/He will have to be able to deal with other engineers (e.g. electronic, automatic, mechanical) to design advanced controllers for complex electromechanical systems. It will have to show ability to continue studies independently in the field of designing robust and optimal controllers for linear and non-linear systems.
Prerequisites and basic notions
Linear algebra, Calculus, Signals and Systems
Program
State models:
- AR, MA, ARMA models,
- input-state-output representation,
- definitions of state, causality, algebraic equivalence,
- state and output update map,
- exponential matrix and its properties,
- Jordan canonical form, characteristic polynomial, algebraic and geometric multiplicity,
- modes, their characteristics, simple/asymptotic/BIBO stability,
- Relation between state representation and Laplace and Z transforms,
- Transfer functions, eigenvalues and poles.
Stability in state models:
- equilibrium state,
- stability of an equilibrium state,
- Lyapunov stability criterion,
- Lyapunov equation,
- linearization and reduced Lyapunov criterion.
Reachability:
- main concepts and the reachability Gramian,
- state space control,
- standard form of reachability, canonical control form,
- PBH criterion of reachability,
- state feedback.
Observability:
- main concepts and observability Gramian,
- State estimation (open and closed loop),
- standard form of observability, canonical observation form,
- PBH criterion of observability.
- Duality
Didactic methods
The course will consist of lectures in the classroom, along with shared slides, notes and possible additional material that could be useful to deepen the topics, and practical exercises in the classroom.
Learning assessment procedures
L'esame consisterà in una prova scritta sugli argomenti del corso. La prova conterrà quesiti sotto forma di domande teoriche e di esercizi dove sarà richiesto di applicare le tecniche e le metodologie spiegate durante il corso. Ogni quesito contribuirà al punteggio totale in trentesimi secondo una metrica additiva che verrà specificata nel testo dell'esame. Sia la parte teorica sia quella sugli esercizi devono essere sufficienti.
Se lo scritto è sufficiente (>18), è possibile richiedere una prova orale che farà media con la prova scritta.
Evaluation criteria
L'esame consisterà in una prova scritta sugli argomenti del corso. La prova conterrà quesiti sotto forma di domande teoriche e di esercizi dove sarà richiesto di applicare le tecniche e le metodologie spiegate durante il corso. Ogni quesito contribuirà al punteggio totale in trentesimi secondo una metrica additiva che verrà specificata nel testo dell'esame. Sia la parte teorica sia quella sugli esercizi devono essere sufficienti.
Se lo scritto è sufficiente (>18), è possibile richiedere una prova orale che farà media con la prova scritta.
Criteria for the composition of the final grade
The final grade will be the average of the written grade and of the optional oral exam.
Exam language
Inglese / English
Sustainable Development Goals - SDGs
This initiative contributes to the achievement of the Sustainable Development Goals of the UN Agenda 2030. More information on sustainability
