Languages of Higher-Dimensional Timed Automata - Institut de Recherche en Informatique Fondamentale Access content directly
Preprints, Working Papers, ... Year : 2024

Languages of Higher-Dimensional Timed Automata

Abstract

We present a new language semantics for real-time concurrency. Its operational models are higher-dimensional timed automata (HDTAs), a generalization of both higher-dimensional automata and timed automata. We define languages of HDTAs as sets of interval-timed pomsets with interfaces. As an application, we show that language inclusion of HDTAs is undecidable. On the other hand, using a region construction we can show that untimings of HDTA languages have enough regularity so that untimed language inclusion is decidable.
Fichier principal
Vignette du fichier
2401.17444.pdf (351.37 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-04444648 , version 1 (07-02-2024)

Identifiers

Cite

Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg. Languages of Higher-Dimensional Timed Automata. 2024. ⟨hal-04444648⟩
18 View
1 Download

Altmetric

Share

Gmail Facebook X LinkedIn More