Search

• < Previous
• 1
• Next >

---

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;]

---

Reachability and liveness in parametric timed automata

Étienne André ; Didier Lime ; Olivier H. Roux.

We study timed systems in which some timing features are unknown parameters. Parametric timed automata (PTAs) are a classical formalism for such systems but for which most interesting problems are undecidable. Notably, the parametric reachability emptiness problem, i.e., the emptiness of the&nbsp;[&hellip;]

---

Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model

Bineet Ghosh ; Étienne André.

Monitoring the correctness of distributed cyber-physical systems is essential. Detecting possible safety violations can be hard when some samples are uncertain or missing. We monitor here black-box cyber-physical system, with logs being uncertain both in the state and timestamp dimensions: that is,&nbsp;[&hellip;]

---