Corpus ID: 17166652

Discrete event simulation of stochastic and deterministic sequential machine models

@inproceedings{Cutler1980DiscreteES,
  title={Discrete event simulation of stochastic and deterministic sequential machine models},
  author={M. Cutler},
  booktitle={WSC '80},
  year={1980}
}
  • M. Cutler
  • Published in WSC '80 1980
  • Computer Science
  • This paper presents and proves the correctness of novel techniques for the mathematical verification of simulation models against sequential machine specifications. The main idea is to say that a discrete event simulation program simulates a given sequential machine specification if and only if there exists a certain type of mapping from it to the specification. It is first shown that discrete event specifications can be realized by using the traditional formalisms of discrete time systems… CONTINUE READING
    2 Citations
    A Formal Framework for Stochastic Discrete Event System Specification Modeling and Simulation
    • 25
    • PDF
    Expressiveness of verifiable hierarchical clock systems
    • 6
    • PDF

    References

    Ergodic machines--probabilistic and approximate homomorphic simplifications.
    • 6
    • Highly Influential