Interrupt Timed Automata with Auxiliary Clocks and Parameters*
From MaRDI portal
Publication:2968523
DOI10.3233/FI-2016-1313zbMath1357.68100arXiv1409.2408MaRDI QIDQ2968523
Didier Lime, Serge Haddad, Béatrice Bérard, Aleksandra Ž. Jovanović
Publication date: 16 March 2017
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1409.2408
68Q45: Formal languages and automata
Related Items
Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints*, Revisiting reachability in polynomial interrupt timed automata, Context-free timed formalisms: robust automata and linear temporal logics