START Conference Manager    

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


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)