Symbolic algorithms to calculate steady-state probabilities of a finite state machine

Proceedings of the European Design and Test Conference

Volumn , Issue , 1994, Pages 214-218

  Hachtel, Gary D ^a   Macii, Enrico ^a   Pardo, Abelardo ^a   Somenzi, Fabio ^a  

^a UNIVERSITY OF COLORADO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CODES (SYMBOLS); DECISION THEORY; FINITE AUTOMATA; MATHEMATICAL MODELS; PROBABILITY; RANDOM PROCESSES; SEQUENTIAL CIRCUITS; STATE ASSIGNMENT; STATE SPACE METHODS;

ALGEBRAIC DECISION DIAGRAMS; CHAPMAN-KOLMOGOROV EQUATIONS; FINITE STATE MACHINES; GAUSS JACOBI ITERATIONS; STEADY STATE PROBABILITIES; SYMBOLIC ALGORITHMS;

SEQUENTIAL MACHINES;

EID: 0028016578     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)