Computing maximally-permissive strategies in acyclic timed automata - Archive ouverte HAL
Communication Dans Un Congrès Année : 2020

Computing maximally-permissive strategies in acyclic timed automata

Résumé

Timed automata are a convenient mathematical model for modelling and reasoning about real-time systems. While they provide a powerful way of representing timing aspects of such systems, timed automata assume arbitrary precision and zero-delay actions; in particular, a state might be declared reachable in a timed automaton, but impossible to reach in the physical system it models. In this paper, we consider permissive strategies as a way to overcome this problem: such strategies propose intervals of delays instead of single delays, and aim at reaching a target state whichever delay actually takes place. We develop an algorithm for computing the optimal permissiveness (and an associated maximally-permissive strategy) in acyclic timed automata and games.

Dates et versions

hal-02895344 , version 1 (09-07-2020)

Identifiants

Citer

Emily Clement, Thierry Jéron, Nicolas Markey, David Mentré. Computing maximally-permissive strategies in acyclic timed automata. FORMATS 2020 - 18th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2020, Vienna, Austria. pp.1-33. ⟨hal-02895344⟩
70 Consultations
0 Téléchargements

Altmetric

Partager

More