Timed Stability of Timed Discrete-Event Systems

Abstract

In this paper, a new stability concept of Timed Discrete-Event Systems (TDESs) is proposed. This is an extension of the stability of non-timed discrete-event systems proposed by Ozveren et al. to TDESs, but not simple one because degree of stability is introduced to measure stability performance. We give algorithms to check the stability and to calculate the optimal stabilizing supervisor achieving a given stability degree in the sense of minimum restriction.