✦ LIBER ✦

Axiomatising timed automata

✍ Scribed by Huimin Lin; Wang Yi

Book ID: 107706354
Publisher: Springer-Verlag
Year: 2002
Tongue: English
Weight: 235 KB
Volume: 38
Category: Article
ISSN: 0001-5903
DOI: 10.1007/s236-002-8035-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Distributed Timed Automata

✍ Padmanabhan Krishnan 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 921 KB

Shrinking timed automata

✍ Sankur, Ocan; Bouyer, Patricia; Markey, Nicolas 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 789 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

Dynamical Properties of Timed Automata

✍ Anuj Puri 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 370 KB