n this thesis, the model of discrete event system with stochastic feature (SDES) within Ramadge & Wonham (RW) framework is constructed. The performance evaluation of SDES is studied in a systemical fashion. It provides the formulas to calculate the probability of a series of logical actions occurring before a given time t; the expected time that the SDES might take to generate a series of logical actions; the expected cost that the SDES might incur to generate a series of logical actions. Several optimization problems are solved. The Logical Numerical Synthesis and... |