System theory - SISTEMI A EVENTI DISCRETI (2015/2016)

Course code
4S02785
Name of lecturer
Tiziano Villa
Number of ECTS credits allocated
6
Academic sector
ING-INF/05 - INFORMATION PROCESSING SYSTEMS
Language of instruction
Italian
Period
I semestre dal Oct 1, 2015 al Jan 29, 2016.

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
Monday 10:30 AM - 12:30 PM lesson Lecture Hall I  
Tuesday 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.

Syllabus

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 A. Lee and Sanjit A. Seshia Introduction to Embedded Systems, A Cyber-Physical Systems Approach (Edizione 2) http://LeeSeshia.org 2015 ISBN 978-1-312-42740-2 Versione in rete scaricabile (ma non stampabile) da http://LeeSeshia.org Paperback: Second Edition, Printing 2.0 is available from LuLu.com
Angela Di Febbraro, Alessandro Giua Sistemi ad Eventi Discreti MvGraw-Hill 2002 88-386-0863-6

Assessment methods and criteria

Written exam.

Teaching aids

Documents

STUDENT MODULE EVALUATION - 2015/2016