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

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
Location
VERONA
Period
I semestre dal Oct 3, 2011 al Jan 31, 2012.

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 9:30 AM - 11:30 AM lesson Lecture Hall I  
Wednesday 8:30 AM - 10:30 AM lesson Lecture Hall I  

Learning outcomes

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.

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.

Assessment methods and criteria

Written exam.

Teaching aids

Documents