CSCI 746 - Discrete-State Stochastic Models

Fall or Spring 3 Prerequisite(s): CSCI 616, CSCI 626.

Logic, performance, and reliability analysis of discrete-state systems. Exploration of the state space. Queuing networks, fault trees, reliability block diagrams, task graphs, Petri nets and domain-oriented languages. Underlying stochastic processes, solutions and approximations.