Product interval automata

D’souza, Deepak ; Thiagarajan, P. S. (2002) Product interval automata Sadhana (Academy Proceedings in Engineering Sciences), 27 (2). pp. 181-208. ISSN 0256-2499

PDF - Publisher Version

Official URL:

Related URL:


We identify a subclass of timed automata called product interval automata and develop its theory. These automata consist of a network of timed agents with the key restriction being that there is just one clock for each agent and the way the clocks are read and reset is determined by the distribution of shared actions across the agents. We show that the resulting automata admit a clean theory in both logical and language theoretic terms. We also show that product interval automata are expressive enough to model the timed behaviour of asynchronous digital circuits.

Item Type:Article
Source:Copyright of this article belongs to Indian Academy of Sciences.
Keywords:Timed Automata; Distributed Systems; Logic
ID Code:50497
Deposited On:25 Jul 2011 11:44
Last Modified:18 May 2016 04:46

Repository Staff Only: item control page