ISTSM: Incompletely Specified Timed Sequential Machines
Norbert Giambiasi
Symposium On Theory of Modeling and Simulation - DEVS Integrative M&S Symposium (TMS/DEVS 2011)
Boston, MA, USA, April 4-9, 2011
Summary
In this paper, after the definition of incompletely specified Timed Sequential Machines (ISTSM), we present a method to reduce the number of states of this sub-class class of Timed Sequential Machines. For this purpose, we define the relations of coverage and compatibility between two states of an ISTSM, and we show how these relations can be used to reduce the number of states of an ISTSM
START
Conference Manager (V2.56.8 - Rev. 1568)