Operations on Timed Scenarios - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2023

Operations on Timed Scenarios

Neda Saeedloei
  • Fonction : Auteur
  • PersonId : 1425917
Feliks Kluźniak
  • Fonction : Auteur
  • PersonId : 1425918

Résumé

We introduce three operations for timed scenarios: subsumption, intersection and union. They have constructive definitions based on the syntactic properties of the constituent scenarios. We show that they have the desired semantic properties. These results expand the theory of timed scenarios, but their development was inspired by practical considerations: they are directly relevant to the problem of synthesizing a timed automaton with a minimal number of clocks from a set of scenarios.
Fichier sous embargo
Fichier sous embargo
1 0 28
Année Mois Jours
Avant la publication
jeudi 1 janvier 2026
Fichier sous embargo
jeudi 1 janvier 2026
Connectez-vous pour demander l'accès au fichier

Dates et versions

hal-04731930 , version 1 (11-10-2024)

Licence

Identifiants

Citer

Neda Saeedloei, Feliks Kluźniak. Operations on Timed Scenarios. 43th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2023, Lisbon, Portugal. pp.97-114, ⟨10.1007/978-3-031-35355-0_7⟩. ⟨hal-04731930⟩
10 Consultations
0 Téléchargements

Altmetric

Partager

More