Analysis of distributed control systems using timed automata with guards and dioid algebra

被引：0
|
作者：
Ait Oumeziane, Fatima [1 ,2 ]
Ourghanlian, Alain [1 ]
Amari, Said [2 ,3 ]
机构：
[1] EDF R&D PRISME, Chatou, France
[2] ENS Paris Saclay, LURPA, Cachan, France
[3] Univ Sorbonne Paris Nord, Paris, France
来源：
2020 25TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA) | 2020年
关键词：
Distibuted Control Systems; Response time; Performance evaluation; Timed Automata with Guards; (max; plus; and; (min; algebras; MAX;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper discusses the modelling and time performance evaluation of Distributed Control Systems (DCS). More precisely, we focus on the estimation of the response time and reactivity for these automation architectures using dioid algebra. We use Timed Automata with Guards (TAGs) to model system components and adopt an analytical approach to determine the response time formula as a function of temporal parameters for DCS. The main interest of this contribution is to introduce a algebraic tool capable of providing crucial validation elements concerning the temporal performances and sizing for an industrial scale DCS.
引用
收藏
页码：1369 / 1372
页数：4
相关论文
共 50 条
  • [1] Analysis of timed automata with guards in dioids algebra
    Niguez, Julien
    Amari, Said
    Faure, Jean-Marc
    [J]. 2016 13TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS (WODES), 2016, : 391 - 397
  • [2] 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
  • [3] Fault diagnosis of timed discrete event systems using Dioid Algebra
    Sobhi Baniardalani
    Javad Askari
    [J]. International Journal of Control, Automation and Systems, 2013, 11 : 1095 - 1105
  • [4] Fault Diagnosis of Timed Discrete Event Systems using Dioid Algebra
    Baniardalani, Sobhi
    Askari, Javad
    [J]. INTERNATIONAL JOURNAL OF CONTROL AUTOMATION AND SYSTEMS, 2013, 11 (06) : 1095 - 1105
  • [5] Control of nonautonomous discrete event systems using dioid algebra
    Spacek, P
    ElMoudni, A
    Zerhouni, S
    Ferney, M
    [J]. 1996 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, PROCEEDINGS, VOLS 1-4, 1996, : 609 - 615
  • [6] 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
  • [7] Active Fault-Tolerant Control of Timed Automata with Guards
    Niguez, Julien
    Amari, Said
    Faure, Jean-Marc
    [J]. IFAC PAPERSONLINE, 2017, 50 (01): : 13648 - 13653
  • [8] Timed automata with data structures for distributed systems design and analysis
    Lanotte, R
    Maggiolo-Schettini, A
    Troina, A
    [J]. SEFM 2005: THIRD IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2005, : 44 - 53
  • [9] Using timed automata for response time analysis of distributed real-time systems
    Bradley, S
    Henderson, W
    Kendall, D
    [J]. REAL TIME PROGRAMMING 1999 (WRTP'99), 1999, : 209 - 214
  • [10] Distributed reachability analysis in timed automata
    Behrmann G.
    [J]. International Journal on Software Tools for Technology Transfer, 2005, 7 (1) : 19 - 30
12345