Discrete Event Systems based Design Patterns for Diagnosability Analysis of Automated Manufacturing Systems


Autoria(s): Myadzelets, Dmitry
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