What’s decidable about parametric timed automata?

Parametric timed automata (PTAs) are a powerful formalism to reason, simulate and formally verify critical real-time systems. After 25 years of research on PTAs, it is now well understood that any non-trivial problem studied is undecidable for general PTAs. We provide here a survey of decision and c...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	International journal on software tools for technology transfer Ročník 21; číslo 2; s. 203 - 219
Hlavní autor:	André, Étienne
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Berlin/Heidelberg Springer Berlin Heidelberg 01.04.2019 Springer Nature B.V Springer Verlag
Témata:	Clocks Computer Science Computer simulation Formal Languages and Automata Theory Formalism Logic in Computer Science Lower bounds Parameters Regular Paper Software Engineering Software Engineering/Programming and Operating Systems Theory of Computation Parametric timed model checking L/U-PTAs Hybrid automata Decidability Parameter synthesis Decision problems hybrid systems Parametric timed automata Model checking Parametric model checking
ISSN:	1433-2779, 1433-2787
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!