Event scheduling of timed automata using Dioid Algebra

Timed automata are common and proper models, describing time evolution of nonlinear hybrid systems, especially in fault diagnosis applications. Due to asynchronous occurrence of events in event driven systems, computing and predicting timed events is a main and challenging problem. For solving this problem, a new analytical method is introduced in this paper based on Dioid Algebra. A linear model is presented for generating event scheduling table of timed automata from a given initial event. All time-event execution paths are predicted easily using the event scheduling table. The proposed algorithm is illustrated by a typical example.