Discrete Event Systems based Design Patterns for Diagnosability Analysis of Automated Manufacturing Systems
Contribuinte(s) |
Paoli, Andrea |
---|---|
Data(s) |
03/04/2014
|
Resumo |
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. |
Formato |
application/pdf |
Identificador |
http://amsdottorato.unibo.it/6335/1/Dmitry_Myadzelets_tesi.pdf 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 <http://amsdottorato.unibo.it/view/dottorati/DOT204/>, 26 Ciclo. DOI 10.6092/unibo/amsdottorato/6335. |
Idioma(s) |
en |
Publicador |
Alma Mater Studiorum - Università di Bologna |
Relação |
http://amsdottorato.unibo.it/6335/ |
Direitos |
info:eu-repo/semantics/openAccess |
Palavras-Chave | #ING-INF/04 Automatica |
Tipo |
Tesi di dottorato NonPeerReviewed |