MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  IOS Press Timed Cooperating Automata

Download:
Download as a PDF | Download as a PS
by Ruggero Lanotte, Andrea Maggiolo-schettini, Adriano Peron
http://www.dimi.uniud.it/~peron/psfile/fundamenta.ps
Add To MetaCart

Abstract:

Abstract. We propose Timed Cooperating Automata (TCAs), an extension of the model Cooperating Automata of Harel and Drusinsky, and we investigate some basic properties. In particular we consider variants of TCAs based on the presence or absence of internal activity, urgency and reactivity, and we compare the expressiveness of these variants with that of the classical model of Timed Automata (TAs) and its extensions with periodic clock constraints and with silent moves. We consider also closure and decidability properties of TCAs and start a study on succinctness of their variants with respect to that of TAs.

Citations

1764 Statecharts: A visual formalism for complex systems – Harel - 1987
1421 The theory of timed automata – Alur, Dill - 1991
128 The Esterel Synchronous Programming Language – Berry, Gonthier - 1992
61 Event-Clock Automata: A Determinizable Class of Timed Automata – Alur, Fix, et al. - 1994
49 Hierarchical automata as model for statecharts – Mikk, Lakhnech, et al. - 1997
41 Characterization of the expressive power of silent transitions in timed automata – Bérard, Diekert, et al. - 1998
28 On the power of bounded concurrency I: Finite automata – Drusinsky, Harel - 1994
22 Timed Automata with Periodic Clock Constraints – Choffrut, Goldwurm
13 Transitions as interrupts: a new semantics for timed Statecharts – Peron, Maggiolo-Schettini - 1994
10 On the power of bounded concurrency. I. Finite automata – Drusinski, Harel - 1994
8 Timed Cooperating Automata – Lanotte, Maggiolo-Schettini, et al. - 2000
8 Retiming techniques for statecharts – Maggiolo-Schettini, Peron - 1996
5 Automata on Infinite Objects", Handbook of Theoretical – Thomas - 1990
1 Thiagarajan, P.S.: "Product Interval Automata: a Subclass of Timed Automata – D'Souza - 1999
View or Download | Add to My Collection | Correct Errors