Synthesizing Timed Automata with Minimal Numbers of Clocks from Optimised Timed Scenarios

被引：0
|
作者：
Saeedloei, Neda [1 ]
Kluzniak, Feliks [2 ]
机构：
[1] Towson Univ, Towson, MD 21252 USA
[2] RelationalAI, Berkeley, CA USA
来源：
FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, FORTE 2024 | 2024年 / 14678卷
关键词：
MODELS;
D O I：
10.1007/978-3-031-62645-6_8
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We address the problem of synthesizing a timed automaton from a set of optimised timed scenarios, and present a simple, efficient algorithm that solves the problem. Under a simplifying assumption about the set of scenarios we show that our synthesized automaton has the minimal number of clocks in the entire class of language-equivalent automata.
引用
收藏
页码：136 / 154
页数：19
相关论文
共 50 条
  • [1] From Scenarios to Timed Automata
    Saeedloei, Neda
    Kluzniak, Feliks
    FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, 2017, 10623 : 33 - 51
  • [2] Avoiding Shared Clocks in Networks of Timed Automata Avoiding Shared Clocks in Networks of Timed Automata
    Balaguer, Sandie
    Chatain, Thomas
    CONCUR 2012 - CONCURRENCY THEORY, 2012, 7454 : 100 - 114
  • [3] Nested timed automata with various clocks
    WANG YuWei
    LI GuoQiang
    YUEN Shoji
    Science Foundation in China, 2016, 24 (02) : 51 - 68
  • [4] Nested Timed Automata with Frozen Clocks
    Li, Guoqiang
    Ogawa, Mizuhito
    Yuen, Shoji
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS (FORMATS 2015), 2015, 9268 : 189 - 205
  • [5] Minimization of the Number of Clocks for Timed Scenarios
    Saeedloei, Neda
    Kluzniak, Feliks
    FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2021, 2021, 13130 : 122 - 139
  • [6] Synthesizing Certificates in Networks of Timed Automata
    Finkbeiner, Bernd
    Peter, Hans-Joerg
    Schewe, Sven
    RTSS: 2008 REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 2008, : 183 - +
  • [7] Distributed Timed Automata with Independently Evolving Clocks
    Akshay, S.
    Bollig, Benedikt
    Gastin, Paul
    Mukund, Madhavan
    Kumar, K. Narayan
    FUNDAMENTA INFORMATICAE, 2014, 130 (04) : 377 - 407
  • [8] Manipulating Clocks in Timed Automata using PVS
    Xu, Qingguo
    Miao, Huaikou
    SNPD 2009: 10TH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCES, NETWORKING AND PARALLEL DISTRIBUTED COMPUTING, PROCEEDINGS, 2009, : 555 - 560
  • [9] AVOIDING SHARED CLOCKS IN NETWORKS OF TIMED AUTOMATA
    Balaguer, Sandie
    Chatain, Thomas
    LOGICAL METHODS IN COMPUTER SCIENCE, 2013, 9 (04)
  • [10] Distributed timed automata with independently evolving clocks
    Akshay, S.
    Bollig, Benedikt
    Gastin, Paul
    Mukund, Madhavan
    Kumar, K. Narayan
    CONCUR 2008 - CONCURRENCY THEORY, PROCEEDINGS, 2008, 5201 : 82 - +
12345