%0 Journal Article
%T Reduction of Computational Complexity in Finite State Automata Explosion of Networked System Diagnosis (RESEARCH NOTE)
%J International Journal of Engineering
%I Materials and Energy Research Center
%Z 1025-2495
%A Ghasemzadeh, Mohammad
%D 2014
%\ 01/01/2014
%V 27
%N 1
%P 29-32
%! Reduction of Computational Complexity in Finite State Automata Explosion of Networked System Diagnosis (RESEARCH NOTE)
%K complexity
%K Finite State Automata
%K Networked System Diagnosis
%K ROBDD
%R
%X This research puts forward rough finite state automata which have been represented by two variants of BDD called ROBDD and ZBDD. The proposed structures have been used in networked system diagnosis and can overcome cominatorial explosion. In implementation the CUDD - Colorado University Decision Diagrams package is used. A mathematical proof for claimed complexity are provided which shows ZBDD representing has superiority in space and time complexity to ROBDD representing.
%U https://www.ije.ir/article_72228_707e640f9fc11e63508fc7b5096a81a1.pdf