Operations on Timed Scenarios - Formal Techniques for Distributed Objects, Components, and Systems
Conference Papers Year : 2023

Operations on Timed Scenarios

Neda Saeedloei
  • Function : Author
  • PersonId : 1425917
Feliks Kluźniak
  • Function : Author
  • PersonId : 1425918

Abstract

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.
Embargoed file
Embargoed file
1 0 29
Year Month Jours
Avant la publication
Thursday, January 1, 2026
Embargoed file
Thursday, January 1, 2026
Please log in to request access to the document

Dates and versions

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

Licence

Identifiers

Cite

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 View
0 Download

Altmetric

Share

More