Revisiting Reachability in Polynomial Interrupt Timed Automata - Archive ouverte HAL Access content directly
Journal Articles Information Processing Letters Year : 2022

Revisiting Reachability in Polynomial Interrupt Timed Automata

Abstract

Polynomial Interrupt Timed Automata (PolITA) are finite automata with clocks organized along hierarchical levels. These clocks are equipped with an interruption mechanism, well suited to the modeling of real-time operating systems. Moreover, transitions between states contain polynomial guards and updates. The reachability problem in this class is known to be in 2EXPTIME with a decision procedure based on the cylindrical algebraic decomposition. We improve this complexity to EXPSPACE mainly using a combinatorial argument and we include a reduction leading to a PSPACE lower bound.
Embargoed file
Embargoed file
0 0 5
Year Month Jours
Avant la publication

Dates and versions

hal-03390569 , version 1 (21-10-2021)

Identifiers

Cite

Béatrice Bérard, Serge Haddad. Revisiting Reachability in Polynomial Interrupt Timed Automata. Information Processing Letters, 2022, 174, pp.106208. ⟨10.1016/j.ipl.2021.106208⟩. ⟨hal-03390569⟩
43 View
24 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More