REDUCING THE STATE SPACE OF INCOMPLETELY SPECIFIED TIMED MOORE MACHINES

Norbert GIAMBIASI

Symposium on Theory of Modeling and Simulation (DEVS'10) (DEVS 2010)
Orlando, ON, April 11-15 2010

---

Summary

In this paper, after recapping about completely specified Timed Moore Machines (TMM) and their minimization procedure, we present methods to reduce the number of states of incompletely specified Timed Moore Machines. For this purpose, we define the concepts of coverage and refinement between TMM, and we show how the coverage relation can be used to reduce the number of states of a TMM.

---

START Conference Manager (V2.56.8 - Rev. 994)