Efficient state classification of finite state markov chains

Proceedings - Design Automation Conference

Volumn , Issue , 1998, Pages 605-610

  Xie, Aiguo ^a   Beerel, Peter A ^a  

^a University of Southern California ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ITERATIVE METHODS; BINARY CODES; COMPUTATIONAL METHODS; MARKOV PROCESSES; PROBLEM SOLVING;

ASYNCHRONOUS SYSTEM; FUNDAMENTAL PROPERTIES; REACHABILITY ANALYSIS; REDUCED MEMORY REQUIREMENTS; STATE CLASSIFICATION; STATE-OF-THE-ART TECHNIQUES; SYMBOLIC TECHNIQUES; TRANSITION RELATIONS;

MARKOV PROCESSES; ELECTRIC NETWORK ANALYSIS;

BINARY DECISION DIAGRAMS (BDD); FINITE STATE MARKOV CHAINS; REACHABILITY ANALYSIS; STATE CLASSIFICATION;

EID: 0031623453     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/277044.277202     Document Type: Conference Paper

References (22)

1. M. Malhotra and K. S. Trivedi. Power-hierarchy of dependability-model types. IEEE Trans, on Reliability, 43(3), Sept. 1994.
2. O. Daniel Z. Simeu-Abazi and B. Descotes-Genon. Analytical method to evaluate the dependability of manufacturing systems. Reliability Engineering & Systems Safety, 55(2), Feb. 1997.
3. A.M. Stankovic, G.C. Verghese, and D. J. Perreault. Randomized modulation of power converters via Markov chains. IEEE Trans, on Control Systems Technology, 5(1), Jan. 1997.
4. R. Marculescu, D. Marculescu, and M. Pedram. Efficient power estimation for highly correlated input streams. In Proc. ACM/IEEE Design Automation Conf., 1995.
5. P. A, Beerel and H. S. Wadekar. Energy estimation of speed-independent control circuits. IEEE Trans, on Computer-Aided Design, pp. 672-680, June 1996.
6. M. Holiday and M. Vernon. A generalized timed Petri net model for performance analysis. IEEE Trans, on Software Engineering, 13:1297-1310, Dec. 1987.
7. P. Kudva, G. Gopalakrishnan, E. Brunvand, and V. Akella. Performance analysis and optimization of asynchronous circuits. In Proc. Int. Conf. Computer Design (ICCD), pp. 221-225, Oct. 1994.
8. A. Xie and P. A. Beerel. Symbolic techniques for performance analysis of asynchronous systems based on average time separations of events. In Proc. Int. Symp. on Adv. Res. in Asynchronous Circuits and Systems, pp, 64-75, 1997.
9. R. M. Izquierdo and D. S. Reeves. MPEG VBR slice layer model using linear predictive coding and generalized periodic Markov chains. In IEEE Int. Performance, Computing and Communications Conf. 1997.
10. T. Takine, T. Suda, and T. Hasegawa. Cell-loss and output process analysis of a finite-buff discrete-time atm queueing system with correlated arrival. IEEE Trans, on Communications., 43(2-4), Feb .-March 1995.
11. G. D. Hachtel, E. Macii, A. Pardo, and F. Somenzi. Marko-vian analysis of large finite state machines. IEEE Trans, on Computer-Aided Design, pp. 1479-1493, Dec. 1996.
12. E. Bryant. Graph-based algorithm for boolean function munipulation. IEEE Trans, on Computers, 35, Aug. 1986.
13. Y. Matsunaga, P. C. McGeer, and R. K. Brayton. On computing the transitive closure of a state transition relation. In Proc. ACM/IEEE Design Automation Conf., 1993.
14. J. G. Kemeny and J. L. Snell. Finite Markov Chains. Springer, 1976.
15. R. A. Howard. Dynamic Probabilistic Systems, Volume 1: Markov Models. John Wiley & Sons, Inc, 1971.
16. G. D. Hachtel and F. Somenzi. A symbolic algorithm for maximum flow in 0-1 networks. In Proc. Int. Conf. Computer-Aided Design (ICCAD), 1993.
17. J. R. Burch, E. M. Clarke, D. E. Long, K. L. McMillan, and D. L. Dill. Symbolic model checking for sequential circuit verification. IEEE Trans, on Computer-Aided Design, 13(4), Apr. 1994.
18. O. Coudert, J. C. Madre, and C. Berthet. Verifying temporal properties of sequential machines without building their state diagrams. In E. M. Clarke and R. P. Kurshan, editors, Computer-Aided Verification 190. American Mathematical Society, June 1990.
19. R. I. Bahar, E. A. Frohm, C. M. Gaona, and G. D. Hachtel. Algebraic decision diagrams and their applications. In Proc. Int. Conf. Computer-Aided Design (ICCAD) 1993.
20. K. l. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
21. K. Y. Yun and R. P. Donohue. Pausible clocking: A first step toward heterogeneous systems. In Proc. Int. Con. Computer Design (ICCD) pp. 118-123. Oct. 1996.
22. L. Kleinrock. Queueing Systems, Volume 2: Application. Wiley New York 1975.