Analysis of timed automata with guards in dioids algebra

被引：0
|
作者：
Niguez, Julien [1 ]
Amari, Said [1 ]
Faure, Jean-Marc [1 ]
机构：
[1] Univ Paris Saclay, Supmeca, Univ Paris 11, LURPA,ENS Cachan, F-94235 Cachan, France
来源：
2016 13TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS (WODES) | 2016年
关键词：
Timed automata with guards; discrete event systems; linear representation; dioids algebra; HEAPS;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
In this paper, we propose a new linear representation to model the behavior of Timed Automata with Guards (TAGs) using the formalism of dioids algebra. This linear modeling is used to define the parallel composition and properties of determinism for TAGs. The contribution is illustrated with an example of a jobshop to analyze the performances of this system.
引用
收藏
页码：391 / 397
页数：7
相关论文
共 50 条
  • [1] Analysis of distributed control systems using timed automata with guards and dioid algebra
    Ait Oumeziane, Fatima
    Ourghanlian, Alain
    Amari, Said
    [J]. 2020 25TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2020, : 1369 - 1372
  • [2] On timed automata with input-determined guards
    D'Souza, D
    Tabareau, N
    [J]. FORMAL TECHNIQUES, MODELLING AND ANALYSIS OF TIMED AND FAULT-TOLERANT SYSTEMS, PROCEEDINGS, 2004, 3253 : 68 - 83
  • [3] Modelling and temporal evaluation of networked control systems using timed automata with guards and (max, plus ) algebra
    Tamssaouet, F.
    Amari, S.
    [J]. INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 2018, 49 (10) : 2073 - 2088
  • [4] On continuous timed automata with input-determined guards
    Chevalier, Fabrice
    D'Souza, Deepak
    Prabhakar, Pavithra
    [J]. FSTTCS 2006: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2006, 4337 : 369 - +
  • [5] Parameterized model checking of networks of timed automata with Boolean guards
    Spalazzi, Luca
    Spegni, Francesco
    [J]. THEORETICAL COMPUTER SCIENCE, 2020, 813 : 248 - 269
  • [6] Active Fault-Tolerant Control of Timed Automata with Guards
    Niguez, Julien
    Amari, Said
    Faure, Jean-Marc
    [J]. IFAC PAPERSONLINE, 2017, 50 (01): : 13648 - 13653
  • [7] Controller Synthesis in Timed Buchi Automata: Robustness and Punctual Guards
    Barbot, Benoit
    Busatto-Gaston, Damien
    Dima, Catalin
    Oualhadj, Youssouf
    [J]. QUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST-FORMATS 2024, 2024, 14996 : 268 - 283
  • [8] Repairing Timed Automata Clock Guards through Abstraction and Testing
    Andre, Etienne
    Arcaini, Paolo
    Gargantini, Angelo
    Radavelli, Marco
    [J]. TESTS AND PROOFS (TAP 2019), 2019, 11823 : 129 - 146
  • [9] Reachability analysis for timed automata using max-plus algebra
    Lu, Qi
    Madsen, Michael
    Milata, Martin
    Ravn, Soren
    Fahrenberg, Uli
    Larsen, Kim G.
    [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2012, 81 (03): : 298 - 313
  • [10] Formal analysis and control of timed automata with guards using (max, plus ) and (min, plus ) algebras
    Ait Oumeziane, F.
    Kara, R.
    Amari, S.
    [J]. INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 2020, 51 (11) : 2041 - 2056
12345