Languages of Higher-Dimensional Timed Automata - Institut de Recherche en Informatique Fondamentale Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2024

Languages of Higher-Dimensional Timed Automata

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

Citer

Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg. Languages of Higher-Dimensional Timed Automata. 2024. ⟨hal-04444648⟩
26 Consultations
6 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More