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 students already enrolled in this course.If you are a new student interested in enrolling, you can find information about the course of study on the course page:
Laurea magistrale in Ingegneria e scienze informatiche - Enrollment from 2025/2026The 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 activated in the A.Y. 2011/2012
| Modules | Credits | TAF | SSD |
|---|
Tre insegnamenti a scelta tra i seguenti | Modules | Credits | TAF | SSD |
|---|
| Modules | Credits | TAF | SSD |
|---|
Tre insegnamenti a scelta tra i seguenti | Modules | Credits | TAF | SSD |
|---|
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.
System theory (2010/2011)
The teaching is organized as follows:
Learning outcomes
Module: SISTEMI A EVENTI DISCRETI
-------
An introduction to advanced methodologies for the specification
and design of hardware and software systems.
Such systems include heterogeneous and concurrent components defined at different levels of abstraction, to be implemented in hardware and software;
they must satisfy functional and real time constraints, and may interact with physical systems (cyperphysical systems).
This class discusses the most important specification languages for hardware, software and networked systems.
Module: SISTEMI E SEGNALI
-------
Program
Module: SISTEMI A EVENTI DISCRETI
-------
Introduction to system theory.
Discrete systems and state machines (finite and infinite state machines).
Deterministic, observable and nondeterministic finite state machines.
Composition of finite state machines.
Minimization, determinization, equivalence and containment of finite state
machines.
Simulation and bisimulation relations for finite state machines.
Sinthesis of finite state controllers for safety and liveness properties.
Petri nets.
Supervisory control for regular automata and languages.
Hybrid automata.
Languages for hardware specification.
Module: SISTEMI E SEGNALI
-------
Bibliography
| Author | Title | Publishing house | Year | ISBN | Notes |
|---|---|---|---|---|---|
| A. Giua, C. Seatzu | Analisi dei sistemi dinamici | Springer-Verlag | |||
| E. Fornasini, G. Marchesini | Appunti di Teoria dei sistemi | Edizioni Libreria Progetto Padova | 2011 |
Examination Methods
Module: SISTEMI A EVENTI DISCRETI
-------
Written exam.
Module: SISTEMI E SEGNALI
-------
