The Event Sequence Diagram (ESD) framework allows modeling of dynamic situa
tions of interest to PRA analysts. A qualitative presentation of the framew
ork was given in an earlier article. The mathematical formulation for the c
omponents of the ESD framework is described in this article. The formulatio
n was derived from the basic probabilistic dynamics equations. For tackling
certain dynamic non-Markovian situations, the probabilistic dynamics frame
work was extended. The mathematical treatment of dependencies among fault t
rees in a multi layered ESD framework is also presented. (C) 1999 Elsevier
Science Ltd. All rights reserved.