System theory (2010/2011)

Course code
4S02785
Credits
12
Coordinator
Tiziano Villa
Teaching is organised as follows:
Unit Credits Disciplinary sector Period Academic staff
SISTEMI A EVENTI DISCRETI 6 ING-INF/05-INFORMATION PROCESSING SYSTEMS I semestre Tiziano Villa
SISTEMI E SEGNALI 6 ING-INF/05-INFORMATION PROCESSING SYSTEMS I semestre Paolo Fiorini

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
-------

Syllabus

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
-------

Assessment methods and criteria

Module: SISTEMI A EVENTI DISCRETI
-------
Written exam.


Module: SISTEMI E SEGNALI
-------

Statistics about transparency requirements (Attuazione Art. 2 del D.M. 31/10/2007, n. 544)

Statistics
Outcomes Exams Outcomes Percentages Average Standard Deviation
Positive 20.27% 22 2
Rejected --
Absent 79.72%
Ritirati --
Canceled --
Distribuzione degli esiti positivi
18 19 20 21 22 23 24 25 26 27 28 29 30 30 e Lode
10.3% 17.2% 17.2% 0.0% 3.4% 24.1% 6.8% 3.4% 6.8% 6.8% 3.4% 0.0% 0.0% 0.0%

Data from AA 2010/2011 based on 143 students. I valori in percentuale sono arrotondati al numero intero più vicino.