A real time, highly decentralized, adaptive traac signal optimization method, ALLONS-D, based on the Rolling Horizon Dynamic Programming technique, is presented in this paper. We describe the basic architecture , the system model, and the optimization scheme of ALLONS-D. We compare ALLONS-D with other approaches to signal control via several sets of… (More)
The second set of times above is identical to that of enabling times. Identification of the first set above is ensured by Conditions 2) and 4). Finally, Conditions 2) and 4) ensure that we can extract all interrupted times, which are the time epochs when the state transits from Se to S c e due to the occurrence of an event other than e: Necessity: We use… (More)
In this paper, we propose a new operation, Generalised Sequential Crossover (GSCO) of words, which in some sense an abstract model of crossing over of the chromosomes in the living organisms. We extend GSCO over language L iteratively (GSCO * (L) as well as iterated GSCO over two languages GSCO * (L1, L2)). Our study reveals that GSCO * (L) is subclass of… (More)
This paper outlines an application of iterated version of generalised sequential crossover of two languages (which in some sense, an abstraction of the crossover of chromosomes in living organisms) in studying some classes of the newly proposed generalised splicing (GS) over two languages.
Theory of splicing is an abstract model of the recombinant behaviour of DNAs. In a splicing system, two strings to be spliced are taken from the same set and the splicing rule is from another set. Here we propose a generalised splicing (GS) model with three components, two strings from two languages and a splicing rule from third component. We propose a… (More)
In this note, an algorithm is provided for testing the diagnosability of discrete-event systems. Compared to the existing testing method in , our algorithm does not require the construction of a diagnoser for the system. The complexity of our algorithm is of fourth order in the number of states of the system and linear in the number of failure types of… (More)