System theory - SISTEMI A EVENTI DISCRETI (2012/2013)

Course code
Name of lecturer
Tiziano Villa
Number of ECTS credits allocated
Academic sector
Language of instruction
I semestre dal Oct 1, 2012 al Jan 31, 2013.

To show the organization of the course that includes this module, follow this link * Course organization

Lesson timetable

I semestre
Day Time Type Place Note
Tuesday 2:30 PM - 4:30 PM lesson Lecture Hall I  
Thursday 8:30 AM - 10:30 AM lesson Lecture Hall I  

Learning outcomes

An introduction to formal methods for the specification, design and verification 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 (cyberphysical systems).

Prerequisites. The class is self-contained, however a student should have a good grasp of the basic notions of discrete mathematics, automata theory and differential equations.


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.

Reference books
Author Title Publisher Year ISBN Note
Edward Lee, Sanjit Seshia Introduction to Embedded Systems - A Cyber-Physical Systems Approach (Edizione 1) 2011 978-0-557-70857-4

Assessment methods and criteria

Written exam.

Teaching aids