Higher-Dimensional Timed Automata - Archive ouverte HAL
Communication Dans Un Congrès Année : 2018

Higher-Dimensional Timed Automata

Résumé

We introduce a new formalism of higher-dimensional timed automata, based on van Glabbeek's higher-dimensional automata and Alur's timed automata. We prove that their reachability is PSPACE-complete and can be decided using zone-based algorithms. We also show how to use tensor products to combat state-space explosion and how to extend the setting to higher-dimensional hybrid automata.

Dates et versions

hal-04540037 , version 1 (10-04-2024)

Identifiants

Citer

Uli Fahrenberg. Higher-Dimensional Timed Automata. ADHS, Jul 2018, Oxford, United Kingdom. ⟨hal-04540037⟩
13 Consultations
0 Téléchargements

Altmetric

Partager

More