Unit | Credits | Academic 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
|
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
-------
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
-------
Module: SISTEMI A EVENTI DISCRETI
-------
Written exam.
Module: SISTEMI E SEGNALI
-------
Author | Title | Publisher | Year | ISBN | Note |
A. Giua, C. Seatzu | Analisi dei sistemi dinamici | Springer-Verlag | |||
E. Fornasini, G. Marchesini | Appunti di Teoria dei sistemi | Edizioni Libreria Progetto Padova | 2011 |
Strada le Grazie 15
37134 Verona
VAT number
01541040232
Italian Fiscal Code
93009870234
© 2021 | Verona University | Credits