- Discrete Event Systems based Design Patterns for Diagnosability Analysis of Automated Manufacturing Systems
- Myadzelets, Dmitry <1974>
Subject
- ING-INF/04 Automatica
Description
- 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, which is then used to enforce the desired property of the system, rather then just verifying it. This approach tackles the state explosion problem with modeling patterns and new algorithms, aimed for verification of diagnosability property in the context of the distributed diagnosability problem. The concepts are validated with a newly developed software tool.
Date
- 2014-04-03
Type
- Doctoral Thesis
- PeerReviewed
Format
- application/pdf
Identifier
urn:nbn:it:unibo-13206
Myadzelets, Dmitry (2014) Discrete Event Systems based Design Patterns for Diagnosability Analysis of Automated Manufacturing Systems, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Automatica e ricerca operativa