✦ LIBER ✦

Timed automata and recognizability

✍ Scribed by Philippe Herrmann

Publisher: Elsevier Science
Year: 1998
Tongue: English
Weight: 555 KB
Volume: 65
Category: Article
ISSN: 0020-0190
DOI: 10.1016/s0020-0190(97)00217-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Distributed Timed Automata

✍ Padmanabhan Krishnan 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 921 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

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

Language not recognizable in real time b

Language not recognizable in real time by one-way cellular automata

✍ Véronique Terrier 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 454 KB

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