Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
2 results

Language Preservation Problems in Parametric Timed Automata

Étienne André ; Didier Lime ; Nicolas Markey.
Parametric timed automata (PTA) are a powerful formalism to model and reason about concurrent systems with some unknown timing delays. In this paper, we address the (untimed) language- and trace-preservation problems: given a reference parameter valuation, does there exist another parameter&nbsp;[&hellip;]
Published on January 22, 2020
Volume 16, Issue 1

Parametric updates in parametric timed automata

Étienne André ; Didier Lime ; Mathias Ramparison.
We introduce a new class of Parametric Timed Automata (PTAs) where we allow clocks to be compared to parameters in guards, as in classic PTAs, but also to be updated to parameters. We focus here on the EF-emptiness problem: "is the set of parameter valuations for which some given location is&nbsp;[&hellip;]
Published on May 10, 2021
Volume 17, Issue 2
  • < Previous
  • 1
  • Next >