✦ LIBER ✦

Distributed Timed Automata

✍ Scribed by Padmanabhan Krishnan

Publisher: Elsevier Science
Year: 2000
Tongue: English
Weight: 921 KB
Volume: 28
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80627-9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Performance Study of Distributed Timed

A Performance Study of Distributed Timed Automata Reachability Analysis

✍ Gerd Behrmann 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 534 KB

Timed CSP = Closed Timed Automata1

✍ Joël Ouaknine; James Worrell 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 257 KB

We study the expressive power of an augmented version of Timed CSP and show that it is precisely equal to that of closed timed automata-timed automata with closed invariant and enabling clock constraints. We also show that this new version of Timed CSP is expressive enough to capture the most widely

Timed automata and recognizability

✍ Philippe Herrmann 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 555 KB

Concurrency in timed automata

✍ Ruggero Lanotte; Andrea Maggiolo-Schettini; Simone Tini 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 373 KB

We introduce Concurrent Timed Automata (CTAs) where automata running in parallel are synchronized. We consider the subclasses of CTAs obtained by admitting, or not, diagonal clock constraints and constant updates, and by letting, or not, sequential automata to update the same clocks. We prove that s

Timed automata with urgent transitions

✍ Roberto Barbuti; Luca Tesei 📂 Article 📅 2004 🏛 Springer-Verlag 🌐 English ⚖ 270 KB

Extending Timed Automata for Composition

Extending Timed Automata for Compositional Modeling Healthy Timed Systems

✍ Víctor Braberman; Alfredo Olivero 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 382 KB

We introduce the notion of Timed I/O Components as Timed Automata "à la" Alur \& Dill where an "admissible" I/O interface is declared. That notion has, what we consider, a key modeling property: non-zeno preservation under syntacticallycheckable "I/O compatibility" among interacting components. Also