✦ LIBER ✦

Shrinking timed automata

✍ Scribed by Sankur, Ocan; Bouyer, Patricia; Markey, Nicolas

Book ID: 122309924
Publisher: Elsevier Science
Year: 2014
Tongue: English
Weight: 789 KB
Volume: 234
Category: Article
ISSN: 0890-5401
DOI: 10.1016/j.ic.2014.01.002

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Axiomatising timed automata

✍ Huimin Lin; Wang Yi 📂 Article 📅 2002 🏛 Springer-Verlag 🌐 English ⚖ 235 KB

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

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