Discrete Event Systems based Design Patterns for Diagnosability Analysis of Automated Manufacturing Systems
The main goal of this thesis is to facilitate the process of industrial automated systems development applying formal methods to ensure the reliability of systems. A new formulation of distributed diagnosability problem in terms of Discrete Event Systems theory and automata framework is presented, w...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Doctoral Thesis |
| Language: | en |
| Published: |
Alma Mater Studiorum - Università di Bologna
2014
|
| Subjects: | |
| Online Access: | http://amsdottorato.unibo.it/6335/ |