|
|
| Academic Year |
2024/2025 |
| Name |
Dott. - MI (1383) Ingegneria Meccanica / Mechanical Engineering |
| Programme Year |
1 |
| ID Code |
061806 |
| Course Title |
AUTOMATA FOR INDUSTRIAL SYSTEMS: MODELLING, VERIFICATION AND LEARNING |
| Course Type |
MONO-DISCIPLINARY COURSE |
| Credits (CFU / ECTS) |
5.0 |
| Course Description |
Automata-based modelling is appealing to developers of industrial applications for many reasons: intuitiveness of modelling, amenability to automated formal analysis of model properties, availability of algorithms to automatically learn models from field data. This course will provide students with the basics of automata-based modelling approaches (including Petri nets to analyze systems with large state spaces), then it will show how they can be used in industrial settings to capture and automatically, formally analyze modeled systems? properties. In particular, the course will show how models automatically learned from field data can be used to predict the future behavior of the system. |
| Scientific-Disciplinary Sector (SSD)
|
--
|
|
Alphabetical group
|
Name
|
Teaching Assignment Details
|
|
From (included)
|
To (excluded)
|
|
A
|
ZZZZ
|
Rossi Matteo Giovanni, Bersani Marcello Maria, Matta Andrea
|
|
|
